Specification statements and refinement

DOI10.1147/rd.315.0546zbMath0629.68007OpenAlexW2086869884MaRDI QIDQ3766811

Ken Robinson, Carroll Morgan

Publication date: 1987

Published in: IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1147/rd.315.0546

zbMATH Keywords

VDMfirst-order predicate calculuspredicatescalculus of refinementdevelopment methoddirectly executable operations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Data refinement of predicate transformers

This page was built for publication: Specification statements and refinement