SCESM 2006: Shanghai, China

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

Survey

• Hongzhi Liang, Jürgen Dingel, Zinovy Diskin:
  A comparative survey of scenario-based to state-based model synthesis approaches. 5-12
  

Description techniques, inference

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

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
  
• Shin Nakajima, Tetsuo Tamai:
  Aspect-oriented software design with a variant of UML/STD. 44-50
  
• Ingolf H. Krüger, Gunny Lee, Michael Meisinger:
  Automating software architecture exploration with M2Aspects. 51-58
  

Solutions and tools

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

Last update Sun May 19 23:32:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page