"UML" 2004 : the unified modeling language : modeling languages and applications ; 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings
Modeling languages (Computer science) Computer software UML (Computer science)
Springer
2004
1st ed. 2004.
EISBN 3540301879
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.
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.
