Content deleted Content added
m Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q3417382 |
m →Program refinement: dab link |
||
Line 6:
== Program refinement ==
In [[formal methods]], '''program refinement''' is the [[formal verification|verifiable]] transformation of an ''abstract'' (high-level) [[formal specification]] into a ''concrete'' (low-level) [[executable program]].{{fact|date=September 2010}} ''[[Stepwise refinement]]'' allows this process to be done in stages. Logically, refinement normally involves [[logical consequence|implication]], but there can be additional complications.
== Data refinement ==
| |||