SQiP
の
さまざまな取り組みから
得られた成果を
一般公開しています。
ソフトウェア品質管理に
お役立てください。
ソフトウェア品質シンポジウム
ソフトウェア品質管理研究会
オンデマンド
eラーニング
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
年 〜
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
年
1件の資料が見つかりました。
1
フレームワークを利用した開発における形式仕様記述の適用に関する検討
ソフトウェア品質管理研究会 演習コースII「形式手法と仕様記述」(2011年)
執筆者:
有賀 一輝(イクズアネックス)
、
東海 政治(NTT データCCS)
、
水野 徹平(富士ゼロックスアドバンストテクノロジー)
主査:
栗田 太郎(フェリカネットワークス)
副主査:
石川 冬樹(国立情報学研究所)
アドバイザ:
荒木 啓二郎(九州大学 大学院)
1