サクサク読めて、アプリ限定の機能も多数!
あいまいさを排除した形式仕様記述で記述された仕様
loopei のブックマーク 2007/01/19 22:52
いまさら聞けない 形式手法入門(1/3) ― @IT[test][開発][上流]あいまいさを排除した形式仕様記述で記述された仕様2007/01/19 22:52
このブックマークにはスターがありません。 最初のスターをつけてみよう!
atmarkit.itmedia.co.jp2007/01/18
世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安...
95 人がブックマーク・12 件のコメント
\ コメントが サクサク読める アプリです /
あいまいさを排除した形式仕様記述で記述された仕様
このブックマークにはスターがありません。
最初のスターをつけてみよう!
いまさら聞けない 形式手法入門(1/3) ― @IT
世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安...
95 人がブックマーク・12 件のコメント
\ コメントが サクサク読める アプリです /