Title :
Second workshop on scenarios and state machines: models, algorithms, and tools
Author :
Egyed, Alexander ; Glinz, Martin ; Krüger, Ingolf ; Systä, Tarja ; Uchitel, Sebastian ; Zündorf, Albert
Abstract :
Following the success of the "First Workshop on Scenarios and State Machines: Models, Algorithms, and Tools" held at ICSE 2002 in Orlando [1], this workshop aims at bringing together researchers and practitioners to build a shared understanding on the relation between scenarios and state machines and to gain insight into techniques and tools that may leverage the combination of these approaches to enhance our means for behavior modeling.
Keywords :
formal specification; software tools; specification languages; UML statechart diagram; behavior modeling; scenario-based notations; software engineering; software tools; state machine-based technique;
Conference_Titel :
Software Engineering, 2003. Proceedings. 25th International Conference on
Print_ISBN :
0-7695-1877-X
DOI :
10.1109/ICSE.2003.1201284