Programming from Specifications¶
Morgan, C. (1990). Programming from Specifications. Prentice Hall.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Refinement
- Iteration is the mechanism (repeating a cycle); refinement is the purpose (improvement through feedback), a distinction Morgan (1990) makes precise in deriving programs from specifications via successive refinement steps.
This sourceDevelops a refinement calculus in which programs are derived from specifications through a sequence of formally justified refinement steps; sharply separates refinement (purposeful, correctness-preserving) from mere iteration.
- Iteration is the mechanism (repeating a cycle); refinement is the purpose (improvement through feedback), a distinction Morgan (1990) makes precise in deriving programs from specifications via successive refinement steps.
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:04a8d0ab0c95 · see in the full table