Vai al contenuto principale della pagina
Titolo: | UML 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 Moreira |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Edizione: | 1st ed. 2004. |
Descrizione fisica: | 1 online resource (XIII, 456 p.) |
Disciplina: | 005.1 |
Soggetto topico: | 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 | |
Persona (resp. second.): | BaarThomas |
StrohmeierAlfred | |
MoreiraAna | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references at the end of each chapters and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | UML 2004 - The Unified Modeling Language |
ISBN: | 3-540-30187-9 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465482403316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |