形式手法(フォーマルメソッド:Formal Methods)の活用を開始し、設計誤りの防止に努めています。
イマ旬キーワード: 形式手法