Software and System Modeling, Volume 9

Volume 9, Number 1, January 2010

• Robert B. France, Bernhard Rumpe:
  The 8th Annual State of SoSyM Report. 1-3
  
• Gregor Engels:
  Guest Editorial to the Special Section on MODELS 2007. 5-6
  
• Perdita Stevens:
  Bidirectional model transformations in QVT: semantic issues and open questions. 7-20
  
• Joel Greenyer, Ekkart Kindler:
  Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. 21-46
  
• Manoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano:
  Automatic generation of basic behavior schemas from UML class diagrams. 47-67
  
• Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray:
  On challenges of model transformation from UML to Alloy. 69-86
  
• Wil M. P. van der Aalst, Vladimir Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther:
  Process mining: a two-step approach to balance between underfitting and overfitting. 87-111
  
• Vahid Garousi:
  Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems. 113-137
  

Volume 9, Number 2, April 2010

• Robert B. France, Bernhard Rumpe:
  Modeling for the cloud. 139-140
  
• Mohamed El-Attar, James Miller:
  Improving the quality of use case models using antipatterns. 141-160
  
• Steffen Zschaler:
  Formal specification of non-functional properties of component-based software systems. 161-201
  
• Jon Whittle:
  Extending interaction overview diagrams with activity diagram constructs. 203-224
  
• Michael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler:
  Efficient analysis of pattern-based constraint specifications. 225-255
  
• Jeff Offutt, Ye Wu:
  Modeling presentation layers of web applications for testing. 257-280
  

Volume 9, Number 3, June 2010

• Jeff Gray, Alfonso Pierantonio, Antonio Vallecillo:
  Guest editorial to the special section on model transformation. 281-283
  
• Dennis Wagelaar, Ragnhild Van Der Straeten, Dirk Deridder:
  Module superimposition: a composition technique for rule-based model transformation languages. 285-309
  
• Ivan Kurtev:
  Application of reflection in a model transformation language. 311-333
  
• Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
  A UML/OCL framework for the analysis of graph transformation rules. 335-357
  
• Greg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela:
  Lifting transformational models of product lines: a case study. 359-373
  
• Zef Hemel, Lennart C. L. Kats, Danny M. Groenewegen, Eelco Visser:
  Code generation by model transformation: a case study in transformation modularity. 375-402
  
• Theo Dirk Meijler, Jan Pettersen Nytun, Andreas Prinz, Hans Wortmann:
  Supporting fine-grained generative model-driven evolution. 403-424
  

Volume 9, Number 4, September 2010

• Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple:
  Guest editorial to the theme issue on traceability in model-driven engineering. 425-426
  
• Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa:
  A model-driven traceability framework for software product lines. 427-451
  
• István Ráth, András Ökrös, Dániel Varró:
  Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformations. 453-471
  
• Hannes Schwarz, Jürgen Ebert, Andreas Winter:
  Graph-based traceability: a comprehensive approach. 473-492
  
• Andreas Seibel, Stefan Neumann, Holger Giese:
  Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. 493-528
  
• Stefan Winkler, Jens von Pilgrim:
  A survey of traceability in requirements engineering and model-driven development. 529-565
  

Last update Fri May 24 20:49:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page