午後からIPAで形式手法のセミナーを受講。形式手法入門−管理者向け半日コース仕様を要求や設計などの上流工程で機械可読にすることで、建築における構造計算のように、仕様の品質をかっちりと計算できますよ、という話。(この構造計算の喩えは和歌山大学の…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。