LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios. We present a tool that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing, behaviour model synthesis, and model checking for implied scenarios.
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Heitmeyer, Constance L.: Managing complexity in software development with formally based tools. (2004)
- Sengupta, Bikram; Cleaveland, Rance: TRIM: A tool for triggered message sequence charts. (2003)
- Uchitel, Sebastian; Chatley, Robert; Kramer, Jeff; Magee, Jeff: LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios (2003)