Stronger compositions for retrenchments

DOI10.1016/J.JLAP.2009.10.002MaRDI QIDQ974130zbMATH OpenOpenAlexFDO

Authors C. Jeske, Richard Banach

Publication date 27 May 2010

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2009.10.002

zbMATH Keywords

compositionassociativityretrenchment

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• Composition mechanisms for retrenchment
• Data Refinement
• Engineering and theoretical underpinnings of retrenchment
• FM 2005: Formal Methods
• On regularity in software design
• Regular relations and bicartesian squares
• Retrenchment and refinement interworking: the tower theorems
• Simple feature engineering via neat default retrenchments

Cited in

(3)

• Composition mechanisms for retrenchment
• Retrenchment and refinement interworking: the tower theorems
• Simple feature engineering via neat default retrenchments

This page was built for publication: Stronger compositions for retrenchments

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