Software and System Modeling, Volume 8

Volume 8, Number 1, February 2009

• Robert B. France, Bernhard Rumpe, Martin Schindler:
  SoSyM at 7 years. 1-3
  
• Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli:
  Meta-environment and executable meta-language using smalltalk: an experience report. 5-19
  
• Holger Giese, Robert Wagner:
  From model transformation to incremental bidirectional model synchronization. 21-43
  
• Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen:
  Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies. 45-65
  
• Nien-Lin Hsueh, Jong-Yih Kuo, Ching-Chiuan Lin:
  Object-oriented design: A goal-driven and pattern-based approach. 67-84
  
• Kevin Lano:
  A compositional semantics of UML-RSDS. 85-116
  
• Waraporn Jirapanthong, Andrea Zisman:
  XTraQue: traceability for product line systems. 117-144
  
• Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang:
  A reconfiguration pattern for distributed embedded systems. 145-161
  

Volume 8, Number 2, April 2009

• Robert B. France:
  Why Johnny can't model. 163-164
  
• Piotr Kosiuczenko:
  Redesign of UML class diagrams: a formal approach. 165-183
  
• Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon:
  Qualifying input test data for model transformations. 185-203
  
• Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
  Use Case Maps as a property specification language. 205-220
  
• Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
  Reusing semi-specified behavior models in systems analysis and design. 221-234
  
• Joerg Evermann:
  A UML and OWL description of Bunge's upper-level ontology model. 235-249
  
• Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede:
  Questionnaire-based variability modeling for system configuration. 251-274
  
• Vahid Garousi, Lionel C. Briand, Yvan Labiche:
  A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems. 275-302
  

Volume 8, Number 3, July 2009

• Jean Bézivin, Alfonso Pierantonio, Antonio Vallecillo, Jeff Gray:
  Guest editorial to the special section on model transformation. 303-304
  
• Marcos Didonet Del Fabro, Patrick Valduriez:
  Towards the efficient development of model transformations using model weaving and matching transformations. 305-324
  
• Jesús Sánchez Cuadrado, Jesús García Molina:
  Modularization of model transformations through a phasing mechanism. 325-345
  
• Zoltan Balogh, Dániel Varró:
  Model transformation by example using inductive logic programming. 347-364
  
• Bernd Mahr:
  Information science and the logic of models. 365-383
  
• Amel Mammar:
  A systematic approach to generate B preconditions: application to the database domain. 385-401
  
• Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann:
  Towards an integrated graph-based semantics for UML. 403-422
  
• Frédéric Gervais, Marc Frappier, Régine Laleau:
  Generating relational database transactions from eb³ attribute definitions. 423-445