Wikipedia Easy Search

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Refinement" computing – news · newspapers · books · scholar · JSTOR (September 2010) (Learn how and when to remove this message)

Data transformation
Concepts
Metadata Data element Data mapping Data migration Data transformation Model transformation Macro Preprocessor
Transformation languages
ATL AWK MOFM2T QVT XML languages
Techniques and transforms
Identity transform Data refinement
Applications
Data conversion Data migration Data integration Extract, transform, load (ETL) Web template system
Related
Data wrangling Transformation languages
v t e

Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.