Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
An analysis of defect densities found during software inspections
Journal of Systems and Software
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
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)
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
CORE - a method for controlled requirement specification
ICSE '79 Proceedings of the 4th international conference on Software engineering
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Analyzing Inconsistent Specifications
RE '97 Proceedings of the 3rd 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
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Low-cost pathways towards formal methods use
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
V & V through Inconsistency Tracking and Analysis
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Obsolete software requirements
Information and Software Technology
Hi-index | 0.00 |
This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and reasonably large requirements specification from a NASA project was analysed and decomposed into a structure of "viewpoints", where each viewpoint encapsulates partial requirements of some system components described in the specification. Relationships between viewpoints were identified which included not only the interactions explicitly stated in the requirements but also some implicit and potentially problematic inter-dependencies. The restructuring process and a first informal analysis of the resulting relationships enabled the detection of inconsistencies and the definition of some interesting domain-dependent consistency rules. We believe that this restructuring into viewpoints also facilitated requirements understanding through partitioning, and requirements maintenance and evolution through explicit identification of the inter-viewpoint relationships.