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

Descrición completa

Detalles Bibliográficos
Publicado en:	Software engineering notes. 26, 5 (2001).
Autor Principal:	Uchitel, Sebastian
Formato:	Artigo
Idioma:	English
Subjects:	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.