Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
An approach to verification and validation of a reliable multicasting protocol
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
On the inevitable intertwining of specification and implementation
Communications of the ACM
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Validating Requirements for Fault Tolerant Systems using Model Checking
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Specware: Formal Support for Composing Software
MPC '95 Mathematics of Program Construction
A Framework for Modular Formal Specification and Verification
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Formal Methods for V&V of Partial Specifications: An Experience RSeport
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
| Hi-index | 0.00 |
In this paper we describe a research agenda for a study into the use of inconsistency analysis as a tool for software V&V, and in particular, the use of category theory as a basis for modeling consistency relationships between the various artifacts of software development, including specifications, design, test cases, etc. Our expectation is that inconsistency analysis is fundamental to much of the work of V&V, and that a systematic approach will have impacts across a wide range of V&V tasks. Two goals are described: an account of the contribution of inconsistency analysis to various V&V analyses, and the development of a formal framework for inconsistency analysis. Our approach to the development of the latter is through the refinement of the viewpoint framework using the language of category theory. We discuss the relation-ship between specification morphisms, as conventionally conceived in work on composition of specifications, and inter-viewpoint consistency relationships. We conclude that inconsistency analysis has the potential to address the 'air gaps' between methods used during the various phases of the software lifecycle.