| 
|
Quote: each class and routine in an Eiffel library is formally specified with preconditions, postconditions, and invariants
topics >
all references >
references m-o >
Topic:
object-oriented classes
Topic:
requirement specification by assertion
Quotation Skeleton
Perhaps the most immediately visible aspect of the … and class. [includes preconditions, postconditions, and invariants] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: object-oriented classes (66 items)
Topic: requirement specification by assertion (28 items)