Abstract is missing.
- Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM)Jon Whittle, Leif Geiger, Michael Meisinger. 1-3 [doi]
- A comparative survey of scenario-based to state-based model synthesis approachesHongzhi Liang, Jürgen Dingel, Zinovy Diskin. 5-12 [doi]
- Assert and negate revisited: modal semantics for UML sequence diagramsDavid Harel, Shahar Maoz. 13-20 [doi]
- A scenario based notation for specifying temporal propertiesMarco Autili, Paola Inverardi, Patrizio Pelliccione. 21-28 [doi]
- Inferring operational requirements from scenarios and goal models using inductive learningDalal Alrajeh, Alessandra Russo, Sebastián Uchitel. 29-36 [doi]
- A collaboration-based approach to service specification and detection of implied scenariosHumberto Nicolás Castejón, Rolv Bræk. 37-43 [doi]
- Aspect-oriented software design with a variant of UML/STDShin Nakajima, Tetsuo Tamai. 44-50 [doi]
- Automating software architecture exploration with M2AspectsIngolf H. Krüger, Gunny Lee, Michael Meisinger. 51-58 [doi]
- A schema language for coordinating construction and composition of partial behavior descriptionsWolfgang Grieskamp, Nicolas Kicillof. 59-66 [doi]
- Nobody s perfect: interactive synthesis from parametrized real-time scenariosHolger Giese, Stefan Henkler, Martin Hirsch, Florian Klein. 67-74 [doi]
- Test ready UML statechart modelsP. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan. 75-82 [doi]
- Scenario-driven modeling and validation of requirements modelsChristian Seybold, Silvio Meier, Martin Glinz. 83-89 [doi]