Software Construction, 2^nd edition, Prentice Hall, 1997

Bertrand Meyer, O. (1997). Software Construction, 2nd edition, Prentice Hall, 1997. Prentice Hall.

Type

Book

Intellectual base

Textbook

Year

1997

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Postcondition
  • … from A canonical instance directly demonstrates that for every execution admitted by the precondition and semantics that terminates normally, the resulting state satisfies the stated predicate. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:b4a447635a21 · see in the full table