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

Полное описание

Библиографические подробности
Опубликовано в::	Software engineering notes. 26, 5 (2001).
Главный автор:	Uchitel, Sebastian
Формат:	Статья
Язык:	English
Предметы:	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.