Software for use: a practical guide to the models and methods of usage-centered design
Software for use: a practical guide to the models and methods of usage-centered design
Essential use cases and responsibility in object-oriented development
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Are their Design Specifications Consistent with our Requirements?
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach
Proceedings of the 16th IEEE international conference on Automated software engineering
Higher Quality Requirements Specifications through Natural Language Patterns
SWSTE '03 Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering
Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
A generic approach to supporting diagram differencing and merging for collaborative design
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Domain Consistency in Requirements Specification
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Patterns for essential use case bodies
CRPIT '02 Proceedings of the 2002 conference on Pattern languages of programs - Volume 13
Model-Driven Consistency Checking of Behavioural Specifications
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Marama: an eclipse meta-toolset for generating multi-view environments
Proceedings of the 30th international conference on Software engineering
Ontologies in Checking for Inconsistency of Requirements Specification
SEMAPRO '09 Proceedings of the 2009 Third International Conference on Advances in Semantic Processing
Automated Software Tool Support for Checking the Inconsistency of Requirements
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Tool support for essential use cases to better capture software requirements
Proceedings of the IEEE/ACM international conference on Automated software engineering
Managing Consistency between Textual Requirements, Abstract Interactions and Essential Use Cases
COMPSAC '10 Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
Consistency problems in UML-based software development
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Generating essential user interface prototypes to validate requirements
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Using SMCD to reduce inconsistencies in misuse case models: A subject-based empirical evaluation
Journal of Systems and Software
| Hi-index | 0.00 |
Requirements specifications need to be checked against the 3C's - Consistency, Completeness and Correctness - in order to achieve high quality. This is especially difficult when working with both natural language requirements and associated semi-formal modelling representations. We describe a technique and support tool that allows us to perform semi-automated checking of natural language and semi-formal requirements models, supporting both consistency management between representations but also correctness and completeness analysis. We use a concept of essential use case interaction patterns to perform the correctness and completeness analysis on the semi-formal representation. We highlight potential inconsistencies, incompleteness and incorrectness using visual differencing in our support tool. We have evaluated our approach via an end user study which focused on the tool's usefulness, ease of use, ease of learning and user satisfaction and provided data for cognitive dimensions of notations analysis of the tool.