Overview

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 4735). The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.

Full Product Details

Author:   Holger Giese
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2008 ed.
Volume:   5002
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   0.522kg
ISBN:  

9783540690696

ISBN 10:   3540690697
Pages:   326
Publication Date:   01 July 2008
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

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.

Reviews

Author Information

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 4735). The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions