Models in Software Engineering (eBook)

Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers

Sudipto Ghosh (Herausgeber)

eBook Download: PDF

2010 | 2010
X, 360 Seiten
Springer Berlin (Verlag)
978-3-642-12261-3 (ISBN)

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 — [e-mail].- 4th International Workshop on [e-mail].- 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.

Produkt-Details

• Erscheint lt. Verlag: 7.4.2010
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: Programming and Software Engineering
• Verlagsort: Berlin
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Schlagworte: CPN • Debugging • Design • Design Pattern • Design Patterns • Eclipse Modeling Framework • Embedded Systems • Modeling • Software engineering • structured analysis • Validation • verification
• ISBN-10: 3-642-12261-2 / 3642122612
• ISBN-13: 978-3-642-12261-3 / 9783642122613