LEADER 05333nam 2200589 450 001 9910484762903321 005 20211007225750.0 010 $a3-540-75209-9 024 7 $a10.1007/978-3-540-75209-7 035 $a(CKB)1000000000490803 035 $a(SSID)ssj0000318976 035 $a(PQKBManifestationID)11243805 035 $a(PQKBTitleCode)TC0000318976 035 $a(PQKBWorkID)10336589 035 $a(PQKB)10535586 035 $a(DE-He213)978-3-540-75209-7 035 $a(MiAaPQ)EBC3063409 035 $a(MiAaPQ)EBC6511712 035 $a(Au-PeEL)EBL6511712 035 $a(OCoLC)184953785 035 $a(PPN)123165334 035 $a(EXLCZ)991000000000490803 100 $a20211007d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aModel driven engineering languages and systems $e10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007, proceedings /$fedited by Gregor Engels [and three others] 205 $a1st ed. 2007. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[2007] 210 4$dİ2007 215 $a1 online resource (XV, 698 p.) 225 1 $aProgramming and Software Engineering ;$v4735 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-75208-0 320 $aIncludes bibliographical references and index. 327 $aModel Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions -- Reconciling TGGs with QVT -- UniTI: A Unified Transformation Infrastructure -- Modeling Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context Sensitive Intrusion Detection -- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications -- Meta-Modeling -- On Metamodeling in Megamodels -- Magritte ? A Meta-driven Approach to Empower Developers and End Users -- Matching Model-Snippets -- Consistent Models -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis of Design Models -- Modeling Support -- Piecewise Modelling with State Subtypes -- Deriving Operation Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology -- User Interface Design -- Model-Driven Approach for Managing Human Interface Design Life Cycle -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML Extensions with Operational Semantics. -- Integrated Definition of Abstract and Concrete Syntax for Textual Languages -- Architectural Aspects in UML -- Modeling Methods -- Domain Specific Modeling Methodology for Reconfigurable Networked Systems -- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems -- Relating Navigation and Request Routing Models in Web Applications -- Service and Process Modeling -- A UML2 Profile for Service Modeling -- Automatic Generation of Workflow-Extended Domain Models -- A Practical Perspective on the Design and Implementation of Service-Oriented Solutions -- Model Analysis -- Constructive Techniques for Meta- and Model-Level Reasoning -- A Metamodel-Based Approach for Analyzing Security-Design Models -- UML2Alloy: A Challenging Model Transformation -- Modeling Process -- i 2 MAP: An Incremental and Iterative Modeling and Analysis Process -- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation -- Model-Driven Engineering for Software Migration in a Large Industrial Context -- Aspects -- Introducing Variability into Aspect-Oriented Modeling Approaches -- An Expressive Aspect Composition Language for UML State Diagrams -- Enhancing UML State Machines with Aspects -- New Language Features -- Complementary Use Case Scenario Representations Based on Domain Vocabularies -- Modeling Time(s) -- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software -- Debugging Support -- Forensic Debugging of Model Transformations -- Runtime Debugging Using Reverse-Engineered UML -- Formally Defining a Graphical Language for Monitoring and Checking Object Interactions -- Statecharts -- Statechart Development Beyond WYSIWYG -- Model-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified Binaries -- Workshops, Tutorials and Panels -- Workshops and Symposia at MODELS 2007 -- Tutorials at MODELS 2007 -- Panels at MODELS 2007. 410 0$aProgramming and Software Engineering ;$v4735 606 $aModel-driven software architecture$vCongresses 606 $aUML (Computer science)$vCongresses 615 0$aModel-driven software architecture 615 0$aUML (Computer science) 676 $a005.1 702 $aEngels$b G. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484762903321 996 $aModel Driven Engineering Languages and Systems$9772687 997 $aUNINA