Detecting implied scenarios in message sequence chart specifications.

Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenario describe how system components, the environment and users work concurrently and interact in order to provide system level functionality. Each scena...

Description complète

Détails bibliographiques
Publié dans:	Software engineering notes. 26, 5 (2001).
Auteur principal:	Uchitel, Sebastian
Format:	Article
Langue:	English
Sujets:	Software. Software engineering. Requirements / Specifications. Languages. Tools. Computing methodologies. Simulation and modeling. Model validation and analysis. Algorithms. Verification. FSP. LTSA. Implementability. Labelled transition systems. Message sequence charts. Sythesis.