Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Giese, Holger (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5002
Temas:
Software engineering.
Compilers (Computer programs).
Computer simulation.
Electronic data processing-Management.
Software Engineering.
Compilers and Interpreters.
Computer Modelling.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Aspect-Oriented Modeling
  • 11th International Workshop on Aspect-Oriented Modeling
  • A Generic Approach for Automatic Model Composition
  • MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
  • Language Engineering
  • 4th International Workshop on Language Engineering (ATEM 2007)
  • Designing Syntax Embeddings and Assimilations for Language Libraries
  • A Comparison of Standard Compliant Ways to Define Domain Specific Languages
  • Model Driven Development of Advanced User Interfaces
  • Third International Workshop on Model Driven Development of Advanced User Interfaces
  • Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques
  • Transforming Discourse Models to Structural User Interface Models
  • Model Size Metrics
  • Second International Workshop on Model Size Metrics
  • On the Relation between Class-Count and Modeling Effort
  • Measuring the Level of Abstraction and Detail of Models in the Context of MDD
  • Model-Based Design of Trustworthy Health Information Systems
  • First International Workshop on the Model-Based Design of Trustworthy Health Information Systems
  • Rigorously Defining and Analyzing Medical Processes: An Experience Report
  • Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet
  • Model-Driven Engineering, Verification and Validation
  • 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE
  • Deriving Input Partitions from UML Models for Automatic Test Generation
  • Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering
  • Ocl4All: Modelling Systems with OCL
  • 7th International Workshop on Ocl4All: Modelling Systems with OCL
  • Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support
  • Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
  • Models@run.time
  • Second International Workshop on Models@run.time
  • AMOEBA-RT: Run-Time Verification of Adaptive Software
  • Model-Based Run-Time Error Detection
  • Multi-Paradigm Modeling: Concepts and Tools
  • Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
  • ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
  • Domain-Specific Model Editors with Model Completion
  • Quality in Modeling
  • Third Intenational Workshop on Quality in Modeling
  • Developing a Quality Framework for Model-Driven Engineering
  • Doctoral Symposium
  • Doctoral Symposium
  • Models in Conflict - Towards a Semantically Enhanced Version Control System for Models
  • Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models
  • Educators' Symposium
  • Educators' Symposium.

Ejemplares similares