A Metamodeling Approach for Reasoning about Requirements
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Composing models at two modeling levels to capture heterogeneous concerns in requirements
SC'10 Proceedings of the 9th international conference on Software composition
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
Automated measurement of models of requirements
Software Quality Control
Transforming and tracing reused requirements models to home automation models
Information and Software Technology
Test case generation from natural language requirements based on SCR specifications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Efficient, Unified, and Intelligent User Requirement Collection and Analysis in Global Enterprises
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
collection of partial specifications produced by different stakeholders. Obtaining a global specification is a fundamental step of a requirement analysis process. Merging requirement specifications is indeed a way to reveal inconsistencies between them. We propose in this paper a model-driven mechanism for that purpose. It takes as inputs a set of texts or models which conform to input requirement languages and produces a global requirements model. This mechanism is integrated in a platform called R2A which stands for "requirements to analysis". The R2A core element is its core requirement metamodel which has been defined for capturing the global requirements model. We illustrate our approach with requirement specifications expressed in a constrained natural language. This platform and its mechanism have been completely implemented with MDE (Model Driven Engineering) technologies. As such, it is a good example of how MDE technologies can contribute to requirements engineering as a technical solution.