«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /

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.

Saved in:
Bibliographic Details
Main Authors: Baar, Thomas. editor., Strohmeier, Alfred. editor., Moreira, Ana. editor., Mellor, Stephen J. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
Subjects:Computer science., Software engineering., Programming languages (Electronic computers)., Computer simulation., Management information systems., Computer Science., Software Engineering/Programming and Operating Systems., Software Engineering., Programming Languages, Compilers, Interpreters., Management of Computing and Information Systems., Simulation and Modeling.,
Online Access:http://dx.doi.org/10.1007/b101232
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:209850
record_format koha
spelling KOHA-OAI-TEST:2098502018-07-30T23:41:55Z«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / Baar, Thomas. editor. Strohmeier, Alfred. editor. Moreira, Ana. editor. Mellor, Stephen J. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,2004.engMetamodeling -- 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.Computer science.Software engineering.Programming languages (Electronic computers).Computer simulation.Management information systems.Computer Science.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Management of Computing and Information Systems.Simulation and Modeling.Springer eBookshttp://dx.doi.org/10.1007/b101232URN:ISBN:9783540301875
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Management information systems.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Simulation and Modeling.
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Management information systems.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Simulation and Modeling.
spellingShingle Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Management information systems.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Simulation and Modeling.
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Management information systems.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Simulation and Modeling.
Baar, Thomas. editor.
Strohmeier, Alfred. editor.
Moreira, Ana. editor.
Mellor, Stephen J. editor.
SpringerLink (Online service)
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
description 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.
format Texto
topic_facet Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Management information systems.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Simulation and Modeling.
author Baar, Thomas. editor.
Strohmeier, Alfred. editor.
Moreira, Ana. editor.
Mellor, Stephen J. editor.
SpringerLink (Online service)
author_facet Baar, Thomas. editor.
Strohmeier, Alfred. editor.
Moreira, Ana. editor.
Mellor, Stephen J. editor.
SpringerLink (Online service)
author_sort Baar, Thomas. editor.
title «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
title_short «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
title_full «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
title_fullStr «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
title_full_unstemmed «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
title_sort «uml» 2004 — the unified modeling language. modeling languages and applications [electronic resource] : 7th international conference, lisbon, portugal, october 11-15, 2004. proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
publishDate 2004
url http://dx.doi.org/10.1007/b101232
work_keys_str_mv AT baarthomaseditor uml2004theunifiedmodelinglanguagemodelinglanguagesandapplicationselectronicresource7thinternationalconferencelisbonportugaloctober11152004proceedings
AT strohmeieralfrededitor uml2004theunifiedmodelinglanguagemodelinglanguagesandapplicationselectronicresource7thinternationalconferencelisbonportugaloctober11152004proceedings
AT moreiraanaeditor uml2004theunifiedmodelinglanguagemodelinglanguagesandapplicationselectronicresource7thinternationalconferencelisbonportugaloctober11152004proceedings
AT mellorstephenjeditor uml2004theunifiedmodelinglanguagemodelinglanguagesandapplicationselectronicresource7thinternationalconferencelisbonportugaloctober11152004proceedings
AT springerlinkonlineservice uml2004theunifiedmodelinglanguagemodelinglanguagesandapplicationselectronicresource7thinternationalconferencelisbonportugaloctober11152004proceedings
_version_ 1756268715367727104