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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ghosh, Sudipto (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6002
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Computer simulation.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Computer Modelling.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares