"UML" 2004 : the unified modeling language : modeling languages and applications : 7th international conference, Lisbon, Portugal, october 11-15, 2004 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
3273 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • "UML" 2004, the unified modeling language, modeling languages and applications, 7th international conference, Lisbon, Portugal, october 11-15, 2004, proceedings, Thomas Baar, Alfred Strohmeier, Ana Moreira...[et al.](eds.), Berlin, Springer, cop. 2004, 2004, 1 vol. (XIII-454 p.), Lecture notes in computer science, 3-540-23307-5 • UML 2004 - The Unified Modeling Language, Texte imprimé, 9783662172797 |
Table of Contents:
- 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.