Leavens, Gary T. (1993) Inheritance of Interface Specifications. Technical Report TR93-23, Department of Computer Science, Iowa State University.
Inheritance of Interface Specifications
Gary T. Leavens
Department of Computer Science, Iowa State University
229 Atanasoff Hall, Ames Iowa 50011-1040 USA
Four alternatives for the semantics of inheritance of specifications
are discussed. The information loss and frame axiom problems
for inherited specifications are also considered.
Contact site administrator at: firstname.lastname@example.org