pUML 2001: Toronto, Ontario, Canada

Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe (Eds.): 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. LNI 7 GI 2001, ISBN 3-88579-335-0 BibTeX

@proceedings{DBLP:conf/uml/2001p,
  editor    = {Andy Evans and
               Robert B. France and
               Ana M. D. Moreira and
               Bernhard Rumpe},
  title     = {Practical UML-Based Rigorous Development Methods - Countering
               or Integrating the eXtremists, Workshop of the pUML-Group held
               together with the UML2001, October 1st, 2001 in Toronto,
               Canada},
  booktitle = {pUML},
  publisher = {GI},
  series    = {LNI},
  volume    = {7},
  year      = {2001},
  isbn      = {3-88579-335-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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