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