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

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

執筆者：

宮本陽子（メタテクノ）

主査：

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

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（九州大学大学院）

フレームワークを利用した開発における形式仕様記述の適用に関する検討

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

執筆者：

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

主査：

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

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（九州大学大学院）

VDMとUSDMを組み合わせた仕様記述方法- VDM による USDM 仕様記述の改善提案 -

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

執筆者：

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

主査：

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

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（九州大学大学院）

VDM 仕様とテスト設計による仕様の問題発見に関する評価

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

執筆者：

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

主査：

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

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（九州大学大学院）

テストケースの自動生成を見据えた基本設計フォーマット作成アプローチの提案

ソフトウェア品質管理研究会研究コース6「要求と仕様のエンジニアリング」（2017年）

執筆者：

中川穂（株式会社インテック）、奥村慎（アイエックス・ナレッジ株式会社）、松平智晶（日本電気航空宇宙システム株式会社）、酒井雄太（wells system design）

主査：

栗田太郎（ソニー株式会社）

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（九州大学大学院）

テストケースの自動生成を見据えた基本設計フォーマット作成アプローチの提案

ソフトウェア品質シンポジウム2018 2017年度研究コース6（2018年）

執筆者：

中川穂（㈱インテック）、奥村慎（アイエックス・ナレッジ㈱）、松平智晶（日本電気航空宇宙システム㈱）、酒井雄太（wells system design）

主査：

栗田太郎（ｿﾆｰ（株））

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（国立大学法人九州大学）

ドキュメント作成者が自ら曖昧な箇所を検知できるW検法の提案

ソフトウェア品質シンポジウム2015（2015年）

執筆者：

宮本陽子（株式会社メタテクノ）、栗田太郎（ソニー㈱）、田邉昭（㈱野村総合研究所流通システム開発室）、石川冬樹（国立情報学研究所）

要求獲得のためのヒアリングにおけるゴール指向要求分析の活用～「ゴール指向Lite」の提案～

ソフトウェア品質管理研究会研究コース6「要求と仕様のエンジニアリング」（2017年）

執筆者：

室井義彦（ＤＩＣ株式会社）、山口俊彦（テックスエンジソリューションズ株式会社）、山崎哲（テックスエンジソリューションズ株式会社）、菅原扶（株式会社インテック）

主査：

栗田太郎（ソニー株式会社）

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（九州大学大学院）

要件定義計画を強化するアセスメント項目の提案

ソフトウェア品質管理研究会研究コース5「要求と仕様のエンジニアリング」（2018年）

執筆者：

久保光寛（日本システム技術株式会社）、吉竹宏幸（TIS株式会社）、新田史弥（株式会社東光高岳）、渋谷公寛（東京海上日動システムズ株式会社）、越前谷達朗（株式会社日立ソリューションズ・クリエイト）

主査：

栗田太郎（ソニー株式会社）

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（熊本高等専門学校）

AI品質マネジメントガイドライン具体化におけるAI経験有無の影響明確化

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

佐藤祥輝（株式会社東光高岳）、松本充弘（NTT テクノクロス株式会社）、池村拓哉（エヌ・ティ・ティ・コムウェア株式会社）

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー株式会社）

アドバイザ：

徳本晋（株式会社富士通研究所）

機械学習プロジェクト成功のためのPoC要求分析～機械学習プロジェクトキャンバス活用と補助ガイドラインの提案～

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

北野健太（株式会社日本総合研究所）、増田知彰（エヌ・ティ・ティ・コミュニケーションズ株式会社）

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー株式会社）

アドバイザ：

徳本晋（株式会社富士通研究所）

コミュニケーションギャップを正しく相互に認識するための属性付きゴール指向要求分析の活用～「ACMD（AGORA Comments Matrix for Dialogue）」の提案～

ソフトウェア品質管理研究会研究コース5「要求と仕様のエンジニアリング」（2018年）

執筆者：

守屋晋（ピー・シー・エー株式会社）、森岡英一（TIS株式会社）、菅原扶（株式会社インテック）、近藤崇之（株式会社リンクレア）

主査：

栗田太郎（ソニー株式会社）

副主査：

石川冬樹（国立情報学研究所）

アドバイザ：

荒木啓二郎（熊本高等専門学校）

ゴール指向要求分析とシステム安全分析を利用したAI システム品質の個別ガイドライン導出方法の提案

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

小宮山英明（コニカミノルタ株式会社）、柳原靖司（ブラザー工業株式会社）、相津一寛（パナソニック株式会社）

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー株式会社）

アドバイザ：

徳本晋（株式会社富士通研究所）

GUI 要素の階層構造構築・比較による視覚的回帰テスト差分検出方法の実証評価

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

塚越章弘（株式会社日本科学技術研修所）

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー株式会社）

アドバイザ：

徳本晋（株式会社富士通研究所）

自然言語処理を利用した類似障害情報の抽出と活用方法の提案

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

上田良太（日本ユニシス株式会社）、杉本智（NTT コミュニケーションズ株式会社）、栗原崇至（エプソンアヴァシス株式会社）

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー株式会社）

アドバイザ：

徳本晋（株式会社富士通研究所）

AIシステム開発におけるAI開発者とシステム開発者のギャップ解消に向けたAI説明技術の検証

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

斎藤弘之（NTT コミュニケーションズ株式会社）、東條洋（キヤノン株式会社）

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー株式会社）

アドバイザ：

徳本晋（株式会社富士通研究所）

状態遷移モデルの一部が明示されていない場合における自動テスト生成手法

ソフトウェア品質シンポジウム2022 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2022年）

執筆者：

松尾正裕 (パナソニックITS㈱)

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー㈱）、徳本晋（富士通㈱）

物理解析ソフトウェアのテスト手法の検討- Search-based testing およびMetamorphic testing によるアプローチ -

ソフトウェア品質シンポジウム2022 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2022年）

執筆者：

小川哲生 (㈱JSOL) 、徳本晋（富士通㈱）、栗田太郎（ソニ㈱）、石川冬樹（国立情報学研究所）

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー㈱）、徳本晋（富士通㈱）

ロングテイルな分布の入力を扱う機械学習システムに対するテスト設計手法の提案

ソフトウェア品質シンポジウム2023 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2023年）

執筆者：

後藤優斗（アクセンチュア㈱）、松尾正裕 (パナソニックITS(株))

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー㈱）、徳本晋（富士通㈱）

ワークフローモデルの構築によるAI推論フローの処理割当て手法の提案

ソフトウェア品質シンポジウム2023 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2023年）

執筆者：

伊藤弘毅 (三菱電機(株))

主査：

石川冬樹（国立情報学研究所）

副主査：

栗田太郎（ソニー㈱）、徳本晋（富士通㈱）

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース6「要求と仕様のエンジニアリング」（2017年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質シンポジウム2018 2017年度研究コース6（2018年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質シンポジウム2015（2015年）

執筆者：

ソフトウェア品質管理研究会 研究コース6「要求と仕様のエンジニアリング」（2017年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「要求と仕様のエンジニアリング」（2018年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「要求と仕様のエンジニアリング」（2018年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質管理研究会 研究コース5「人工知能とソフトウェア品質」（2020年）

執筆者：

主査：

副主査：

アドバイザ：

ソフトウェア品質シンポジウム2022 2022年度SQiP研究会 研究コース5「人工知能とソフトウェア品質」（2022年）

執筆者：

主査：

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

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

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

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

ソフトウェア品質管理研究会研究コース6「要求と仕様のエンジニアリング」（2017年）

ソフトウェア品質管理研究会研究コース6「要求と仕様のエンジニアリング」（2017年）

ソフトウェア品質管理研究会研究コース5「要求と仕様のエンジニアリング」（2018年）

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

ソフトウェア品質管理研究会研究コース5「要求と仕様のエンジニアリング」（2018年）

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

ソフトウェア品質管理研究会研究コース5「人工知能とソフトウェア品質」（2020年）

ソフトウェア品質シンポジウム2022 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2022年）

ソフトウェア品質シンポジウム2022 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2022年）

ソフトウェア品質シンポジウム2023 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2023年）

ソフトウェア品質シンポジウム2023 2022年度SQiP研究会研究コース5「人工知能とソフトウェア品質」（2023年）