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