大会名称 |
---|
2009年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2009 |
発行日 |
2009/8/20 |
セッション番号 |
3B |
セッション名 |
モデル検査 |
講演日 |
2009/09/02 |
講演場所(会議室等) |
B会場(9号館1F 912教室) |
講演番号 |
B-013 |
タイトル |
VDMによる検証支援ツールの開発 |
著者名 |
藤澤 一博, 小飼 敬, 滝沢 陽三, |
キーワード |
形式手法, VDM |
抄録 |
JUDEにより入力された情報をVDMに変換し、ユーザーがVDMの記述を意識しないで仕様の検証を行う事ができるツールを開発した。 |
本文pdf |
PDF download (106.5KB) |