Papers

FME '94: Industrial Benefit of Formal Methods

Volume 873 of the series Lecture Notes in Computer Science pp 134-153

Date:

Towards a formalization of programming-by-difference

  • I. MaungAffiliated withDepartments of Computing and Mathematical Sciences, University of Brighton
  • , J. R. HowseAffiliated withDepartments of Computing and Mathematical Sciences, University of Brighton
  • , R. J. MitchellAffiliated withDepartments of Computing and Mathematical Sciences, University of Brighton

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Programming-by-difference is a popular technique for incremental object-oriented programming, whereby a new class is built from an existing class using the inheritance mechanism. We give a formalization of this technique using model-based class specifications. This formalization is given in terms of a relation, as-a, between class specifications. We compare this relation with the established reification relation and with the is-a relation, and give some examples.

Keywords

inheritance incremental programming design-by-contract subtype contravariance