000 05043nam a22006135i 4500
001 978-3-642-02674-4
003 DE-He213
005 20240730194031.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642026744
_9978-3-642-02674-4
024 7 _a10.1007/978-3-642-02674-4
_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 Architecture - Foundations and Applications
_h[electronic resource] :
_b5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings /
_cedited by Richard F. Paige, Alan Hartman, Arend Rensink.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aXIII, 337 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 ;
_v5562
505 0 _aCreating Embedded Platforms with MDA: Where's the Sweet Spot? -- Creating Embedded Platforms with MDA: Where's the Sweet Spot? -- Foundations -- Comparison of Three Model Transformation Languages -- On the Use of Higher-Order Model Transformations -- Managing Model Adaptation by Precise Detection of Metamodel Changes -- A Pattern Mining Approach Using QVT -- A Language-Theoretic View on Guidelines and Consistency Rules of UML -- A Domain Specific Language for Extracting Models in Software Modernization -- Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems -- Derivation and Refinement of Textual Syntax for Models -- Uniform Random Generation of Huge Metamodel Instances -- Establishing Correspondences between Models with the Epsilon Comparison Language -- Dependent and Conflicting Change Operations of Process Models -- Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations -- Temporal Extensions of OCL Revisited -- An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications -- A Model Driven Approach to the Analysis of Timeliness Properties -- A Hybrid Graphical and Textual Notation and Editor for UML Actions -- Applications -- Mapping Requirement Models to Mathematical Models in Control System Development -- On Study Results: Round Trip Engineering of Space Systems -- MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis -- Managing Flexibility: Modeling Binding-Times in Simulink -- Experiences of Developing a Network Modeling Tool Using the Eclipse Environment -- MBT4Chor: A Model-Based Testing Approach for Service Choreographies -- Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study.
520 _aThis book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009. The 23 revised full papers presented - 16 research papers and 7 industry papers - were carefully reviewed and selected from 72 submissions. Promoting the use of models in the specification, design, analysis, synthesis, deployment, and evolution of complex software systems, the papers address all current issues of model-driven architecture including model transformations, modelling language issues, modelling of behaviour and time, traceability and scalability, model-based embedded systems engineering, and the application of model-driven development to IT and networking systems.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer networks .
_931572
650 0 _aComputer engineering.
_910164
650 0 _aComputer science.
_99832
650 0 _aElectronic data processing
_xManagement.
_9155422
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Communication Networks.
_9155423
650 2 4 _aComputer Engineering and Networks.
_9155424
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aIT Operations.
_931703
700 1 _aPaige, Richard F.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9155425
700 1 _aHartman, Alan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9155426
700 1 _aRensink, Arend.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9155427
710 2 _aSpringerLink (Online service)
_9155428
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642026737
776 0 8 _iPrinted edition:
_z9783642026751
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5562
_9155429
856 4 0 _uhttps://doi.org/10.1007/978-3-642-02674-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94988
_d94988