Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Formal Approach to Scenario Analysis
IEEE Software
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
The GSM System for Mobile Communications
The GSM System for Mobile Communications
Scenarios in System Development: Current Practice
IEEE Software
Formal Support for Design Techniques: A Timethreads-LOTOS Approach
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Use Case Maps for the Capture and Validation of Distributed Systems Requirements
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Prototyping and Formal Requirement Validation of GPRS: A Mobile Data Packet Radio Service for GSM
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
Improving the use case driven approach to requirements engineering
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Optimal Insertion of Software Probes in Well-Delimited Programs
IEEE Transactions on Software Engineering
UCM-ROOM modelling: from use case maps to communicating state machines
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Graphic visualization and animation of LOTOS execution traces
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Introduction to the user requirements notation: learning by example
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Telecommunications Systems - Modeling, analysis, design and management
Generation of test purposes from use case maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Generation of test purposes from Use Case Maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
On the extension of UML with use case maps concepts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Visualizing early aspects with use case maps
Transactions on aspect-oriented software development III
Traceability and evaluation in scenario analysis by use case maps
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
| Hi-index | 0.24 |
Spec-VALUe, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help reasoning about system-wide functionalities at a high level of abstraction before a prototype is generated. The second notation is the formal specification language Lotos. UCM scenarios are translated into Lotos specifications, which animate UCMs with the help of tools. Lotos-based techniques, especially specification-level testing, can be used to validate designs. It is shown how Spec-VALUe can help to produce better-quality designs and standards and to improve human understanding with reduced time and costs. A real-life case study is provided: the Group Call service of the mobile data system General Packet Radio Services (GPRS).