LEADER 06563nam 22007935 450 001 996465837903316 005 20200630051100.0 010 $a1-280-90214-0 010 $a9786610902149 010 $a3-540-69489-7 024 7 $a10.1007/978-3-540-69489-2 035 $a(CKB)1000000000284123 035 $a(SSID)ssj0000303410 035 $a(PQKBManifestationID)11263550 035 $a(PQKBTitleCode)TC0000303410 035 $a(PQKBWorkID)10275295 035 $a(PQKB)11781833 035 $a(DE-He213)978-3-540-69489-2 035 $a(MiAaPQ)EBC3036646 035 $a(MiAaPQ)EBC6280902 035 $a(PPN)123159520 035 $a(Association for Computing Machinery)10.5555/1762828 035 $a(EXLCZ)991000000000284123 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModels in Software Engineering $eWorkshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /$fedited by Thomas Kühne 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XII, 334 p.) 225 1 $aProgramming and Software Engineering ;$v4364 300 $aContributions from 11 workshops and 3 symposia. 311 $a3-540-69488-9 320 $aIncludes bibliographical references and index. 327 $aW1 ? Aspect-Oriented Modeling -- 9th International Workshop on Aspect-Oriented Modeling -- Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point Patterns: A High-Level Join Point Selection Mechanism -- W2 ? Critical Systems Development -- Critical Systems Development Using Modeling Languages ? CSDUML 2006 Workshop Report -- Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML 2.0 Interactions -- W3 ? Reverse Engineering -- 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies -- A Unified Ontology-Based Process Model for Software Maintenance and Comprehension -- Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL -- W4 ? Quality in Modeling -- The 1st Workshop on Quality in Modeling -- Consistency of Business Process Models and Object Life Cycles -- A Qualitative Investigation of UML Modeling Conventions -- W5 ? Advanced User Interfaces -- Model Driven Development of Advanced User Interfaces (MDDAUI) ? MDDAUI?06 Workshop Report -- A Model-Driven Approach to the Engineering of Multiple User Interfaces -- Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces -- W6 ? Real-Time and Embedded Systems -- Modelling and Analysis of Real Time and Embedded Systems ? Using UML -- Time Exceptions in Sequence Diagrams -- Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems -- W7 ? OCL -- OCL for (Meta-)Models in Multiple Application Domains -- OCL-Based Validation of a Railway Domain Profile -- OCL Support in an Industrial Environment -- W8 ? Integrating MDA and V&V -- Report on the 3rd MoDeVa Workshop ? Model Design and Validation -- Towards Model-Driven Unit Testing -- Validation of Model Transformations ? First Experiences Using a White Box Approach -- W9 ? Model Size Metrics -- Summary of the 2006 Model Size Metrics Workshop -- Model Size Matters -- On the Application of Software Metrics to UML Models -- W10 ? Models@run.time -- Summary of the Workshop Models@run.time at MoDELS 2006 -- Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware -- Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems -- W11 ? Multi-Paradigm Modeling -- Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools -- Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages -- S1 ? Doctoral Symposium -- MoDELS 2006 Doctoral Symposium -- Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems -- S2 ? Educators Symposium -- Educators? Symposium at MoDELS 2006 -- If You?re Not Modeling, You?re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program -- Teaching Software Modeling in a Simulated Project Environment -- Repository for Model Driven Development (ReMoDD) -- S3 ? A Formal Semantics for UML -- 2 nd UML 2 Semantics Symposium: Formal Semantics for UML -- A UML Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic Model for UML2 -- Analysis of UML Activities with Dynamic Meta Modeling Techniques. 410 0$aProgramming and Software Engineering ;$v4364 517 3 $aMoDELS'06 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer simulation 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer simulation. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSimulation and Modeling. 615 24$aManagement of Computing and Information Systems. 676 $a005.1 702 $aKühne$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465837903316 996 $aModels in Software Engineering$9772694 997 $aUNISA