Simple feature engineering via neat default retrenchments

DOI10.1016/J.JLAP.2010.12.001MaRDI QIDQ649587zbMATH OpenOpenAlexFDO

Authors C. Jeske, Richard Banach

Publication date 2 December 2011

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.2010.12.001

zbMATH Keywords

feature engineeringretrenchmentneat and default retrenchment

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 2080000 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3424017 (Why is no real title available?)
• Composition mechanisms for retrenchment
• Data Refinement
• Engineering and theoretical underpinnings of retrenchment
• FM 2005: Formal Methods
• Modeling in Event B. System and software engineering.
• On regularity in software design
• Regular relations and bicartesian squares
• Retrenchment and refinement interworking: the tower theorems
• Stronger compositions for retrenchments
• Superposition refinement of reactive systems

Cited in

(1)

• Stronger compositions for retrenchments

This page was built for publication: Simple feature engineering via neat default retrenchments

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