サクサク読めて、アプリ限定の機能も多数!
エンタープライズ・システムでも形式検証の事例が出てきた。
HoshiAkio のブックマーク 2008/03/11 10:58
「拒否反応」がなくなり実用段階に入った「フォーマルメソッド」[形式検証][Enterprise]エンタープライズ・システムでも形式検証の事例が出てきた。2008/03/11 10:58
このブックマークにはスターがありません。 最初のスターをつけてみよう!
xtech.nikkei.com2008/03/11
フォーマルメソッド(形式手法)をご存じだろうか。これは,ほとんどの場合日本語で記述される「要求仕様」を,プログラミング言語によるコーディングと同じように,厳密に「仕様記述言語」で定義する手法のこと...
29 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /
エンタープライズ・システムでも形式検証の事例が出てきた。
HoshiAkio のブックマーク 2008/03/11 10:58
このブックマークにはスターがありません。
最初のスターをつけてみよう!
「拒否反応」がなくなり実用段階に入った「フォーマルメソッド」
xtech.nikkei.com2008/03/11
フォーマルメソッド(形式手法)をご存じだろうか。これは,ほとんどの場合日本語で記述される「要求仕様」を,プログラミング言語によるコーディングと同じように,厳密に「仕様記述言語」で定義する手法のこと...
29 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /