Towards An Object-Oriented Methodology for Deductive Synthesis of Logic Programs Kung-Kiu Lau Fachgebiet Intellektik, Fachbereich Informatik Technische Hochschule Darmstadt Alexanderstr. 10, D-64283 Darmstadt, Germany (On leave from Department of Computer Science, University of Manchester Oxford Road, Manchester M13 9PL, United Kingdom) lau@intellektik.informatik.th-darmstadt.de (kung-kiu@cs.man.ac.uk) Mario Ornaghi Dipartimento di Scienze dell'Informazione Universita' degli studi di Milano, Via Comelico 39/41, Milano, Italy ornaghi@dsi.unimi.it Abstract: Quality software must be reusable, extensible, and reliable. Object-oriented programming purports to achieve these attributes by the use of classes and inheritance (informally). In this paper, we show how our existing approach to deductive synthesis of logic programs can serve as the basis for an object-orientred methodology for formal program development that achieves reusability, extensibility and correctness (formally).