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

Deskribapen osoa

Xehetasun bibliografikoak
Argitaratua izan da:	Software engineering notes. 26, 5 (2001).
Egile nagusia:	Uchitel, Sebastian
Formatua:	Artikulua
Hizkuntza:	English
Gaiak:	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.