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

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

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

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

• 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
• [e-mail]
• Second International Workshop on [e-mail]
• 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.