Skip to main content
  • Conference proceedings
  • © 2006

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

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

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

Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems

Conference proceedings info: MODELS 2005.

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-31781-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout

This is a preview of subscription content, access via your institution.

Table of contents (43 papers)

  1. Front Matter

  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. 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. 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
  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

Other Volumes

  1. Model Driven Engineering Languages and Systems

    8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings
  2. Satellite Events at the MoDELS 2005 Conference

    MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

Keywords

  • Java
  • Middleware
  • OCL
  • Pike
  • Unified Modeling Language (UML)
  • aspect-oriented modeling
  • formal methods
  • generic programming
  • model-based software architecture
  • modeling
  • object
  • object-oriented modeling
  • reflection
  • security
  • systems modeling

Editors and Affiliations

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

    Jean-Michel Bruel

Bibliographic Information

Buying options

eBook USD 69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-31781-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout