 |
|
|
International Workshop PMD'01 |
PMD'01
Precise Modelling and Deduction for Object-oriented
Software Development
Proceedings
Complete proceedings in a single fileThe 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