A field study of the software design process for large systems
Communications of the ACM
Handbook of theoretical computer science (vol. B)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Introducing Software Engineering Specification Using Z: A Practical Case Study Approach
Introducing Software Engineering Specification Using Z: A Practical Case Study Approach
A Theory of Objects
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
CASL: the common algebraic specification language
Theoretical Computer Science
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
A field study of requirements engineering practices in information systems development
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Version Control With Subversion
Version Control With Subversion
The Evaluation of Large, Complex UML Analysis and Design Models
Proceedings of the 26th International Conference on Software Engineering
A Tool for Writing and Debugging Algebraic Specifications
Proceedings of the 26th International Conference on Software Engineering
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Using UML stereotypes to support the requirement engineering: a case study
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Hi-index | 0.00 |
Industrial requirements specifications suffer from consistency problems, particularly in multi-angular or temporal relationships between different specification results. Current consistency management tools generate too many repairs, lack support for temporal relationships, and are poorly integrated into development processes. In this paper we evaluate our consistency management method on how it improves quality of industrial specifications: We formalize (temporal) consistency rules and generate a few domainspecific repairs for inconsistencies. We demonstrate our method using an example specification. Since the effort for formalization is tunable to specific applications and our prototype shows satisfactory performance, we are confident that our contributions scale to an industrial setting.