UML 2004 - The Unified Modeling Language Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baar, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Strohmeier, Alfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Moreira, Ana (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3273
• Θέματα: Software 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.

Πίνακας περιεχομένων:

• 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.