Refinement and the Z schema calculus

MaRDI QIDQ2844821zbMATH OpenFDO

Authors Lindsay Groves

Publication date 19 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105804864

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• ZB 2005: Formal Specification and Development in Z and B
• scientific article; zbMATH DE number 2013579
• A calculus for schemas in Z
• ZRC -- A refinement calculus for Z
• A logic for schema-based program development

Cited in

(8)

• A calculus for schemas in Z
• BGSL: an imperative language for specification and refinement of backtracking programs
• A single complete relational rule for coalgebraic refinement
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2013579 (Why is no real title available?)
• scientific article; zbMATH DE number 2086954 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B
• Determinism of multirelations

This page was built for publication: Refinement and the Z schema calculus

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