Object-oriented software reusability through formal specifications

L. M. Favre, G. M. Diez. Object-oriented software reusability through formal specifications. In R. Nigel Horspool, editor, Systems Implementation 2000, IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, methods and tools, 23-26 February 1998, Berlin, Germay. Volume 117 of IFIP Conference Proceedings, pages 235-248, Chapman & Hall, 1998.

Abstract

Abstract is missing.