Tony Clark, Andy Evans, Stuart Kent: A Meta-model Facility for a Family of UML Constraint Languages, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Andy Schürr: A New Type Checking Approach for OCL Version 2.0 ?, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Mark Richters, Martin Gogolla: OCL: Syntax, Semantics, and Tools , Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Martin Gogolla, Mark Richters: Expressing UML Class Diagrams Properties with OCL, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Stephan Flake, Wolfgang Mueller: An OCL Extension for Real-Time Constraints, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
John Knapman: Statistical Constraints and Verification, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Bernhard Rumpe: «Java»OCL Based on New Presentation of the OCL-Syntax, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Anneke Kleppe, Jos Warmer: The Semantics of the OCL Action Clause, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Stuart Kent, John Howse: Constraint Trees, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Shane Sendall, Alfred Strohmeier: Using OCL and UML to Specify System Behavior, Object Modeling with the OCL: The Rationale behind the Object Constraint Language, 2002, (BibTeX entry).
Rolf Hennicker, Nora Koch: Systematic Design of Web Applications with UML, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
Liliana Favre, Silvia Clérici: A Systematic Approach to Transform UML Static Models to Object-Oriented Code, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
Wolfgang Hesse: RUP: A Process Model for Working with UML, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
J. A. Sykes, P. Gupta: UML Modeling Support for Early Reuse Decisions in Component-Based Development, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
John Krogstie: Using a Semiotic Framework to Evaluate UML for the Development of Models of High Quality, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
John Krogstie: Rational Unified Process and Unified Modeling Language - A GOMS Analysis, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
Patricia Lago: Rendering Distributed Systems in UML, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
Stefan Conrad, Klaus Turowski: Temporal OCL: Meeting Specification Demands for Business Components, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
Terry Halpin: Supplementing UML with Concepts from ORM, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
Dina Goldin, David Keil, Peter Wegner: An Interactive Viewpoint on the Role of UML, Unified Modeling Language: Systems Analysis, Design and Development Issues, 2001, (BibTeX entry).
Jan Øyvind Aagedal: Towards an ODP-Compliant Object Definition Language with QoS-Support, Proceedings 5th International Workshop, IDMS'98, Oslo, Norway, September, 1998, (BibTeX entry).
Ambrosio Toval Alvarez, Jose Luis Fernandez Aleman: Formally Modeling UML and its Evolution: A Holistic Approach, Formal Methods for Open Object-Based Distributed Systems IV - Proc. FMOODS'2000, September, 2000, Stanford, California, USA, 2000, (BibTeX entry).
Egidio Astesiano, Maura Cerioli, Gianna Reggio: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML, Proceedings Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000, 2000, (BibTeX entry).
Colin Atkinson: Adapting the Fusion Process to Support the UML, Object Magazine, Sigs Publications, 1997, (BibTeX entry).
Thomas Baar: Experiences with the UML/OCL-Approach in Practice and Strategies to Overcome Deficiencies, Proc. Net.ObjectDays2000, Erfurt, Germany, 2000, (BibTeX entry).
Thomas Baar, Reiner Hähnle: An Integrated Metamodel for OCL Types, Proc. OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, Minneapolis, Minnesota, USA, 2000., 2000, (BibTeX entry).
R. Bardohl, H. Ehrig, C. Ermel: Generic Description, Behavior and Animation of Visual Modeling Languages, Proc. Fifth International Conference on Integrated Design and Process Technology (IDPT'2000), June 2000, Dallas, Texas, 2000, (BibTeX entry).
Luciano Baresi, Mauro Pezzè: On Formalizing UML with High-Level Petri Nets, Dipartimento di Elettronica e Informazione -- Politecnico di Milano, 1998, (BibTeX entry).
Ricardo M. Bastos, Duncan Dubugras A. Dubugras: Extending UML Activity Diagram for Workflow Modeling in Production Systems, Proc. 35th Annual Hawaii International Conference on System Sciences (HICSS-35), 2002, (BibTeX entry).
Niclas Bauer: Deployment of SDL Systems Using UML, SDL 2001: Meeting UML. 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, 2001, (BibTeX entry).
Stefan Bisanz, Paul Ziemann, Arne Lindow: Integrated Specification, Validation and Verification with HybridUML and OCL Applied to the BART Case Study, FORMS/FORMAT 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems, Proceedings of Symposium FORMS/FORMAT 2004, Braunschweig, Germany, 2nd and 3rd December 2004, 2004, (BibTeX entry).
Maurits C. Blok, Jacob L. Cybulski: Reusing UML Specifications in a Constrained Application Domain, Proceedings 5th Asia Pacific Software Engineering Conference (APSEC '98), December 2-4, 1998, Taipei, Taiwan, 1998, (BibTeX entry).
Egon Börger, Alessandra Cavarra, Elvinia Riccobene: An ASM Semantics for UML Activity Diagrams, Proceedings Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000, 2000, (BibTeX entry).
Christie Bolton, Jim Davies: Using Relational and Behavioural Semantics in the Verification of Object Models, Formal Methods for Open Object-Based Distributed Systems IV - Proc. FMOODS'2000, September, 2000, Stanford, California, USA, 2000, (BibTeX entry).
Fabian Büttner, Martin Gogolla: Realizing UML Metamodel Transformations with AGG, Proc. ETAPS Workshop Graph Transformation and Visual Modeling Techniques~(GT-VMT'2004), 2004, (BibTeX entry).
L. Carroll, B. Tondu, C. Baron, J. C. Geffroy: UML Framework for the Design of Real-Time Robot Controllers, Proceedings Euro-Par'99 - Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August/September 1999, 1999, (BibTeX entry).
Xavier Castellani: Evaluation of Models Defined with Charts of Concepts: Application to the UML Model, Proc. CAiSE'98/IFIP 8.1 Third International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98), 1998, (BibTeX entry).
Sam Chung, Yun-Sik Lee: Reverse Software Engineering with UML for Web Site Maintenance, 10th International Database Symposium on Mobile, XML and Post-relational Databases, Hong Kong, June, 2000, 2000, (BibTeX entry).
Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems, Formal Methods for Open Object-Based Distributed Systems IV - Proc. FMOODS'2000, September, 2000, Stanford, California, USA, 2000, (BibTeX entry).
Desmond D'Souza: Types and Classes: A Language-Independent View, Journal of Object Oriented Programming, 1997, (BibTeX entry).
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: An Overview of RoZ: A Tool for Integrating UML and Z Specifications., Advanced Information Systems Engineering, 12th International
Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings., 2000, (BibTeX entry).
Alexander Egyed, Nenad Medvidovic: A Formal Approach to Heterogeneous Software Modeling, Proc. Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, 2000, (BibTeX entry).
Mohammed Elkoutbi, Rudolf K. Keller: User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets, Proc. Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 2000., 2000, (BibTeX entry).
Gregor Engels, Reiko Heckel, Stefan Sauer: UML -- A Universal Modeling Language?, Proc. Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 2000., 2000, (BibTeX entry).
Rik Eshuis, Roel Wieringa: Requirements Level Semantics for UML Statecharts, Formal Methods for Open Object-Based Distributed Systems IV - Proc. FMOODS'2000, September, 2000, Stanford, California, USA, 2000, (BibTeX entry).
Andy Evans, Tony Clark: Foundations of the Unified Modeling Language, Proc. of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1997, 1997, (BibTeX entry).
Andy Evans: Reasoning with the Unified Modeling Language, Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT'98), 1998, (BibTeX entry).
A. Felfernig, G. E. Friedrich, D. Jannach: UML as domain specific language for the construction of knowledge based configurations systems, Proc. SEKE'99 Eleventh International Conference on Software Engineering and Knowledge Engineering, 1999, (BibTeX entry).
E. B. Fernandez, Jan Jürjens: A Holistic View of Secure Systems Development: Using Patterns and UML, SEC 2002 -- 17th International Conference on Information Security, 2002, (BibTeX entry).
T. Fischer, J. Niere, L. Torunski, Albert Zündorf: Story Diagrams: A new Graph Transformation Language based on UML and Java, Proc. Theory and Application to Graph Transformations (TAGT'98), Paderborn, November, 1998, 1998, (BibTeX entry).
Stephan Flake, Wolfgang Mueller: Specification of Real-Time Properties for UML Models, Proc. 35th Annual Hawaii International Conference on System Sciences (HICSS-35), 2002, (BibTeX entry).
Stephan Flake, Wolfgang Mueller: Semantics of State-Oriented Expressions in the Object
Constraint Language, Fifteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco, CA, USA, 2003, (BibTeX entry).
Thomas Gehrke, Ursula Goltz, Heike Wehrheim: The Dynamic Models of UML: Towards a Semantics and its Application in the Development Process, Hildesheimer Informatik-Bericht 11/98, September 1998, Institut für Informatik, Universität Hildesheim, 1998, (BibTeX entry).
Leif Geiger, Albert Zündorf: Graph Based Debugging with Fujaba, Graph-Based Tools (GraBaTs 2002), October 7-8, 2002, Barcelona, Spain., 2002, (link), (BibTeX entry).
Joseph Gil, Stuart Kent: Three Dimensional Software Modeling, Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, April 19-25, 1998, Kyoto, Japan., 1998, (link), (BibTeX entry).
Martin Gogolla, Mark Richters: On Combining Semi-Formal and Formal Object Specification Techniques, Recent trends in algebraic development techniques: 12th international workshop, WADT'97, Tarquinia, Italy, June 3--7, 1997: selected papers, 1998, (BibTeX entry).
Martin Gogolla, Mark Richters: Definition von UML mit UML und OCL: Ein Überblick zum Stand der Technik, Proc. 7. GROOM-Workshop ``UML - Erweiterungen (Profile) und Konzepte der Metamodellierung'', 2000, (BibTeX entry).
Martin Gogolla, Ralf Kollmann: Re-Documentation of Java with UML Class Diagrams, Proc. 7th Reengineering Forum, Reengineering Week 2000 Zürich, 2000, (BibTeX entry).
Martin Gogolla: Graph Transformations on the UML Metamodel, Proc. ICALP Workshop Graph Transformations and Visual Modeling Techniques (GVMT'2000), 2000, (BibTeX entry).
Martin Gogolla: Formal Methods versus UML's OCL, Can Formal Methods Cope with Software-Intensive Systems, 2001, (BibTeX entry).
Martin Gogolla: Using OCL for Defining Precise, Domain-Specific UML Stereotypes, Proc. 6th Australian Workshop on Requirements Engineering (AWRE'2001), 2001, (BibTeX entry).
Martin Gogolla, Mark Richters: Development of UML Descriptions with USE, Proc. 1st Eurasian Conf. Information and Communication Technology (EURASIA'2002), 2002, (BibTeX entry).
Martin Gogolla, Paul Ziemann: Checking BART Test Scenarios with UML's Object Constraint Language, Formal Methods for Embedded Distributed Systems: How To Master The Complexity, 2004, (BibTeX entry).
M. Große-Rhode: Using a Formal Reference Model for Consistency Checking and Integration of UML Diagrams, Proc. Fifth International Conference on Integrated Design and Process Technology (IDPT'2000), June 2000, Dallas, Texas, 2000, (BibTeX entry).
Reiner Hähnle, Aarne Ranta: Connecting OCL with the Rest of the World, ETAPS 2001 Workshop on Transformations in UML (WTUML), Genova, Italy, 7th April, 2001, (link), (BibTeX entry).
Ali Hamie, John Howse, Stuart Kent: Interpreting the Object Constraint Language, Proceedings 5th Asia Pacific Software Engineering Conference (APSEC '98), December 2-4, 1998, Taipei, Taiwan, 1998, (BibTeX entry).
Ali Hamie, John Howse, Stuart Kent: Navigation Expressions in Object-Oriented Modelling, Proceedings Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, 1998, (BibTeX entry).
Ali Hamie: Enhancing the Object Constraint Language for More Expressive Specifications, Proceedings Asia Pacific Software Engineering Conference (APSEC '99), December, 1999, Takamatsu, Japan, 1999, (BibTeX entry).
Terry Halpin, Anthony Bloesch: A Comparison of UML and ORM for Data Modeling, Proc. CAiSE'98/IFIP 8.1 Third International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98), 1998, (BibTeX entry).
Terry Halpin: UML Data Models from an ORM Perspective: Part 1-5, The Journal of Conceptual Modeling, 1998, (link), (BibTeX entry).
David Harel, Bernhard Rumpe: Modeling Languages: Syntax, Semantics and All That Stuff - Part I: The Basic Stuff, Faculty of Mathematics and Computer Science, The Weizmann Institute of Science, Israel, 2000, (BibTeX entry).
Øystein Haugen: From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams, SDL 2001: Meeting UML. 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, 2001, (BibTeX entry).
J. He, Z. Liu, X. Li: A relational model for object-oriented programming, International Institute for Software Technology, the United Nations University, P.O. Box 3058, Macau, SAR, P.R. China, 2001, (BibTeX entry).
J. He, Z. Liu, X. Li: Component calculus, Proc. Proc. Workshop on Formal Aspects of Component Software (FACS'03), Satellite Workshop of FME2003, Pisa, Italy, 8-9 September, 2003, 2003, (BibTeX entry).
J. He, Z. Liu, X. Li: Towards a refinement calculus for object-oriented systems, Proc. of 1st IEEE International Conference on cognitive
Informatics (ICCI02), 2002, (BibTeX entry).
Pavel Hruby: Structuring Specification of Business Systems with UML (with an Emphasis on Workflow Management Systems), Proc. OOPSLA'98 Business Object Workshop, 1998, (link), (BibTeX entry).
Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel: Using UML for Software Process Modeling, Proc. Software Engineering - ESEC/FSE'99. 7th European Software Engineering Conference, Toulouse, France, September 1999., 1999, (BibTeX entry).
Jan Jürjens: UMLsec - Presenting the Profile, Sixth Annual Workshop On Distributed Objects and Components Security (DOCsec2002), 2002, (BibTeX entry).
Jan Jürjens: Modelling audit security for smart-card payment schemes with UMLsec, Trusted Information: The New Decade Challenge, 2001, (BibTeX entry).
Jan Jürjens: Secure Java Development with UMLsec, Advances in Network and Distributed Systems Security, 2001, (BibTeX entry).
Jan Jürjens: Using UMLsec and Goal-Trees for Secure Systems Development, Applied Computing 2002, 2002, (BibTeX entry).
Jan Jürjens: A UML statecharts semantics with message-passing, Applied Computing 2002, 2002, (BibTeX entry).
Jan Jürjens: Formal Semantics for Interacting UML subsystems, 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), 2002, (BibTeX entry).
Jan Jürjens: Developing Secure Systems with UMLsec: From Business Processes to Implementation, Verlässliche IT-Systeme 2001 - Sicherheit in komplexen IT-Infrastrukturen, 2001, (BibTeX entry).
Jan Jürjens: Transformations for Introducing Patterns -- A Secure Systems Case Study, WTUML: Workshop on Transformations in UML (ETAPS 2001 Satellite Event), 2001, (BibTeX entry).
Jan Jürjens: Formal Development and Verification of Security-Critical Systems with UML, AVoCS'01 - Workshop on Automated Verification of Critical Systems, 2001, (BibTeX entry).
Rauli Kaksonen, Petri Mähönen: Object Modeling of Cryptographic Algorithms with UML, Proceedings Information Security and Privacy, Third Australasian Conference, ACISP'98, Brisbane, Australia, July, 1998, 1998, (BibTeX entry).
Branko Katalinic, Sabri Pllana, Berislav Ljoljic: Modeling Flexible Manufacturing Systems with UML, Annals of DAAAM International for 2001 & Proceedings of the 12th International DAAAM Symposium, Jena, Germany, 2001, (link), (BibTeX entry).
Rudolf K. Keller, Jean-François Bédard, Guy Saint-Denis: Design and Implementation of a UML-Based Design Repository, Advanced Information Systems Engineering. 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, 2001, (BibTeX entry).
Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim: Techniques for Systematically Generating Framework Diagram based on UML, Proceedings 5th Asia Pacific Software Engineering Conference (APSEC '98), December 2-4, 1998, Taipei, Taiwan, 1998, (BibTeX entry).
Ralf Kollmann, Martin Gogolla: Capturing Dynamic Program Behaviour with UML Collaboration Diagrams, Proc. 5th European Conf. Software Maintenance and Reengineering (CSMR'01), 2001, (BibTeX entry).
Ralf Kollmann, Martin Gogolla: Application of the UML Associations and Their Adornments in Design Recovery, Proc. 8th Working Conference on Reverse Engineering (WCRE'2001), 2001, (BibTeX entry).
Ralf Kollmann, Martin Gogolla: Metric-Based Selective Representation of UML Diagrams, Proc. 6th European Conf. Software Maintenance and Reengineering (CSMR'02), 2002, (BibTeX entry).
Ludwik Kuzniarz, Maciej Piasecki: Modelling Multimedia Presentation in UML, Proc. 10th European-Japanese Conference on Information Modelling and Knowledge Bases, Saariselkä (Finland), 2000, 2000, (BibTeX entry).
Regine Laleau, Fiona Polack: A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems, Advanced Information Systems Engineering. 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, 2001, (BibTeX entry).
Diego Latella, Istvan Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams, Proc. FMOODS'99, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18, 1999, 1999, (BibTeX entry).
X. Li, Z. Liu, Z. Guo: Formal object-oriented analysis and design of an online ticketing system, The proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC2001), 2001, (BibTeX entry).
X. Li, Z. Liu, J. He: Formal and use-case driven requirement analysis in UML, The proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC2001), 2001, (BibTeX entry).
X. Li, Z. Liu, J. He: A formal semantics of UML sequence diagrams, Proc. of Australian Software Engineering Conference (ASWEC'2004), 13-16 April 2004, 2004, (BibTeX entry).
Arne Lindow, Martin Gogolla: Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke, DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, 2004, (BibTeX entry).
Z. Liu, J. He, X. Li: Toward a formal use of UML for software requirement analysis, The Proceedings of PDPTA'2001 International Conference, 2001, (BibTeX entry).
Z. Liu, X. Li, J. He: Using Transition Systems to Unify UML Models, The Proceedings of 4th International Conference on Formal Engineering Methods (ICFEM2002), 2003, (BibTeX entry).
Z. Liu, J. He, X. Li, Y. Chen: A relational model for formal object-oriented requirement analysis in UML, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods(ICFEM2003), 2003, (BibTeX entry).
J. Liu, Z. Liu, J. He, X. Li: Linking UML models of design and requirement, Proc. of Australian Software Engineering Conference (ASWEC'2004), 13-16 April 2004, 2004, (BibTeX entry).
Z. Liu, J. He, X. Li, Y. Liu: Unifying views of UML, Proc. of UML 2003 Workshop on Compositional Verification of UML, 2003, (BibTeX entry).
Leszek Maciaszek: UML Dialect for Designing Object-Relational Databases, Challenges of Information Technology Management in the 21st Century, 2000, (BibTeX entry).
Luis Mandel, María Victoria Cengarle: On the Expressive Power of OCL, FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume I, 1999, (link), (BibTeX entry).
F. Matejka, A. Schwald: Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts, Proc. Informatik'98, 28. Jahrestagung der Gesellschaft für Informatik, 21. - 25. September 1998, Magdeburg, 1998, (BibTeX entry).
William E. McUmber, Betty H. C. Cheng: A General Framework for Formalizing UML with Formal Languages, Proceedings of IEEE International Conference on Software Engineering (ICSE01), 2001, (BibTeX entry).
Katharina Mehner, Annika Wagner: Visualisierung der Synchronisation von Java-Threads mit UML, Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik. Beiträge des Workshops ``Modellierung 2000'', St. Goar, 5. - 7. April 2000., 2000, (BibTeX entry).
Tom Mens, T. D'Hondt: Automating support for software evolution in UML, Automated Software Engineering Journal, 2000, (BibTeX entry).
Darmalingum Muthiayen: Real-Time Reactive System Development - A Formal Approach Based on UML and PVS, Department of Computer Science at Concordia University, Montreal, Canada, 2000, (BibTeX entry).
Julian Ober, Ileana Stan: On the Concurrent Object Model of UML, Proceedings Euro-Par'99 - Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August/September 1999, 1999, (BibTeX entry).
Ian Oliver, Stuart Kent: Validation of Object-Oriented Models using Animation, Proceedings of EuroMicro'99, Milan, Italy, 1999, (link), (BibTeX entry).
Ian Oliver: 'Executing' the OCL, Proceedings of the ECOOP'99 Workshop for PhD Students in OO Systems (PhDOOS '99), 1999, (link), (BibTeX entry).
Gunnar Övergaard: Formal Specification of Object-Oriented Meta-Modelling, Proc. Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, 2000, (BibTeX entry).
Richard F. Paige, Jonathan S. Ostroff: Developing BON as an Industrial-Strength Formal Method, FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume I, 1999, (link), (BibTeX entry).
Dorina C. Petriu, X. Wang: From UML Description of High-level Software Architecture to LQN Performance Models, Proc. Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September, 1999, 2000, (pdf), (BibTeX entry).
Jörg Pleumann: Erfahrungen mit dem multimedialen, didaktischen Modellierungswerkzeug DAVE, DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, 2004, (BibTeX entry).
C. Pronk, M. Schönhacker: Constructing formal language definitions, can we manage? What can we learn from Modula-2 standardization?, Computer Standards & Interfaces, 1998, (BibTeX entry).
Oliver Radfelder, Martin Gogolla: On Better Understanding UML Diagrams through Interactive Three-Dimensional Visualization and Animation, Proc. Advanced Visual Interfaces (AVI'2000), 2000, (BibTeX entry).
Sita Ramakrishnan, John McGregor: Extending OCL to Support Temporal Operators, Proceedings of the 21st International Conference on Software Engineering (ICSE99) Workshop on Testing Distributed Component-Based Systems, LA, May 16 - 22, 1999, 1999, (BibTeX entry).
Josep M. Ribo, Xavier Franch: Building Expressive and Flexible Process Models Using a UML-Based Approach, 8th European Workshop, EWSPT 2001, Witten, Germany, June, 19-21, 2001, Proceedings, 2001, (BibTeX entry).
Mark Richters, Martin Gogolla: On Formalizing the UML Object Constraint Language OCL, Proc. 17th Int. Conf. Conceptual Modeling (ER'98), 1998, (BibTeX entry).
Mark Richters, Martin Gogolla: On the Need for a Precise OCL Semantics, Proc. OOPSLA Workshop ``Rigorous Modeling and Analysis with the UML: Challenges and Limitations'', 1999, (BibTeX entry).
Mark Richters, Martin Gogolla: Validierung von UML-Modellen und OCL-Bedingungen, Proc. GI'2000 Workshop Rigorose Entwicklung software-intensiver Systeme, 2000, (BibTeX entry).
Mark Richters: A Precise Approach to Validating UML Models and OCL Constraints, Universität Bremen, 2002, (BibTeX entry).
N. Ritter, H.-P. Steiert: Enforcing Modeling Guidelines in an ORDBMS-based UML-Repository, Challenges of Information Technology Management in the 21st Century, 2000, (BibTeX entry).
Jin Sa, Brian Warboys, Mark Greenwood, Ian Robertson: Modeling a Support Framework for Dynamic Organizations as a Process Pattern Using UML, 8th European Workshop, EWSPT 2001, Witten, Germany, June, 19-21, 2001, Proceedings, 2001, (BibTeX entry).
Stefan Sauer, Gregor Engels: UML-basierte Modellierung von Multimediaanwendungen, Proc. Modellierung'99, March 10-12, 1999, Karlsruhe, Germany, 1999, (BibTeX entry).
Wilhelm Schäfer, Albert Zündorf: Round-Trip Engineering with Design Patterns, UML, Java and C++, Proceedings of the 1999 International Conference on Software Engineering (ICSE), Los Angeles, USA, 1999, (BibTeX entry).
Klaus-Dieter Schewe: UML: A Modern Dinosaur? A Critical Analysis of the Unified Modelling Language, Proc. 10th European-Japanese Conference on Information Modelling and Knowledge Bases, Saariselkä (Finland), 2000, 2000, (BibTeX entry).
Andy Schürr, Andreas Winter: UML Packages for Programmed Graph Rewriting Systems, Proc. Sixth International Workshop on Theory and Application of Graph Transformations (TAGT'98), 1998, (BibTeX entry).
Jochen Seemann: Extending the Sugiyama Algorithm for Drawing UML Class Diagrams: Towards Automatic Layout of Object-Oriented Software Diagrams, Proc. Graph Drawing, 5th International Symposium, GD '97, Rome, Italy, September, 1997, 1997, (BibTeX entry).
Paulo Pinheiro da Silva, Norman W. Paton: User Interface Modelling with UML, Proc. 10th European-Japanese Conference on Information Modelling and Knowledge Bases, Saariselkä (Finland), 2000, 2000, (BibTeX entry).
Paulo Pinheiro da Silva, Norman W. Paton: A UML-Based Design Environment for Interactive Applications, Proceedings of 2nd International Workshop on User Interfaces to Data Intensive Systems, 2001, (BibTeX entry).
Paulo Pinheiro da Silva: A Proposal for a LOTOS-Based Semantics for UML, Department of Computer Science, University of Manchester, 2001, (BibTeX entry).
K. Siau, Q. Cao: Unified Modeling Language: A Complexity Analysis, Journal of Database Management, 2001, (BibTeX entry).
Friedrich Steimann: Eine Grundlegung des Rollenbegriffs für die objektorientierte Modellierung, Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik. Beiträge des Workshops ``Modellierung 2000'', St. Goar, 5. - 7. April 2000., 2000, (BibTeX entry).
Harald Störrle: Describing Process Patterns with UML, 8th European Workshop, EWSPT 2001, Witten, Germany, June, 19-21, 2001, Proceedings, 2001, (BibTeX entry).
Marianthi Svinterikou, Babis Theodoulidis: TUML: A Method for Modelling Temporal Information Systems, Proceedings Advanced Information Systems Engineering, 11th International Conference, CAiSE'99, Heidelberg, Germany, June, 1999, 1999, (BibTeX entry).
Tarja Systä: Automated Support for Constructing OMT Scenarios and State Diagrams in SCED, Department of Computer Science, University of Tampere, 1997, (BibTeX entry).
A. Tsiolakis, H. Ehrig: Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars, Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Berlin, March 2000, 2000, (BibTeX entry).
U. Uzun: Towards Distributed Object Design, Research Report, Department of Computer Science, University of Warwick, 1998, (link), (BibTeX entry).
Dániel Varró: A Formal Semantics of UML Statecharts by Model Transition Systems, Graph Transformation. First International Conference, ICGT 2002, Barcelona, Spain, October 2002, Proceedings, 2002, (BibTeX entry).
Dunja Winkens: Variationsmöglichkeiten bei der Transformation von UML-Basiskonzepten in Dokumenttypdefinitionen, Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik. Beiträge des Workshops ``Modellierung 2000'', St. Goar, 5. - 7. April 2000., 2000, (BibTeX entry).
Guido Wirtz, Mathias Weske, Holger Giese: Extending UML with Workflow Modeling Capabilities, Cooperative Information Systems, 7th International Conference, CoopIS 200, Eilat, Israel, September 6-8, 2000, Proceedings, 2000, (BibTeX entry).
Paul Ziemann, Martin Gogolla: Validating OCL Specifications with the USE Tool - An Example Based on the BART Case Study, Proc. 8th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS'2003), 2003, (BibTeX entry).
Paul Ziemann, Karsten Hölscher, Martin Gogolla: Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations, Proc. of the Brazilian Symposium on Formal Methods (SBMF 2004), 2005, (BibTeX entry).