2件の資料が見つかりました。
-
フレームワークを利用した開発における形式仕様記述の適用に関する検討
ソフトウェア品質管理研究会 演習コースII「形式手法と仕様記述」(2011年)
副主査:
石川 冬樹(国立情報学研究所)アドバイザ:
荒木 啓二郎(九州大学 大学院) -
プロセスは定着していますかPart3~不具合事象に基づく標準プロセスへのフィードバック手法の提案~
ソフトウェア品質管理研究会 第1分科会「ソフトウェアプロセス評価・改善」(2010年)