Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists?

Toronto, Canada, October 1st, 2001 (Conference Home)

• Scott W. Ambler: Agile Modeling: A Brief Overview, p. 7-11, (BibTeX entry).
• Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama: An Axiomatic Formalization of UML Models, p. 13-28, (BibTeX entry).
• Dag Bjoerklund, Johan Lilius, Ivan Porres: Towards Efficient Code Synthesis from Statecharts, p. 29-41, (BibTeX entry).
• Lydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel: Conformance Testing from UML Specifications Experience Report, p. 43-55, (BibTeX entry).
• Dan Chiorean: Using OCL beyond specifications, p. 57-68, (BibTeX entry).
• Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik: Designing Procedural 4GL Applications through UML Modeling, p. 69-85, (BibTeX entry).
• Remco. M. Dijkman, Luís Pires, Stef M. M. Joosten: Calculating with Concepts: a Technique for the Development of Business Process Support, p. 87-98, (BibTeX entry).
• Zhijiang Dong, Xudong He: Integrating UML Statecharts and Collaboration Diagrams Using Hierarchical Predicate Transition Nets, p. 99-112, (BibTeX entry).
• Liliana M. Favre: A Formal Mapping between UML Static Models and Algebraic Specifications, p. 113-127, (BibTeX entry).
• Geri Georg, James Bieman, Robert B. France: Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study, p. 128-141, (BibTeX entry).
• Jan Hendrik Hausmann, Jochen Malte Küster, Stefan Sauer: Identifying Semantic Dimensions of (UML) Sequence Diagrams, p. 142-157, (BibTeX entry).
• Rolf Hennicker, Nora Koch: Modeling the User Interface of Web Applications with UML, p. 158-172, (BibTeX entry).
• Piotr Kosiuczenko: Formal Redesign of UML Class Diagrams, p. 174-190, (BibTeX entry).
• Richard Paige, Jonathan Ostroff: A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems, p. 192-206, (BibTeX entry).
• Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray: A UML-integrated test description language for component testing, p. 208-223, (BibTeX entry).
• Jeffrey Smith, Mieczyslaw K. Kokar, Kenneth Baclawsi: Formal Verification of UML Diagrams: A First Step Towards Code Generation, p. 224-240, (BibTeX entry).
• Thomas Stauner, Alexander Pretschner, István Péter: Approaching a Discrete-Continous UML: Tool Support and Formalization, p. 242-257, (BibTeX entry).
• Ray Trask, Robert B. France: RIGR - A Repository Model Based Approach to Management, p. 258-269, (BibTeX entry).
• Clay E. Williams: Toward a Test-Ready Meta-model for Use Cases, p. 270-287, (BibTeX entry).
• Alan Cameron Wills: Catalytic modeling: UML meets XP, p. 288-306, (BibTeX entry).
• Marko Boger, Thorsten Sturm: Tool-support for Model-Driven Software Engineering, p. 307-318, (BibTeX entry).

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.