形式手法
形式手法は開発工程の様々な部分に適用可能である。