Willkommen, schön sind Sie da!
Logo Ex Libris

Models in Software Engineering

  • Kartonierter Einband
  • 376 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to m... Weiterlesen
20%
108.00 CHF 86.40
Sie sparen CHF 21.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches inthedevelopmentofsoftware-basedsystems.Followingthetraditionofprevious conferences,MODELS2009hostedseveralsatelliteeventsinDenver.Therewere ten workshops and two symposia. The selection of the workshops was performed by a Workshop Committee, which consisted of the following experts: James M. Bieman, Colorado State University, USA (Chair) Peter Clarke, Florida International University, USA Holger Giese, University of Paderborn, Germany Frank Weil, Hengsoft, USA The workshops and symposia were held during the ?rst three days of the conference. They provided a collaborative forum for groups of participants to exchange recent and preliminary results, conduct intensive discussions on a p- ticular topic, and to coordinate e?orts between representatives of a technical community. They discussions were lively and the attendance was high. The focus of the Educators Symposium was on sharing experience related to teaching modeling techniques and on developing resources to support e?ective training of future practitioners of model-driven development. The DoctoralSymposiumprovideda forumin whichPhDstudents presented their work in progress. The symposium fostered the role of MODELS as a p- mier venue for research in model-driven engineering. The symposium provided the students with independent and constructive feedback about their already completed work, and more importantly, their planned research work.

Up-to-date results

Fast track conference proceedings

State-of-the-art report



Klappentext

This book constitutes a collection of the best papers selected from 9 workshops and 2 symposia held in conjunction iwth MODELS 2009, the 12 International Conference on Model Driven Engineering Languages and Systems, in Denver, CO, USA, in October 2009. The first two sections contain selected papers from the Doctoral Symposium and the Educational Symposium, respectively. The other contributions are organized according to the workshops at which they were presented: 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'09); 14th International Workshop on Aspect-Oriented Modeling (AOM); Models@run.time (Models@run.time); Model-driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE (MoDeVVa09); Models and Evolution (MoDSE-MCCM); Third International Workshop on Multi-Paradigm Modeling (MPM09); The Pragmatics of OCL and Other Textual Specification Languages (OCL); 2nd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML); and 2nd Workshop on Transformation and Weaving OWL Ontologies and MDE/MDA (TWOMDE2009). Each section includes a summary of the workshop.



Inhalt
Doctoral Symposium.- The Doctoral Symposium at MODELS 2009.- Catch Me If You Can Debugging Support for Model Transformations.- A Coordination-Based Model-Driven Method for Parallel Application Development.- Educators' Symposium.- Essentials of the 5th Educators' Symposium at MODELS 2009.- Teaching Object-Oriented Modeling and UML to Various Audiences.- Teaching Modeling: Why, When, What?.- Workshop ACES-MB.- Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009).- Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems.- Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.- Workshop AOM.- Report of the 14th International Workshop on Aspect-Oriented Modeling.- HiLA: High-Level Aspects for UML State Machines.- Workshop Model@run.time.- 4th International Workshop on Models@run.time.- Incremental Model Synchronization for Efficient Run-Time Monitoring.- Generating Synchronization Engines between Running Systems and Their Model-Based Views.- Workshop MoDeVVa.- MoDeVVa Workshop Summary.- From UML to Alloy and Back Again.- Generating Class Contracts from Deterministic UML Protocol Statemachines.- Workshop MoDSE-MCCM.- Models and Evolution: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM).- Model Patches in Model-Driven Engineering.- Limitations of Automating Model Migration in Response to Metamodel Adaptation.- Workshop MPM.- Recent Advances in Multi-paradigm Modeling.- Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition.- Explicit Transformation Modeling.- Workshop OCL.- Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.- Extending OCL with Null-References.- On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set.- Workshop NFPinDSML.- The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009).- On the Specification of Non-functional Properties of Systems by Observation.- Modeling Heterogeneous Points of View with ModHel'X.- Workshop TWOMDE.- Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009).- Towards Semantic Modeling of Network Physical Devices.- Using Ontology Reasoning for Reverse Engineering Design Patterns.

Produktinformationen

Titel: Models in Software Engineering
Untertitel: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers
Editor:
EAN: 9783642122606
ISBN: 3642122604
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 376
Gewicht: 569g
Größe: H235mm x B155mm x T20mm
Jahr: 2010
Untertitel: Englisch
Auflage: 2010

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"