Skip to main content
SpringerLink
Log in

Models in Software Engineering

Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Juergen Dingel

    1. School of Computing, Queen’s University, Kingston, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arnor Solberg

    1. SINTEF, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6627)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: MODELS 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (39 papers)

  1. Workshop – Models@run.time

    1. Summary of the 5th International Workshop on Models@run.time

      • Nelly Bencomo, Gordon Blair, Franck Fleurey, Cédric Jeanneret
      Pages 204-208

    2. Meta-modeling Runtime Models

      • Grzegorz Lehmann, Marco Blumendorf, Frank Trollmann, Sahin Albayrak
      Pages 209-223

    3. The Role of Models and Megamodels at Runtime

      • Thomas Vogel, Andreas Seibel, Holger Giese
      Pages 224-238

  2. Workshop – MoDeVVA

    1. MoDeVVa 2010 Workshop Summary

      • Levi Lúcio, Elisangela Vieira, Stephan Weißleder
      Pages 239-243

    2. Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases

      • Harald Cichos, Thomas S. Heinze
      Pages 244-258

    3. Traceability for Mutation Analysis in Model Transformation

      • Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser
      Pages 259-273

  3. Workshop – MPM

    1. Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools

      • Hans Vangheluwe, Vasco Amaral, Cécile Hardebolle, László Lengyel
      Pages 274-278

    2. Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests

      • Aleksandr A. Kerzhner, Christiaan J. J. Paredis
      Pages 279-292

    3. Simplifying Model Transformation Chains by Rule Composition

      • Mark Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini
      Pages 293-307

  4. Workshop – NFPinDSML

    1. The 3rd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2010)

      • Marko Bošković, Daniela Cancila, Claus Pahl, Bernhard Schätz
      Pages 308-311

    2. Integration of Component Fault Trees into the UML

      • Rasmus Adler, Dominik Domis, Kai Höfig, Sören Kemmann, Thomas Kuhn, Jean-Pascal Schwinn et al.
      Pages 312-327

    3. QVTR2: A Rational and Performance-Aware Extension to the Relations Language

      • Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
      Pages 328-328

  5. Workshop – OCL and Textual Modelling

    1. Tenth International Workshop on OCL and Textual Modelling

      • Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
      Pages 329-333

    2. A Specification-Based Test Case Generation Method for UML/OCL

      • Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
      Pages 334-348

    3. Integrating OCL and Textual Modelling Languages

      • Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Michael Thiele, Christian Wende et al.
      Pages 349-363

  6. Workshop – QUASSOS

    1. Quality of Service-Oriented Software Systems (QUASOSS 2010)

      • Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson
      Pages 364-368

    2. An Accuracy Information Annotation Model for Validated Service Behavior Specifications

      • Henning Groenda
      Pages 369-383

    3. Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds

      • Anne Koziolek, Qais Noorshams, Ralf Reussner
      Pages 384-399

  7. Workshop – RoSym

    1. First International Workshop on Model Based Engineering for Robotics (RoSym’10)

      • Laurent Rioux, Davide Brugali, Sébastien Gérard
      Pages 400-400

    2. Integrating Ontological Domain Knowledge into a Robotic DSL

      • Gaëlle Lortal, Saadia Dhouib, Sébastien Gérard
      Pages 401-414
Back to top

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Model Driven Engineering Languages and Systems

  3. Models in Software Engineering

Keywords

About this book

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395.

Editors and Affiliations

  • School of Computing, Queen’s University, Kingston, Canada

    Juergen Dingel

  • SINTEF, Oslo, Norway

    Arnor Solberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation