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

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

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

年〜年

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

1

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

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

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

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

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

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

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

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

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

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

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

1