MoDELS 2010: Oslo, Norway - Workshops

Doctoral Symposium

• Bernhard Schätz, Brian Elvesæter:
  The Doctoral Symposium at MODELS 2010. 1-3
  
• Alexander Bergmayr:
  ReuseMe - Towards Aspect-Driven Reuse in Modelling Method Development. 4-18
  
• Catia Trubiani:
  A Model-Based Framework for Software Performance Feedback. 19-34
  

Educators' Symposium

• Martina Seidl, Peter J. Clarke:
  Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010. 35-39
  
• Marion Brandsteidl, Konrad Wieland, Christian Huemer:
  Novel Communication Channels in Software Modeling Education. 40-54
  
• Ven Yu Sien:
  Implementation of the Concept-Driven Approach in an Object-Oriented Analysis and Design Course. 55-69
  

Workshop - ACES-MB

• Stefan Van Baelen, Iulian Ober, Huáscar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard:
  Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010). 70-74
  
• Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis:
  Virtual Verification of System Designs against System Requirements. 75-89
  
• Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
  From Interaction Overview Diagrams to Temporal Logic. 90-104
  

Workshop - AOM

• Jeff Gray, Dominik Stein, Jörg Kienzle, Walter Cazzola:
  Report of the 15th International Workshop on Aspect-Oriented Modeling. 105-109
  
• Marko Boskovic, Gunter Mussbacher, Ebrahim Bagheri, Daniel Amyot, Dragan Gasevic, Marek Hatala:
  Aspect-Oriented Feature Models. 110-124
  
• Max E. Kramer, Jörg Kienzle:
  Mapping Aspect-Oriented Models to Aspect-Oriented Code. 125-139
  

Workshop - EOOLT

• Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman:
  Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. 140-144
  

Workshop - MDI

• Jean Bézivin, Richard Mark Soley, Antonio Vallecillo:
  Model-Driven Interoperability: MDI 2010. 145-149
  
• Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, J. Schoenboeck, Wieland Schwinger:
  From the Heterogeneity Jungle to Systematic Benchmarking. 150-164
  
• Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki:
  Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. 165-179
  

Workshop - ME

• Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit:
  Models and Evolution - ME2010. 180-183
  
• Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel:
  Conflicts as First-Class Entities: A UML Profile for Model Versioning. 184-193
  
• Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
  A Manifesto for Semantic Model Differencing. 194-203
  

Workshop - Models@run.time

• Nelly Bencomo, Gordon S. Blair, Franck Fleurey, Cédric Jeanneret:
  Summary of the 5th International Workshop on Models@run.time. 204-208
  
• Grzegorz Lehmann, Marco Blumendorf, Frank Trollmann, Sahin Albayrak:
  Meta-modeling Runtime Models. 209-223
  
• Thomas Vogel, Andreas Seibel, Holger Giese:
  The Role of Models and Megamodels at Runtime. 224-238
  

Workshop - MoDeVVA

• Levi Lucio, Elisangela Vieira, Stephan Weißleder:
  MoDeVVa 2010 Workshop Summary. 239-243
  
• Harald Cichos, Thomas S. Heinze:
  Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases. 244-258
  
• Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser:
  Traceability for Mutation Analysis in Model Transformation. 259-273
  

Workshop - MPM

• Hans Vangheluwe, Vasco Amaral, Cécile Hardebolle, László Lengyel:
  Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools. 274-278
  
• Aleksandr A. Kerzhner, Christiaan J. J. Paredis:
  Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests. 279-292
  
• Márk Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini:
  Simplifying Model Transformation Chains by Rule Composition. 293-307
  

Workshop - NFPinDSML

• Marko Boskovic, Daniela Cancila, Claus Pahl, Bernhard Schätz:
  The 3^rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010). 308-311
  
• Rasmus Adler, Dominik Domis, Kai Höfig, Sören Kemmann, Thomas Kuhn, Jean-Pascal Schwinn, Mario Trapp:
  Integration of Component Fault Trees into the UML. 312-327
  
• Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola:
  QVTR²: A Rational and Performance-Aware Extension to the Relations Language. 328
  

Workshop - OCL and Textual Modelling

• Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla:
  Tenth International Workshop on OCL and Textual Modelling. 329-333
  
• Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff:
  A Specification-Based Test Case Generation Method for UML/OCL. 334-348
  
• Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Michael Thiele, Christian Wende, Claas Wilke:
  Integrating OCL and Textual Modelling Languages. 349-363
  

Workshop - QUASSOS

• Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson:
  Quality of Service-Oriented Software Systems (QUASOSS 2010). 364-368
  
• Henning Groenda:
  An Accuracy Information Annotation Model for Validated Service Behavior Specifications. 369-383
  
• Anne Koziolek, Qais Noorshams, Ralf Reussner:
  Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds. 384-399
  

Workshop - RoSym

• Laurent Rioux, Davide Brugali, Sébastien Gérard:
  First International Workshop on Model Based Engineering for Robotics (RoSym'10). 400
  
• Gaëlle Lortal, Saadia Dhouib, Sébastien Gérard:
  Integrating Ontological Domain Knowledge into a Robotic DSL. 401-414
  

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