SCESM 2006: Shanghai, China

Jon Whittle, Leif Geiger, Michael Meisinger (Eds.): SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006. ACM 2006, ISBN 1-59593-394-8 BibTeX

Jon Whittle, Leif Geiger, Michael Meisinger:
Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). 1-3
Electronic Edition (ACM DL) BibTeX

Survey

Hongzhi Liang, Jürgen Dingel, Zinovy Diskin:
A comparative survey of scenario-based to state-based model synthesis approaches. 5-12
Electronic Edition (ACM DL) BibTeX

Description techniques, inference

David Harel, Shahar Maoz:
Assert and negate revisited: modal semantics for UML sequence diagrams. 13-20
Electronic Edition (ACM DL) BibTeX
Marco Autili, Paola Inverardi, Patrizio Pelliccione:
A scenario based notation for specifying temporal properties. 21-28
Electronic Edition (ACM DL) BibTeX
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel:
Inferring operational requirements from scenarios and goal models using inductive learning. 29-36
Electronic Edition (ACM DL) BibTeX

Aspects, implied scenarios

Humberto Nicolás Castejón, Rolv Bræk:
A collaboration-based approach to service specification and detection of implied scenarios. 37-43
Electronic Edition (ACM DL) BibTeX
Shin Nakajima, Tetsuo Tamai:
Aspect-oriented software design with a variant of UML/STD. 44-50
Electronic Edition (ACM DL) BibTeX
Ingolf H. Krüger, Gunny Lee, Michael Meisinger:
Automating software architecture exploration with M2Aspects. 51-58
Electronic Edition (ACM DL) BibTeX

Solutions and tools

Wolfgang Grieskamp, Nicolas Kicillof:
A schema language for coordinating construction and composition of partial behavior descriptions. 59-66
Electronic Edition (ACM DL) BibTeX
Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein:
Nobody's perfect: interactive synthesis from parametrized real-time scenarios. 67-74
Electronic Edition (ACM DL) BibTeX
P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan:
Test ready UML statechart models. 75-82
Electronic Edition (ACM DL) BibTeX
Christian Seybold, Silvio Meier, Martin Glinz:
Scenario-driven modeling and validation of requirements models. 83-89
Electronic Edition (ACM DL) BibTeX