Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, ... / Programming and Software Engineering) - Paperback

EAN (ISBN-13): 9783540878742
ISBN (ISBN-10): 3540878742
Hardcover
Paperback
Publishing year: 2008
Publisher: Springer
921 Pages
Weight: 1,067 kg
Language: eng/Englisch

Book in our database since 2007-10-07T09:58:11+01:00 (London)
Detail page last modified on 2023-02-20T08:11:17+00:00 (London)
ISBN/EAN: 9783540878742

ISBN - alternate spelling:
3-540-87874-2, 978-3-540-87874-2
Alternate spelling and related search-keywords:
Book author: vlter, czarnecki, bruel, völter, ileana, brüel, markus uhl, ober, voelter, michel
Book title: proceedings international conference, computer systems, model driven engineering languages systems, models software engineering, language engineering, international conference computer science, october, toulouse, 2008, france, seven languages, programming systems and languages

---

Information from Publisher

Author: Krzysztof Czarnecki; Ileana Ober; Jean-Michel Bruel; Axel Uhl; Markus Völter
Title: Programming and Software Engineering; Lecture Notes in Computer Science; Model Driven Engineering Languages and Systems - 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings
Publisher: Springer; Springer Berlin
921 Pages
Publishing year: 2008-09-22
Berlin; Heidelberg; DE
Printed / Made in
Language: English
155,14 € (DE)
159,49 € (AT)
193,69 CHF (CH)
Not available, publisher indicates OP

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; C; Software Engineering/Programming and Operating Systems; Computer Science; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Software Engineering; Management of Computing and Information Systems; Betriebssysteme; Programmier- und Skriptsprachen, allgemein; Compiler und Übersetzer; 3D-Grafik und Modellierung; Software Engineering; Informationsarchitektur; Computer- und IT-Hardware: Wartung und Reparatur; EA

Keynote I.- The Objects and Arrows of Computational Design.- Algebraic Models for Bidirectional Model Synchronization.- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.- Precise Semantics of EMF Model Transformations by Graph Transformation.- A Formal Metamodel for Problem Frames.- Visualization of Use Cases through Automatically Generated Activity Diagrams.- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications.- The Future of Train Signaling.- NAOMI – An Experimental Platform for Multi–modeling.- Keynote II.- Abstraction and Modelling — A Complementary Partnership.- Model Transformation as an Optimization Problem.- Example-Based Program Transformation.- Detecting Patterns of Poor Design Solutions Using Constraint Propagation.- A General Approach for Scenario Integration.- Behavioral Modelling and Composition of Object Slices Using Event Observation.- Scenario-Based Static Analysis of UML Class Models.- Constructing Models with the Human-Usable Textual Notation.- X3D-UML: 3D UML State Machine Diagrams.- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment.- Keynote III.- 3D Parametric Models for Aeroplanes — From Idea to Design.- MOOGLE: A Model Search Engine.- Managing Model Conflicts in Distributed Development.- Metamodel Matching for Automatic Model Transformation Generation.- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.- Implementation of the Conformance Relation for Incremental Development of Behavioural Models.- A Model-Based Framework for Statically and Dynamically Checking Component Interactions.- Formal Definition of MOF 2.0 Metamodel Components and Composition.- Interfaces and Metainterfaces for Models and Metamodels.- Model&Metamodel, Metadata and Document Repository for Software and Data Integration.- Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.- Contrary-to-Duties Constraints: From UML to Relational Model.- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.- Integrating Performance Analysis in the Model Driven Development of Software Product Lines.- A Model-Driven Measurement Approach.- Specifying Service Composition Using UML 2.x and Composition Policies.- A Model-Based Framework for Security Policy Specification, Deployment and Testing.- A Pattern Language Verifier for Web-Based Enterprise Applications.- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.- Autonomic Management Policy Specification: From UML to DSML.- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density.- An Empirical Investigation on Dynamic Modeling in Requirements Engineering.- Heterogeneous Coupled Evolution of Software Languages.- Automatability of Coupled Evolution of Metamodels and Models in Practice.- Enriching Reverse Engineering with Annotations.- Towards a Formal Account of a Foundational Subset for Executable UML Models.- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.- Semantically Configurable Code Generation.- Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams.- Adding Dependability Analysis Capabilities to the MARTE Profile.- Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications.- Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation.- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.- Managing Variability Complexity in Aspect-Oriented Modeling.- Mapping the UML2 Semantics of Associations to a Java Code Generation Model.- Meaningful Composite Structures.- A Systematic Approach to Connectors in a Multi-level Modeling Environment.- Model-Based Quality Assurance of Automotive Software.- Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA.- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool.- Workshops at MODELS 2008.- Educators Symposium at MODELS 2008.- Doctoral Symposium at MODELS 2008.- Tutorials at MODELS 2008.- Panels at MODELS 2008.