| 
|
Quote: a redefined Eiffel feature must include an equal or weaker precondition and an equal or stronger postcondition; satisfies contract
topics >
all references >
references m-o >
Topic:
object-oriented classes
Topic:
type inheritance as reuse
Quotation Skeleton
The specification of a redefined feature [in Eiffel] must remain compatible with that of the original by including … version is a subcontractor to the initial version; … [of the module] and subcontractor are subject to the terms of the original … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: object-oriented classes (66 items)
Topic: type inheritance as reuse (27 items)