This article needs additional citations for verification. (September 2010) |
Data transformation |
---|
Concepts |
Transformation languages |
Techniques and transforms |
Applications |
Related |
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.