Stronger compositions for retrenchments

DOI10.1016/J.JLAP.2009.10.002zbMATH Open1209.68131OpenAlexW2003371912MaRDI QIDQ974130FDOQ974130

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

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

zbMATH Keywords

compositionassociativityretrenchment

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Data Refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Engineering and theoretical underpinnings of retrenchment
• Composition mechanisms for retrenchment
• FM 2005: Formal Methods
• Retrenchment and refinement interworking: the tower theorems
• On regularity in software design
• Regular relations and bicartesian squares
• Simple feature engineering via neat default retrenchments

Cited In (3)

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

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)