UML 2004 - The Unified Modeling Language (eBook, PDF)
Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings Redaktion: Baar, Thomas; Moreira, Ana; Strohmeier, Alfred
UML 2004 - The Unified Modeling Language (eBook, PDF)
Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings Redaktion: Baar, Thomas; Moreira, Ana; Strohmeier, Alfred
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Autorenporträt
Thomas Baar, Swiss Federal Institute of Technology Lausanne, Switzerland / Alfred Strohmeier, Swiss Federal Institute of Technology Lausanne, Switzerland / Ana Moreira, Universidade Nova de Lisboa, Portugal
Inhaltsangabe
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 SMARTModeling 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.
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 SMARTModeling 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
