LEADER 05455nam 22007575 450 001 996465482403316 005 20200704235419.0 010 $a3-540-30187-9 024 7 $a10.1007/b101232 035 $a(CKB)1000000000212594 035 $a(SSID)ssj0000263704 035 $a(PQKBManifestationID)11205173 035 $a(PQKBTitleCode)TC0000263704 035 $a(PQKBWorkID)10274297 035 $a(PQKB)11269334 035 $a(DE-He213)978-3-540-30187-5 035 $a(MiAaPQ)EBC3089068 035 $a(PPN)155188674 035 $a(EXLCZ)991000000000212594 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aUML 2004 - The Unified Modeling Language$b[electronic resource] $eModeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /$fedited by Thomas Baar, Alfred Strohmeier, Ana Moreira 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XIII, 456 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3273 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23307-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aMetamodeling -- Empirically Driven Use Case Metamodel Evolution -- Applying OO Metrics to Assess UML Meta-models -- An OCL Formulation of UML2 Template Binding -- A Metamodel for Generating Performance Models from UML Designs -- On the Classification of UML?s Meta Model Extension Mechanism -- Modeling Business Processes in Web Applications with ArgoUWE -- Aspects -- Model Composition Directives -- Query Models -- Specifying Cross-Cutting Requirement Concerns -- Profiles and Extensions -- A UML Profile to Model Mobile Systems -- Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time -- A UML Profile for Executable and Incremental Specification-Level Modeling -- OCL -- Applying Refactoring Techniques to UML/OCL Models -- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report -- From Informal to Formal Specifications in UML -- Building Precise UML Constructs to Model Concurrency Using OCL -- An ASM Definition of the Dynamic OCL 2.0 Semantics -- Towards a Framework for Mapping Between UML/OCL and XML/XQuery -- Model Transformation -- Model-Driven Architecture for Automatic-Control: An Experience Report -- Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation -- Generic and Meta-transformations for Model Transformation Engineering -- Verification and Model Consistency -- Supporting Model Refactorings Through Behaviour Inheritance Consistencies -- Determining the Structural Events That May Violate an Integrity Constraint -- Deductive Verification of UML Models in TLPVS -- Security -- Integrating a Security Requirement Language with UML -- Automated Verification of UMLsec Models for Security Requirements -- Extending OCL for Secure Database Development -- Methodology -- Test Driven Development of UML Models with SMART Modeling System -- Behavioral Domain Analysis ? The Application-Based Domain Modeling Approach -- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications -- Workshops and Tutorials -- Workshops at the UML 2004 Conference -- Tutorials at the UML 2004 Conference. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3273 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aManagement information systems 606 $aComputer science 606 $aComputer simulation 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 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aComputer simulation. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aManagement of Computing and Information Systems. 615 24$aSimulation and Modeling. 676 $a005.1 702 $aBaar$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStrohmeier$b Alfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoreira$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465482403316 996 $aUML 2004 - The Unified Modeling Language$92035796 997 $aUNISA