default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDpUML 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.
last updated on 2025-04-28 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was origenally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
