«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.
Main Authors: | , , , , |
---|---|
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 |