Object-Oriented Software Construction

Meyer, B. (1997). Object-Oriented Software Construction. Prentice Hall.

Type

Book

Intellectual base

Textbook

Year

1997

Link

https://bertrandmeyer.com/wp-content/upLoads/OOSC2.pdf

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Command–query separation
  • Command–query separation is a design principle requiring each method either to change state as a command or return information as a query that causes no observable state change, but not both.

Mechanisms

• Interface Contract Design
  • A real anchor grounds the discipline: design by contract, where preconditions, postconditions, and invariants form an explicit agreement between caller and provider.

    This sourceDefines Design by Contract through caller preconditions, provider postconditions, and invariants.

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.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://bertrandmeyer.com/oosc2/ ×1

Registry ID ref:de8dcc2caacc · see in the full table