scientific article; zbMATH DE number 177257

MaRDI QIDQ4037113zbMATH OpenFDO

Authors D. A. Carrington, K. A. Robinson

Publication date 18 May 1993

zbMATH Keywords

refinement of specificationssoftware development

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 177527
• scientific article; zbMATH DE number 1104390
• A program refinement tool
• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 1104377

Cited in

(10)

• A program refinement tool
• Designware: Software development by refinement
• From proposition to program. Embedding the refinement calculus in Coq
• Refinement of structured interactive systems
• scientific article; zbMATH DE number 177527 (Why is no real title available?)
• scientific article; zbMATH DE number 1104377 (Why is no real title available?)
• scientific article; zbMATH DE number 1104385 (Why is no real title available?)
• scientific article; zbMATH DE number 1104396 (Why is no real title available?)
• A formal software development approach using refinement calculus
• Program derivation using the refinement calculator

This page was built for publication:

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