Simple feature engineering via neat default retrenchments
type: Item
instance of: scholarly article
title: Simple feature engineering via neat default retrenchments
zbMATH Open document ID: 1231.68106
author: C. Jeske
author: Richard Banach
published in: The Journal of Logic and Algebraic Programming
publication date: 2011-12-02T00:00:00Z
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 5985530
zbMATH Keywords: feature engineering
zbMATH Keywords: retrenchment
zbMATH Keywords: neat and default retrenchment
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.12.001
OpenAlex ID: W1974607763
cites work: Q3569584
cites work: Q4472181
cites work: Superposition refinement of reactive systems
cites work: Regular relations and bicartesian squares
cites work: On regularity in software design
cites work: Retrenchment and refinement interworking: the tower theorems
cites work: Stronger compositions for retrenchments
cites work: FM 2005: Formal Methods
cites work: Composition mechanisms for retrenchment
cites work: Engineering and theoretical underpinnings of retrenchment
cites work: Data Refinement
cites work: Q5287518
cites work: Q5686039
DOI: 10.1016/J.JLAP.2010.12.001
description: scientific article; zbMATH DE number 5985530