Simple feature engineering via neat default retrenchments

DOI10.1016/j.jlap.2010.12.001zbMath1231.68106OpenAlexW1974607763MaRDI QIDQ649587

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)

Related Items (1)

Stronger compositions for retrenchments

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stronger compositions for retrenchments
• Engineering and theoretical underpinnings of retrenchment
• Regular relations and bicartesian squares
• On regularity in software design
• Superposition refinement of reactive systems
• Composition mechanisms for retrenchment
• Data Refinement
• FM 2005: Formal Methods
• Retrenchment and refinement interworking: the tower theorems

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