Software and Systems Modeling (SoSyM)
Improving requirements quality using essential use case interaction patterns
Proceedings of the 33rd International Conference on Software Engineering
Generating essential user interface prototypes to validate requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
| Hi-index | 0.00 |
During the development of large and complex systems it is important to ensure consistency between requirements and design specifications in order to guarantee that the system being developed meets the specified requirements, or to support the reuse of existing software systems or components. In this paper we propose a knowledge base approach to assist withconsistency checking of design specifications, represented as UML models, against functional requirements specifications, expressed in natural language. Our approach is goal-driven where the requirements and design specifications are represented in the knowledge base as axioms, which define goals. In order to demonstrate and evaluate the approach a prototype tool has been implemented. This tool has been designed to provide a general platform for managing consistency between software artefacts generated during different phases of software system development.