『形式手法通論カリキュラム：立案と実施の経験』
2017/6/30,
中島 震
形式手法通論カリキュラム：立案と実施の経験
情報処理学会研究報告 IPSJ SIG Technical Reportⓒ 2017 Information Processing Society of JapanVol.2017-EMB-45 No.1
詳細化(リファインメント)
段階的な詳細化(Step-wise Refinement)
Correctness by Construction(CxC)