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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search