M Kamalrudin, S Sidek - … journal of software engineering and its …, 2015 - researchgate.net
Requirements need to be validated at the early phase of the software development to avoid errors such as inconsistency, incompleteness and incorrectness. Drawn from this argument …
A Egyed - IEEE Transactions on Software Engineering, 2010 - ieeexplore.ieee.org
Software models typically contain many inconsistencies and consistency checkers help engineers find them. Even if engineers are willing to tolerate inconsistencies, they are better …
Requirements-Engineering befasst sich mit Vorgehensweisen zur Präzisierung der Problemstellung am Beginn einer Systementwicklung. Es ist eine Teildisziplin im …
Our objective is to provide automated support for assisting designers in fixing inconsistencies in UML models. We have previously developed techniques for efficiently …
The scale and complexity of product lines means that it is practically infeasible to develop a single model of the entire system, regardless of the languages or notations used. The …
A Reder, A Egyed - Model Driven Engineering Languages and Systems …, 2012 - Springer
Advances in consistency checking in model-based software development made it possible to detect errors in real-time. However, existing approaches assume that changes come in …
In model-driven engineering, models are primary artifacts that can evolve heavily during their life cycle. Therefore, versioning of models is a key technique to be offered by integrated …
Software development often involves a set of models defined in different metamodels, each model capturing a specific view of the system. We call this set a mutlimodel, and its elements …
When identifying and elaborating compliance requirements, analysts need to follow the cross references in legal texts and consider the additional information in the cited provisions …