| 000 | 08116nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-87875-9 | ||
| 003 | DE-He213 | ||
| 005 | 20240730195450.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2008 gw | s |||| 0|eng d | ||
| 020 |
_a9783540878759 _9978-3-540-87875-9 |
||
| 024 | 7 |
_a10.1007/978-3-540-87875-9 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aModel Driven Engineering Languages and Systems _h[electronic resource] : _b11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings / _cedited by Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter. |
| 250 | _a1st ed. 2008. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2008. |
|
| 300 |
_aXIX, 921 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v5301 |
|
| 505 | 0 | _aKeynote 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 ofMOF 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. | |
| 520 | _aThis book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008. The 58 revised full papers presented were carefully reviewed and selected from 271 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems. | ||
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aCompilers (Computer programs). _93350 |
|
| 650 | 0 |
_aComputer simulation. _95106 |
|
| 650 | 0 |
_aElectronic data processing _xManagement. _9160362 |
|
| 650 | 1 | 4 |
_aSoftware Engineering. _94138 |
| 650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
| 650 | 2 | 4 |
_aComputer Modelling. _9160363 |
| 650 | 2 | 4 |
_aIT Operations. _931703 |
| 700 | 1 |
_aCzarnecki, Krzysztof. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160364 |
|
| 700 | 1 |
_aOber, Ileana. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160365 |
|
| 700 | 1 |
_aBruel, Jean-Michel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160366 |
|
| 700 | 1 |
_aUhl, Axel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160367 |
|
| 700 | 1 |
_aVölter, Markus. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160368 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9160369 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540878742 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540880233 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v5301 _9160370 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-540-87875-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c95641 _d95641 |
||