Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001

Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 (Conference Home)

Tony Clark, Andy Evans, Stuart Kent: The Metamodelling Language Calculus: Foundation Semantics for UML, p. 17-31, (BibTeX entry).
Rik Eshuis, Roel Wieringa: A Real-Time Execution Semantics for UML Activity Diagrams, p. 76-90, (BibTeX entry).
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim: A CSP View on UML-RT Structure Diagrams, p. 91-108, (BibTeX entry).
Reiko Heckel, Stefan Sauer: Strengthening UML Collaboration Diagrams by State Transformations, p. 109-123, (BibTeX entry).
Christine Choppy, Pascal Poizat, Jean-Claude Royer: Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation, p. 124-139, (BibTeX entry).
Perdita Stevens: On Use Cases and Their Relationships in the Unified Modelling Language, p. 140-155, (BibTeX entry).
Francis Bordeleau, Jean-Pierre Corriveau: On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design, p. 156-170, (BibTeX entry).
Gianna Reggio, Maura Cerioli, Egidio Astesiano: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach, p. 171-186, (BibTeX entry).
Jan Jürjens: Towards Development of Secure Systems Using UMLsec, p. 187-200, (BibTeX entry).
Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models, p. 300-317, (BibTeX entry).