Practical UML-based rigorous development methods - countering or integrating the extremists, workshop of the puml-group held together with the UML 2001, October 1st, 2001 in Toronto, Canada.

GI, Gesellschaft für Informatik, Bonn
2001

Contents

Articles

• Scott W. Ambler
  Agile modeling: A brief overview
  Pages: 7-11... Full Text
• Tashiaki Aoki, Takaaki Tateishi, Takuya Katayama
  An axiomatic formalization of UML models
  Pages: 13-28... Full Text
• Dag Björklund, Johan Lilius, Ivan Porres
  Towards efficient code synthesis from statecharts
  Pages: 29-41... Full Text
• Lydie Bousquet, Hugues Martin, Jean-Marc Jézéquel
  Conformance testing from UML specifications. Experience report
  Pages: 43-55... Full Text
• Dan Chiorean
  Using OCL beyond specifications
  Pages: 57-68... Full Text
• Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik
  Designing procedural 4GL applications through UML modeling
  Pages: 69-85... Full Text
• Remco M. Dijkman, Luis Pires, Stef Joosten
  Calculating with concepts: A technique for the development of business process support
  Pages: 87-98... Full Text
• Zhijiong Dong, Xudong He
  Integrating UML statechart and collaboration diagrams using hierarchicalpredicate transition nets
  Pages: 99-112... Full Text
• Liliano Favre
  A formal mapping between UML static models and algebraic specifications
  Pages: 113-127... Full Text
• Geri Georg, Jores Bieman, Robert B. France
  Using alloy and UML/OCL to specify run-time configuration management:A case study
  Pages: 128-141... Full Text
• Jan Hausmann, Jochen Malte Küster, Stefan Sauer
  Identifying semantic dimensions of (UML) sequence diagrams
  Pages: 142-157... Full Text
• Rolf Hennicker, Nora Koch
  Modeling the user interface of web applications with UML
  Pages: 158-172... Full Text
• Piotr Kosiuczenko
  Formal redesign of UML class diagrams
  Pages: 174-190... Full Text
• Richard F. Paige, Jonathan Ostroff
  A proposal for a lightweight rigorous UML-based development method for reliable systems
  Pages: 192-206... Full Text
• Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
  A UML-integrated test description language for component testing
  Pages: 208-223... Full Text
• Jeffrey E. Smith, Mieczyslaw K. Kokar, Kenneth Baclawski
  Formal verification of UML diagrams: A first step towards code generation
  Pages: 224-240
• Thomas Stauner, Alexander Pretschner, Istran Péter
  Approaching a discrete-continuous UML: Tool support and formalization
  Pages: 242-257... Full Text
• Ray Trask, Robert France
  RIGR - A repository model based approach to management
  Pages: 258-269... Full Text
• Clay E. Williams
  Toward a test-ready meta-model for use cases
  Pages: 270-287... Full Text
• Alan Cameron Wills
  Catalytic modeling: UML meets XP
  Pages: 288-306... Full Text
• Marko Boger, Thorsten Sturm
  Tool-support for model-driven software engineering
  Pages: 307-318... Full Text

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-335-0