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...

Täydet tiedot

Bibliografiset tiedot
Julkaisussa:	Software engineering notes. 26, 5 (2001).
Päätekijä:	Uchitel, Sebastian
Aineistotyyppi:	Artikkeli
Kieli:	English
Aiheet:	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.