Back Verfeinerung (Informatik) German Raffinement French Finomítás (számítástechnika) Hungarian 詳細化 Japanese
&sq=Facebook&lang=en&file=File:Question_book-new.svg){kind=small} | 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.