Formal program development with approximations

DOI10.1007/11415787_22MaRDI QIDQ5703814zbMATH OpenOpenAlexFDO

Authors John Derrick, Eerke Boiten

Publication date 10 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b135596, https://kar.kent.ac.uk/14341/1/FormalProgram.pdf

zbMATH Keywords

approximationsmetric spacesRefinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 194510
• Approximation of abstract semantics by formal models of programs
• A formal software development approach using refinement calculus
• Approximation logic of programs
• scientific article; zbMATH DE number 3995031
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Formal development and verification of approximation algorithms using auxiliary variables
• scientific article; zbMATH DE number 877748
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(2)

• General refinement. II: Flexible refinement
• Formal development and verification of approximation algorithms using auxiliary variables

This page was built for publication: Formal program development with approximations

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