Abstract is missing.
- Agile Modeling: A Brief OverviewScott W. Ambler. 7-11
- An Axiomatic Formalization of UML ModelsToshiaki Aoki, Takaaki Tateishi, Takuya Katayama. 13-28
- Towards Efficient Code Synthesis from StatechartsDag Björklund, Johan Lilius, Ivan Porres. 29-41
- Conformance Testing from UML Specifications. Experience ReportLydie du Bousquet, Hugues Martin, Jean-Marc Jézéquel. 43-55
- Using OCL Beyond SpecificationsDan Chiorean. 57-68
- Designing Procedural 4GL Applications through UML ModelingShiri Davidson, Mila Keren, Sara Porat, Gabi Zodik. 69-85
- Calculating with Concepts: a Technique for the Development of Business Process SupportRemco M. Dijkman, Luís Ferreira Pires, Stef Joosten. 87-98
- Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition NetsZhijiang Dong, Xudong He. 99-112
- A Formal Mapping between UML Static Models and Algebraic SpecificationsLiliana Favre. 113-127
- Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case StudyGeri Georg, Jores Bieman, Robert B. France. 128-141
- Identifying Semantic Dimensions of (UML) Sequence DiagramsJan Hendrik Hausmann, Jochen Malte Küster, Stefan Sauer. 142-157
- Modeling the User Interface of Web Applications with UMLRolf Hennicker, Nora Koch. 158-172
- Formal Redesign of UML Class DiagramsPiotr Kosiuczenko. 174-190
- A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable SystemsRichard F. Paige, Jonathan S. Ostroff. 192-206
- A UML-integrated Test Description Language for Component TestingSimon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray. 208-223
- Formal Verification of UML Diagrams: A First Step Towards Code GenerationJeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski. 224-240
- Approaching a Discrete-Continuous UML: Tool Support and FormalizationThomas Stauner, Alexander Pretschner, Istran Péter. 242-257
- RIGR - A Repository Model Based Approach to ManagementRay Trask, Robert B. France. 258-269
- Towards a Test-Ready Meta-model for Use CasesClay E. Williams. 270-287
- Catalytic Modeling: UML meets XPAlan Wills. 288-306
- Tool-support for Model-Driven Software EngineeringMarko Boger, Thorsten Sturm. 307-318