pUML

Keyphrases

Publications

2001

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