05455nam 22007575 450 99646548240331620200704235419.03-540-30187-910.1007/b101232(CKB)1000000000212594(SSID)ssj0000263704(PQKBManifestationID)11205173(PQKBTitleCode)TC0000263704(PQKBWorkID)10274297(PQKB)11269334(DE-He213)978-3-540-30187-5(MiAaPQ)EBC3089068(PPN)155188674(EXLCZ)99100000000021259420121227d2004 u| 0engurnn|008mamaatxtccrUML 2004 - The Unified Modeling Language[electronic resource] Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /edited by Thomas Baar, Alfred Strohmeier, Ana Moreira1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XIII, 456 p.) Lecture Notes in Computer Science,0302-9743 ;3273Bibliographic Level Mode of Issuance: Monograph3-540-23307-5 Includes bibliographical references at the end of each chapters and index.Metamodeling -- 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.Lecture Notes in Computer Science,0302-9743 ;3273Software engineeringProgramming languages (Electronic computers)Management information systemsComputer scienceComputer simulationSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Software engineering.Programming languages (Electronic computers).Management information systems.Computer science.Computer simulation.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Management of Computing and Information Systems.Simulation and Modeling.005.1Baar Thomasedthttp://id.loc.gov/vocabulary/relators/edtStrohmeier Alfrededthttp://id.loc.gov/vocabulary/relators/edtMoreira Anaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465482403316UML 2004 - The Unified Modeling Language2035796UNISA