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

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

執筆者：

宮本陽子（メタテクノ）

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

さまざまな視点に合わせた仕様書の作成・維持の支援手法

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

執筆者：

栗田太郎（ソニー㈱）、石川冬樹（国立情報学研究所）、酒井雄太

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

組み込みシステム開発の設計者向け要件定義ガイドラインの提案と評価

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

執筆者：

寺村幹夫（株式会社デンソー）、島田真也（株式会社日立ソリューションズ）、橋本達也（NTTコミュニケーションズ株式会社）

主査：

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

副主査：

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

アドバイザ：

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

ドキュメント作成者が自ら曖昧な箇所を検知できる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株式会社）、菅原扶（株式会社インテック）、近藤崇之（株式会社リンクレア）

主査：

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

副主査：

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

アドバイザ：

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

テストケース自動生成における形式仕様記述を使ったテスト結果期待値の検証

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

執筆者：

井森一樹（富士通株式会社）、柳田憲彦（エヌ・ティ・ティ・コムウェア株式会社）

主査：

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

副主査：

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

アドバイザ：

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

多様なステークホルダの満足度に着目したシステムの安全性・セキュリティ要件の抽出と検証

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

執筆者：

吉田邦雄（オムロン株式会社）、柳原靖司（ブラザー工業株式会社）

主査：

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

副主査：

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

アドバイザ：

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

要求仕様の誤解釈を検出するDomain Word Modelingの提案

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

執筆者：

柏原一雄（株式会社デンソークリエイト）、谷口侑太（テックスエンジソリューションズ株式会社）、長井亘（テックスエンジソリューションズ株式会社）

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

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

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

執筆者：

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

主査：

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

副主査：

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

アドバイザ：

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

生成 AI によるソフトウェアパターン適用の試行～ソフトウェア設計品質向上に向けたプロンプトの考察～

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

執筆者：

伊藤弘毅（三菱電機株式会社）

主査：

石川冬樹

副主査：

徳本晋、栗田太郎

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

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

執筆者：

伊藤弘毅（三菱電機株式会社）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

LLM を用いたソフトウェア開発プロジェクト管理における自動データ分析の評価

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

執筆者：

青山弦太（株式会社ビッグツリーテクノロジー&コンサルティング）

主査：

石川冬樹

副主査：

徳本晋、栗田太郎

高齢者を対象としたロボットセラピー研究における事例整理及び癒し効果と癒すための工夫抽出の試み

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

執筆者：

齊藤里味（TIS 株式会社）

主査：

石川冬樹

副主査：

徳本晋、栗田太郎

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

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

執筆者：

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

主査：

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

副主査：

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

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

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

執筆者：

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

主査：

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

副主査：

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

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

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

執筆者：

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

主査：

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

副主査：

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

物理解析ソフトウェアのテスト手法の検討

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

執筆者：

小川哲生（株式会社JSOL）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

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

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

執筆者：

松尾正裕（パナソニックITS株式会社）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

ゴール指向要求分析を利用したAIシステムの安全要件の受容性評価 - コミュニティ･バスに搭載した自動運転システムのケーススタディ-

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

執筆者：

岩田正彦（エヌ・ティ・ティ・コミュニケーションズ株式会社）、後藤優斗（コニカミノルタ株式会社）、柳原靖司（ブラザー工業株式会社）、歌田真帆（エヌ・ティ・ティ・コミュニケーションズ株式会社）、高田晃平（株式会社東光高岳）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

AI・データの利用に関する契約ガイドライン具体化における業務経験差による理解度評価

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

執筆者：

中山由紀子（岡三情報システム株式会社）、吉田誠（株式会社東芝）、石山博之（株式会社日立ソリューションズ・クリエイト）、舟本一義（株式会社日立ソリューションズ）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

AIスケジューラのAI品質評価－強化学習のケーススタディ－

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

執筆者：

平井宣（株式会社IHIエスキューブ）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

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

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

執筆者：

冨井良平（株式会社東光高岳）、後藤優斗（コニカミノルタ株式会社）、松尾正裕（パナソニックITS株式会社）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

PoC貧乏になる原因と対策の研究

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

執筆者：

山田利恵（BIPROGY株式会社）、布施拓哉（株式会社日立ソリューションズ）、藤谷拓矢（旭化成エレクトロニクス株式会社）

主査：

石川冬樹

副主査：

栗田太郎、徳本晋

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

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

執筆者：

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

主査：

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

副主査：

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

ISO27017 に基づくクラウドセキュリティ監査業務に対する LLM の性能評価

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

執筆者：

多田麻沙子（TIS 株式会社）

主査：

石川冬樹

副主査：

徳本晋、栗田太郎

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

執筆者：

主査：

副主査：

アドバイザ：

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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