Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
- 1 January 2004
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Software Engineering and Methodology
- Vol. 13 (1) , 37-85
- https://doi.org/10.1145/1005561.1005563
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Smart Play-out of Behavioral RequirementsPublished by Springer Nature ,2002
- Realizability and Verification of MSC GraphsPublished by Springer Nature ,2001
- Model Checking of Message Sequence ChartsPublished by Springer Nature ,1999
- Lsc’s: Breathing Life Into Message Sequence ChartsPublished by Springer Nature ,1999
- Mesa: Support for scenario-based design of concurrent systemsPublished by Springer Nature ,1998
- Syntactic detection of process divergence and non-local choice in message sequence chartsPublished by Springer Nature ,1997
- Formal methodsACM Computing Surveys, 1996
- Strategic directions in concurrency researchACM Computing Surveys, 1996
- An analyzer for message sequence chartsPublished by Springer Nature ,1996
- Language support for the specification and development of composite systemsACM Transactions on Programming Languages and Systems, 1987