Skip to main content
SpringerLink
Log in

Satellite Events at the MoDELS 2005 Conference

MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Jean-Michel Bruel

    1. Département Informatique, Université de Pau et des Pays de l’Adour, Pau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: MODELS 2005.

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 (43 papers)

  1. Front Matter

    Download chapter PDF

  2. W1 – OCL

    1. Tool Support for OCL and Related Formalisms – Needs and Trends

      • Thomas Baar, Dan Chiorean, Alexandre Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu et al.
      Pages 1-9

    2. Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java

      • Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
      Pages 10-19

    3. OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem

      • Thomas Baar
      Pages 20-31

  3. W2 – MoDeVA

    1. Report on the 2nd Workshop on Model Development and Validation – MoDeVa

      • Benoit Baudry, Christophe Gaston, Sudipto Ghosh
      Pages 32-38

    2. Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

      • Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion
      Pages 39-47

    3. Automated Analysis of Natural Language Properties for UML Models

      • Sascha Konrad, Betty H. C. Cheng
      Pages 48-57

  4. W3 – MARTES

    1. Modeling and Analysis of Real-Time and Embedded Systems

      • Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic
      Pages 58-66

    2. Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML

      • Holger Giese, Martin Hirsch
      Pages 67-78

    3. Annotating UML Models with Non-functional Properties for Quantitative Analysis

      • Huáscar Espinoza, Hubert Dubois, Sébastien Gérard, Julio Medina, Dorina C. Petriu, Murray Woodside
      Pages 79-90

  5. W4 – Aspect-Oriented Modeling

    1. Report of the 7th International Workshop on Aspect-Oriented Modeling

      • Jörg Kienzle, Jeff Gray, Dominik Stein
      Pages 91-99

    2. Modeling Aspect-Oriented Compositions

      • Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
      Pages 100-109

    3. Towards a Generic Aspect Oriented Design Process

      • Andrew Jackson, Siobhán Clarke
      Pages 110-119

  6. W5 – MTiP

    1. Model Transformations in Practice Workshop

      • Jean Bézivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt
      Pages 120-127

    2. Transforming Models with ATL

      • Frédéric Jouault, Ivan Kurtev
      Pages 128-138

    3. Practical Declarative Model Transformation with Tefkat

      • Michael Lawley, Jim Steel
      Pages 139-150

  7. W6 – WiSME

    1. Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME’2005)

      • Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, Tom Mens
      Pages 151-158

    2. Bridging Grammarware and Modelware

      • Manuel Wimmer, Gerhard Kramler
      Pages 159-168

    3. sNets: A First Generation Model Engineering Platform

      • Jean Bézivin
      Pages 169-181

  8. W7 – MDDAUI

    1. Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)

      • Andreas Pleuß, Jan van den Bergh, Stefan Sauer, Heinrich Hußmann
      Pages 182-190
Back to top

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Satellite Events at the MoDELS 2005 Conference

Keywords

Editors and Affiliations

  • Département Informatique, Université de Pau et des Pays de l’Adour, Pau, France

    Jean-Michel Bruel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation