プログラム導出
1. Program derivationIn computer science, program derivation is the derivation of a program from its specification, by mathematical means. To derive a program means to write a formal specification, which is usually non-executable, and then apply mathematically correct rules in order to obtain an executable program satisfying that specification. The program thus obtained is then correct by construction. Program and correctness proof are constructed together.
Read “Program derivation” on English Wikipedia
Read “プログラム導出” on Japanese Wikipedia
Read “Program derivation” on DBpedia
Read “Program derivation” on English Wikipedia
Read “プログラム導出” on Japanese Wikipedia
Read “Program derivation” on DBpedia
Discussions
Log in to talk about this word.