Implementing specification freedoms

DOI10.1016/0167-6423(82)90010-7MaRDI QIDQ1170876zbMATH OpenOpenAlexFDO

Authors Philip E. London, Martin S. Feather

Publication date 1982

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(82)90010-7

zbMATH Keywords

implementationformal specificationsconstructscorrectness-preserving transformationshigh-level specification constructsreliable software

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Operational specification with joint actions: Serializable databases

This page was built for publication: Implementing specification freedoms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1170876)