UML

Keyphrases

Publications

2004

Martin Giese, Rogardt Heldal
From Informal to Formal Specifications in UML. UML (2004)
H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin
Integrating a Security Requirement Language with UML. UML (2004)
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna
Test Driven Development of UML Models with SMART Modeling System. UML (2004)
Geri Georg, Raghu Reddy, Robert B. France
Specifying Cross-Cutting Requirement Concerns. UML (2004)
Stephan Flake, Wolfgang Müller
An ASM Definition of the Dynamic OCL 2.0 Semantics. UML (2004)
Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens
Supporting Model Refactorings Through Behaviour Inheritance Consistencies. UML (2004)
Agustín Goñi, Yadran Eterovic
Building Precise UML Constructs to Model Concurrency Using OCL. UML (2004)
Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta
A UML Profile to Model Mobile Systems. UML (2004)
Peter Dolog, Wolfgang Nejdl
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications. UML (2004)
José Ambrosio Toval Álvarez
Workshops at the UML 2004 Conference. UML (2004)
Alexandre L. Correa, Cláudia Maria Lima Werner
Applying Refactoring Techniques to UML/OCL Models. UML (2004)
Andrew J. Bennett, A. J. Field, C. Murray Woodside
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. UML (2004)
Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt
An OCL Formulation of UML2 Template Binding. UML (2004)
Dániel Varró, András Pataricza
Generic and Meta-transformations for Model Transformation Engineering. UML (2004)
Risto Pitkänen, Petri Selonen
A UML Profile for Executable and Incremental Specification-Level Modeling. UML (2004)
Pierre-Alain Muller, Didier Bresch, Philippe Studer
Model-Driven Architecture for Automatic-Control: An Experience Report. UML (2004)
Amador Durán, Beatriz Bernárdez, Marcela Genero, Mario Piattini
Empirically Driven Use Case Metamodel Evolution. UML (2004)
Simone Röttger, Steffen Zschaler
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation. UML (2004)
Hanna Bauerdick, Martin Gogolla, Fabian Gutsche
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. UML (2004)
Dominik Stein, Stefan Hanenberg, Rainer Unland
Query Models. UML (2004)
Yanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng, Haohai Ma
On the Classification of UML's Meta Model Extension Mechanism. UML (2004)
Ahmed Gaafar, Sherif Sakr
Towards a Framework for Mapping Between UML/OCL and XML/XQuery. UML (2004)
Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman
Model Composition Directives. UML (2004)
Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler
Modeling Business Processes in Web Applications with ArgoUWE. UML (2004)
Jan Jürjens, Pasha Shabalin
Automated Verification of UMLsec Models for Security Requirements. UML (2004)
Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
Deductive Verification of UML Models in TLPVS. UML (2004)
Haohai Ma, Weizhong Shao, Lu Zhang, Yanbing Jiang
Applying OO Metrics to Assess UML Meta-models. UML (2004)
Iris Reinhartz-Berger, Arnon Sturm
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach. UML (2004)
Ezra Kaahwa Mugisa
Tutorials at the UML 2004 Conference. UML (2004)
Eduardo Fernández-Medina, Mario Piattini
Extending OCL for Secure Database Development. UML (2004)
Dorin Bogdan Petriu, C. Murray Woodside
A Metamodel for Generating Performance Models from UML Designs. UML (2004)
Jordi Cabot, Ernest Teniente
Determining the Structural Events That May Violate an Integrity Constraint. UML (2004)

volume 3273, 2004

«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings UML 3273 (2004)

2003

volume 2863, 2003

«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings UML 2863 (2003)