Statecharts: A visual formalism for complex systems
Science of Computer Programming
Modern structured analysis
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Telematics and Informatics - Neural networks and artificial intelligence technologies for space applications
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Using scenario-based designs to review user interface changes and enhancements
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Fundamentals of object-oriented design in UML
Fundamentals of object-oriented design in UML
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Scenarios in System Development: Current Practice
IEEE Software
Scenarios-an industrial case study and hypermedia enhancements
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A combined functional and object-oriented approach to software design
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Goal-Based Requirements Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Guide to the Unified Process Using Uml and Java
Guide to the Unified Process Using Uml and Java
Formal Engineering for Industrial Software Development
Formal Engineering for Industrial Software Development
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
An analyzer for extended compositional process algebras
Companion of the 30th international conference on Software engineering
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Automated Software Specification and Design Using the SOFL Formal Engineering Method
WCSE '09 Proceedings of the 2009 WRI World Congress on Software Engineering - Volume 04
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
How to achieve a complete and consistent software specification by construction is an important issue for software quality assurance but still remains an open problem. The difficulty lies in the fact that the assurance of the completeness needs user's judgments and the specification keeps changing as requirements analysis progresses. To allow the user to easily make such judgments and to reduce chances for creating inconsistencies due to frequent specification modifications, in this paper we describe an intuitive, formal, and expressive specification method that integrates top-down decompositional and scenario-based compositional methods. The decompositional method is used at an informal level with the goal of achieving a complete coverage of the user's functional requirements, while the compositional method is used to precisely define the functionality of each scenario and to construct complex scenarios by composition of simple scenarios in a formal, intuitive language called SOFL. Combination of the decompositional and compositional processes can facilitate the analyst in completing a specification in a hierarchical structure. We present an example to illustrate how the integrated method is used in practice and describe a software support tool for the method.