Abstract is missing.
- Empirically Driven Use Case Metamodel EvolutionAmador Durán, Beatriz Bernárdez, Marcela Genero, Mario Piattini. 1-11 [doi]
- Applying OO Metrics to Assess UML Meta-modelsHaohai Ma, Weizhong Shao, Lu Zhang, Yanbing Jiang. 12-26 [doi]
- An OCL Formulation of UML2 Template BindingOlivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt. 27-40 [doi]
- A Metamodel for Generating Performance Models from UML DesignsDorin Bogdan Petriu, C. Murray Woodside. 41-53 [doi]
- On the Classification of UML s Meta Model Extension MechanismYanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng, Haohai Ma. 54-68 [doi]
- Modeling Business Processes in Web Applications with ArgoUWEAlexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler. 69-83 [doi]
- Model Composition DirectivesGreg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman. 84-97 [doi]
- Query ModelsDominik Stein, Stefan Hanenberg, Rainer Unland. 98-112 [doi]
- Specifying Cross-Cutting Requirement ConcernsGeri Georg, Raghu Reddy, Robert B. France. 113-127 [doi]
- A UML Profile to Model Mobile SystemsVincenzo Grassi, Raffaela Mirandola, Antonino Sabetta. 128-142 [doi]
- Experimental Evaluation of the UML Profile for Schedulability, Performance, and TimeAndrew J. Bennett, A. J. Field, C. Murray Woodside. 143-157 [doi]
- A UML Profile for Executable and Incremental Specification-Level ModelingRisto Pitkänen, Petri Selonen. 158-172 [doi]
- Applying Refactoring Techniques to UML/OCL ModelsAlexandre L. Correa, Cláudia Maria Lima Werner. 173-187 [doi]
- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience ReportHanna Bauerdick, Martin Gogolla, Fabian Gutsche. 188-196 [doi]
- From Informal to Formal Specifications in UMLMartin Giese, Rogardt Heldal. 197-211 [doi]
- Building Precise UML Constructs to Model Concurrency Using OCLAgustín Goñi, Yadran Eterovic. 212-225 [doi]
- An ASM Definition of the Dynamic OCL 2.0 SemanticsStephan Flake, Wolfgang Müller 0003. 226-240 [doi]
- Towards a Framework for Mapping Between UML/OCL and XML/XQueryAhmed Gaafar, Sherif Sakr. 241-259 [doi]
- Model-Driven Architecture for Automatic-Control: An Experience ReportPierre-Alain Muller, Didier Bresch, Philippe Studer. 260-274 [doi]
- Generic and Meta-transformations for Model Transformation EngineeringDániel Varró, András Pataricza. 290-304 [doi]
- Supporting Model Refactorings Through Behaviour Inheritance ConsistenciesRagnhild Van Der Straeten, Viviane Jonckers, Tom Mens. 305-319 [doi]
- Determining the Structural Events That May Violate an Integrity ConstraintJordi Cabot, Ernest Teniente. 320-334 [doi]
- Deductive Verification of UML Models in TLPVSTamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag. 335-349 [doi]
- Integrating a Security Requirement Language with UMLH. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin. 350-364 [doi]
- Automated Verification of UMLsec Models for Security RequirementsJan Jürjens, Pasha Shabalin. 365-379 [doi]
- Extending OCL for Secure Database DevelopmentEduardo Fernández-Medina, Mario Piattini. 380-394 [doi]
- Test Driven Development of UML Models with SMART Modeling SystemSusumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna. 395-409 [doi]
- Behavioral Domain Analysis - The Application-Based Domain Modeling ApproachIris Reinhartz-Berger, Arnon Sturm. 410-424 [doi]
- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based ApplicationsPeter Dolog, Wolfgang Nejdl. 425-439 [doi]
- Workshops at the UML 2004 ConferenceJosé Ambrosio Toval Álvarez. 440-448 [doi]
- Tutorials at the UML 2004 ConferenceEzra Kaahwa Mugisa. 449-452 [doi]