A program refinement tool

DOI10.1007/S001650050006MaRDI QIDQ1272759zbMATH OpenOpenAlexFDO

Authors K. Appert, D. A. Carrington, Ian Hayes, Ray Nickson, James S. Welsh, G. Watson

Publication date 3 January 1999

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650050006

zbMATH Keywords

software development

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• The refinement calculator: Proof support for program refinement
• scientific article; zbMATH DE number 177257
• scientific article; zbMATH DE number 177527

Cited in

(33)

• Mechanizing some advanced refinement concepts
• Supporting contexts in program refinement
• On the desirability of mechanizing calculational proofs
• The automated refinement of a requirements domain theory
• ERC -- an object-oriented refinement calculus for Eiffel
• Stepwise refinement of heap-manipulating code in Chalice
• Refinement calculus: A basis for translation validation, debugging and certification
• Assumption propagation through annotated programs
• Cocktail: A tool for deriving correct programs
• Designware: Software development by refinement
• Generic tools via general refinement
• A graph-based implementation for mechanized refinement calculus of OO programs
• scientific article; zbMATH DE number 2177628 (Why is no real title available?)
• A refinement methodology for object-oriented programs
• Refinement trees: calculi, tools, and applications
• scientific article; zbMATH DE number 3951983 (Why is no real title available?)
• scientific article; zbMATH DE number 177257 (Why is no real title available?)
• scientific article; zbMATH DE number 177527 (Why is no real title available?)
• Adapting program derivations using program conjunction
• Mechanised support for sound refinement tactics
• The refinement calculator: Proof support for program refinement
• Supporting data refinement in a program refinement tool
• A tool for logic program refinement (extended abstract)
• An editor for refinement structure diagrams (extended abstract)
• Unifying program construction and modification
• scientific article; zbMATH DE number 1497802 (Why is no real title available?)
• scientific article; zbMATH DE number 756076 (Why is no real title available?)
• Computer-aided development of a real-time program
• scientific article; zbMATH DE number 1390335 (Why is no real title available?)
• A tactic language for refinement of state-rich concurrent specifications
• Combining top-down and bottom-up techniques in program derivation
• Program derivation using the refinement calculator
• The variety of variables in automated real-time refinement

This page was built for publication: A program refinement tool

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