1. Program refinementIn formal methods, program refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program. Stepwise refinement allows this process to be done in stages. Logically, refinement normally involves implication, but there can be additional complications.
Read “Program refinement” on English Wikipedia
Read “詳細化” on Japanese Wikipedia
Read “Program refinement” on DBpedia
Read “Program refinement” on English Wikipedia
Read “詳細化” on Japanese Wikipedia
Read “Program refinement” on DBpedia
Discussions
Log in to talk about this word.