PMD'01
Precise Modelling and Deduction for Object-oriented Software Development

Proceedings

The papers in separate files:

• Preface
• Johann Schumann and Jon Whittle:
  Automatic Synthesis of UML Designs from Requirements in an Iterative Process
• Bernhard Beckert and Bettina Sasse:
  Handling Java's Abrupt Termination in a Sequent Calculus for Dynamic Logic
• Andrea Cali, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini:
  Reasoning on UML Class Diagrams in Description Logics
• David Crocker:
  Development of Formally Verified Object-Oriented Systems with Perfect Developer
• Jörg Meyer and Arnd Poetzsch-Heffter:
  Towards Verifiable Specifications of Object-oriented Frameworks
• Peter H. Schmitt:
  A Model Theoretic Semantics of OCL