Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ghosh, Sudipto (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6002
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer simulation.; Management information systems.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Management of Computing and Information Systems.; Simulation and Modeling.

Πίνακας περιεχομένων:

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