Sharp retrenchment, modulated refinement and simulation

DOI10.1007/S001650050056MaRDI QIDQ1977124zbMATH OpenOpenAlexFDO

Authors M. Poppleton, Richard Banach

Publication date 9 May 2000

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

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

zbMATH Keywords

B-Methodsharp retrenchment

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1487747
• Engineering and theoretical underpinnings of retrenchment
• scientific article; zbMATH DE number 2086962
• Retrenchment and refinement interworking: the tower theorems
• Composition mechanisms for retrenchment

Cited in

(7)

• scientific article; zbMATH DE number 2013583 (Why is no real title available?)
• scientific article; zbMATH DE number 2079994 (Why is no real title available?)
• scientific article; zbMATH DE number 1487747 (Why is no real title available?)
• Abstraction, refinement, enrichment
• scientific article; zbMATH DE number 6411877 (Why is no real title available?)
• Stronger compositions for retrenchments
• Engineering and theoretical underpinnings of retrenchment

This page was built for publication: Sharp retrenchment, modulated refinement and simulation

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