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

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