


default search action
pUML 2001: Toronto, Ontario, Canada
- Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe:

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 P-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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














