MoDELS 2010: Oslo, Norway - Workshops
Jürgen Dingel, Arnor Solberg (Eds.): Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-21209-3
Doctoral Symposium

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
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
Workshop - MoDeVVA

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 3rd 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: QVTR2: 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



