キーワード検索 | SQiPソフトウェア品質ライブラリ

SQiPのさまざまな取り組みから得られた成果を一般公開しています。
ソフトウェア品質管理にお役立てください。

ソフトウェア品質シンポジウムソフトウェア品質管理研究会オンデマンド eラーニング

年〜年

4件の資料が見つかりました。

1

形式仕様記述言語の利用による仕様書の改善―USDM と形式仕様記述の考察を通して―

ソフトウェア品質管理研究会演習コースＩＩ「形式手法と仕様記述」（2011年）

執筆者：
宮本陽子（メタテクノ）

主査：
栗田太郎（フェリカネットワークス）

副主査：
石川冬樹（国立情報学研究所）

アドバイザ：
荒木啓二郎（九州大学大学院）
フレームワークを利用した開発における形式仕様記述の適用に関する検討

ソフトウェア品質管理研究会演習コースＩＩ「形式手法と仕様記述」（2011年）

執筆者：
有賀一輝（イクズアネックス）、東海政治（NTT データCCS）、水野徹平（富士ゼロックスアドバンストテクノロジー）

主査：
栗田太郎（フェリカネットワークス）

副主査：
石川冬樹（国立情報学研究所）

アドバイザ：
荒木啓二郎（九州大学大学院）
VDMとUSDMを組み合わせた仕様記述方法- VDM による USDM 仕様記述の改善提案 -

ソフトウェア品質管理研究会演習コースＩＩ「形式手法と仕様記述」（2012年）

執筆者：
宮本陽子（メタテクノ）、日下部雄三（富士通九州ネットワークテクノロジーズ）

主査：
栗田太郎（フェリカネットワークス）

副主査：
石川冬樹（国立情報学研究所）

アドバイザ：
荒木啓二郎（九州大学大学院）
VDM 仕様とテスト設計による仕様の問題発見に関する評価

ソフトウェア品質管理研究会演習コースＩＩ「形式手法と仕様記述」（2011年）

執筆者：
和田圭司（メタテクノ）、羽田裕（日本電気通信システム）

主査：
栗田太郎（フェリカネットワークス）

副主査：
石川冬樹（国立情報学研究所）

アドバイザ：
荒木啓二郎（九州大学大学院）

1