ソフトウェア開発技術者育成PBLのためのモデル駆動型要求分析支援ツールの研究

• 研究課題/領域番号: 22500033
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 芝浦工業大学
• 研究代表者: 松浦 佐江子 芝浦工業大学, デザイン工学部, 教授 (10348906)
• 研究期間 (年度): 2010 – 2012
• 研究課題ステータス: 完了 (2012年度)
• 配分額: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円); 2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2010年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
• キーワード: ソフトウェア工学教育 / 要求分析 / Unified Modeling Language / Model Driven Development / Project Based Learning / オブジェクト指向開発技術 / ソフトウェア開発技術者教育 / モデル検査 / UML

研究概要

われわれは、産業界において求められる高品質なソフトウェアを効率よく開発するためのモデル駆動開発要求分析手法を研究している。開発の初期段階において非曖昧で完全かつ無矛盾な要求仕様を定義することは、重要であるが、実施することは難しい。そこで、ユーザの要求を正確にモデリングする能力を育成するための実践的なソフトウェア工学教育が必要である。本研究では、モデリング教育のための教育方法とその支援ツールを研究開発した。

研究成果

• [雑誌論文] Experimental development based on mapping rule between requirements analysis model and web framework specific design model (2013)
  • 著者名/発表者名: Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura
  • 雑誌名: SpringerPlus 巻: 2 号: 1 ページ: 123-123
  • DOI: 10.1186/2193-1801-2-123
  • URL: http://www.springerplus.com/content/2/1/123
  • 査読あり
• [雑誌論文] A r eview method for UML requirements analysis model employing system-side prototyping (2013)
  • 著者名/発表者名: Shinpei Ogata, Saeko Matsuura
  • 雑誌名: SpringerPlus 巻: 2 号: 1 ページ: 134-134
  • DOI: 10.1186/2193-1801-2-134
  • URL: http://www.springerplus.com/content2/1/134
  • 査読あり
• [雑誌論文] プログラムの実行・評価機構を持つWeb教科書によるソフトウェア開発技能育成 (2012)
  • 著者名/発表者名: 松浦佐江子
  • 雑誌名: 論文誌ICT情報教育方法研究,(社)私立大学情報教育協会 巻: 15(1) ページ: 13-18
  • NAID: 40020164488
  • 査読あり
• [雑誌論文] 協調学習によるソースコード識別子の命名学習方法 (2012)
  • 著者名/発表者名: 式見,松浦
  • 雑誌名: 情報処理学会FIT2012講演論文集RK-005 巻: 第3分冊 ページ: 73-78
  • 査読あり
• [雑誌論文] UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法情報処理学会 (2012)
  • 著者名/発表者名: 野呂,小形,松浦
  • 雑誌名: FIT2012講演論文集RO-008 巻: 第4分冊 ページ: 77-80
  • 査読あり
• [雑誌論文] A Review Method of Requirements Analysis Model in UML with Prototyping, Knowledge-Based Software Engineering (2012)
  • 著者名/発表者名: S.Ogata and S. Matsuura
  • 雑誌名: Proc of the 10thJoint conference on Knowledge-Based Software Engineering, IOS Press ページ: 181-190
  • 査読あり
• [雑誌論文] Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model, Knowledge-Based Software Engineering (2012)
  • 著者名/発表者名: H. Okuda, S. Ogata and S. Matsuura
  • 雑誌名: Proc of the 10thJoint conference on Knowledge-Based Software Engineering, IOS Press ページ: 207-216
  • 査読あり
• [雑誌論文] Test Case Generation by Simulating Requirements Analysis Model (2012)
  • 著者名/発表者名: R.Shikim, S. Ogata and S.Matsuura
  • 雑誌名: Proc of 2012 IEEE 36^International Conference on Computer Software and Applications ページ: 356-357
  • 査読あり
• [雑誌論文] Collaborative Learning Environment for Identifier Naming in Source Codes (2012)
  • 著者名/発表者名: R.Shikimi and S.Matsuura
  • 雑誌名: Proc. of CATE 2012 ページ: 106-111
  • 査読あり
• [雑誌論文] Training of Requirements Analysis Modeling with UML-based Prototype Generation Tool (2012)
  • 著者名/発表者名: S.Ogata and S.Matsuura
  • 雑誌名: ISEC '12 ページ: 105-108
  • 査読あり
• [雑誌論文] プログラムの実行・評価機構を持つWeb教科書によるソフトウェア開発技能育成 (2012)
  • 著者名/発表者名: 松浦佐江子
  • 雑誌名: 論文誌ICT情報教育方法研究，（社）私立大学情報教育協会 巻: 第15巻，第1号 ページ: 13-18
  • NAID: 40020164488
  • 査読あり
• [雑誌論文] 協調学習によるソースコード識別子の命名学習方法 (2012)
  • 著者名/発表者名: 式見，松浦
  • 雑誌名: 情報処理学会FIT2012講演論文集 巻: RK-005 ページ: 73-78
  • 査読あり
• [雑誌論文] A Review Method of Requirements Analysis Model in UML with Prototyping, Knowledge-Based Software Engineering (2012)
  • 著者名/発表者名: S.Ogata and S. Matsuura
  • 雑誌名: Proc of the 10th Joint conference on Knowledge-Based Software Engineering,IOS Press ページ: 181-190
  • 査読あり
• [雑誌論文] Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model (2012)
  • 著者名/発表者名: H. Okuda, S. Ogata and S. Matsuura
  • 雑誌名: Proc of the 10th Joint conference on Knowledge-Based Software Engineering, IOS Press ページ: 207-216
  • 査読あり
• [雑誌論文] Collaborative Learning Environment for Identifier Naming in Source Codes, (2012)
  • 著者名/発表者名: R.Shikimi and S.Matsuura
  • 雑誌名: Proc. of CATE 2012. ページ: 106-111
  • 査読あり
• [雑誌論文] Training of Requirements Analysis Modeling with UML-based Prototype Generation Tool (2012)
  • 著者名/発表者名: S.Ogata, S.Matsuura
  • 雑誌名: Proc.of 5th India Software Engineering Conference (ISEC2012) ページ: 105-108
  • DOI: 10.1145/2134254.2134273
  • 査読あり
• [雑誌論文] 設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験,ソフトウェア工学の基礎XVIII (2011)
  • 著者名/発表者名: 小形,松浦
  • 雑誌名: 日本ソフトウェア科学会FOSE 2011 ページ: 95-100
  • 査読あり
• [雑誌論文] Dependency Analysis for Learning Class Structure for Novice Java Programmer (2011)
  • 著者名/発表者名: T. Wakabayashi , S.Ogata and S. Matsuura
  • 雑誌名: Proc of IEEE 2nd International Conference on Software Engineering and Service ページ: 532-535
  • NAID: 110008676814
  • 査読あり
• [雑誌論文] A Method for Detecting Unusual Defects in Enterprise System , Proc of SOFTWARE ENGINEERING (2011)
  • 著者名/発表者名: Y. Aoki and S. Matsuura
  • 雑誌名: PARALLEL and DISTRIBUTED SYSTEMS (SEPADS '11) ページ: 165-171
  • 査読あり
• [雑誌論文] Validation Code Generation for Unexpected User Operation on Web User Interface, Proc of International Conference on Communication (2011)
  • 著者名/発表者名: S.Ogata and S.Matsuura
  • 雑誌名: Computing and Control Applications ページ: 1-6
  • 査読あり
• [雑誌論文] 設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験 (2011)
  • 著者名/発表者名: 小形真平, 松浦佐江子
  • 雑誌名: ソフトウェア工学の基礎XVII ページ: 95-100
  • 査読あり
• [雑誌論文] Validation Code Generation for Unexpected User Operation on Web User Interface (2011)
  • 著者名/発表者名: Shinpei Ogata, Saeko Matsuura
  • 雑誌名: Proc of International Conference on Communication, Computing and Control Applications
  • 査読あり
• [雑誌論文] Verification of Embedded System by a Method for Detecting Defects in Source Codes Using Model Checking (2011)
  • 著者名/発表者名: Y.Aoki, S.Matsuura
  • 雑誌名: Proc of IEEE Symposium on Computers & Informatics ページ: 530-535
  • 査読あり
• [雑誌論文] ENHANCEMENT OF REQUIREMENTS SPECIFICATION TRACEABILITY BY MO DRIVEN REQUIREMENTS ANALYSIS EMPLOYING AUTOMATIC PROTOTYPE GENERATION (2011)
  • 著者名/発表者名: S.Ogata, S.Matsuura, R.Sakai, H.Sato, T.Kobayashi
  • 雑誌名: Proc.of The IASTED International Conference on Software Engineering ページ: 55-63
  • 査読あり
• [雑誌論文] A Method for Detecting Defects in Source Codes Using Model Checking Techniques (2011)
  • 著者名/発表者名: Y.Aoki, S.Matsuura
  • 雑誌名: Proc of the 34th Annual IEEE International Computer Software and Applications Conference ページ: 543-544
  • NAID: 110007521514
  • 査読あり
• [雑誌論文] Evaluation of a Use-Case-Driven Requirements Analysis Tool Employing Web UI Prototype Generation (2010)
  • 著者名/発表者名: Shinpei Ogata, Saeko Matsuura
  • 雑誌名: WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS 巻: Issue 2, Volume 7 ページ: 273-282
  • 査読あり
• [雑誌論文] ソースコード解析を利用したモデル検査に基づく欠陥抽出手法,ソフトウェア工学の基礎XVII (2010)
  • 著者名/発表者名: 青木,松浦
  • 雑誌名: 日本ソフトウェア科学会FOSE 2010 ページ: 95-100
  • 査読あり
• [雑誌論文] A Method of Automatic Integration Test Case Generation from UML-based Scenario (2010)
  • 著者名/発表者名: Shinpei Ogata, Saeko Matsuura
  • 雑誌名: WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS 巻: Issue 4, Volume 7 ページ: 598-607
  • 査読あり
• [雑誌論文] UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成手法,日本ソフトウェア科学会 (2010)
  • 著者名/発表者名: 小形,松浦
  • 雑誌名: コンピュータソフトウェア 巻: 27(2) ページ: 14-32
  • 査読あり
• [雑誌論文] A Method for Detecting Defects in Source Codes Using Model Checking Techniques (2010)
  • 著者名/発表者名: Y. Aoki and S. Matsuura
  • 雑誌名: Proc of the 34th Annual IEEE International Computer Software and Applications Conference ページ: 543-544
  • NAID: 110007521514
  • 査読あり
• [雑誌論文] ソースコード解析を利用したモデル検査に基づく欠陥抽出手法 (2010)
  • 著者名/発表者名: 青木善貴, 松浦佐江子
  • 雑誌名: ソフトウェア工学の基礎XVII ページ: 95-100
  • 査読あり
• [学会発表] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 (2013)
  • 著者名/発表者名: 式見,小形,松浦
  • 学会等名: 電子情報通信学会, 信学技報, vol. 112, no. 496, KBSE2012-69, pp. 37-42
  • 発表場所: 芝浦工業大学
  • 年月日: 2013-03-14
• [学会発表] 要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価 (2013)
  • 著者名/発表者名: 奥田博隆,小形真平,松浦佐江子
  • 学会等名: 第75回情報処理学会全国大会, 4M-4,2013(学生奨励賞受賞)
  • 発表場所: 東北大学
  • 年月日: 2013-03-07
• [学会発表] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 (2013)
  • 著者名/発表者名: 式見遼,小形真平,松浦佐江子
  • 学会等名: 第75回情報処理学会全国大会, 2M-8,2013(学生奨励賞受賞)
  • 発表場所: 東北大学
  • 年月日: 2013-03-06
• [学会発表] セキュリティ機能方針の具体化によるセキュリティ機能要求分析手法 (2013)
  • 著者名/発表者名: 野呂惇,小形真平,松浦佐江子
  • 学会等名: 第75回情報処理学会全国大会, 2M-5
  • 発表場所: 東北大学
  • 年月日: 2013-03-06
• [学会発表] AndroidアプリケーションのUIの変更に伴うUML要求仕様への影響の分析 (2013)
  • 著者名/発表者名: 松井駿介,小形真平,松浦佐江子
  • 学会等名: 第75回情報処理学会全国大会,2M-7
  • 発表場所: 東北大学
  • 年月日: 2013-03-06
• [学会発表] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 (2013)
  • 著者名/発表者名: 式見，小形，松浦
  • 学会等名: 電子情報通信学会知能ソフトウェア工学研究会
  • 発表場所: 芝浦工業大学
• [学会発表] 要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価 (2013)
  • 著者名/発表者名: 奥田博隆，小形真平，松浦佐江子
  • 学会等名: 情報処理学会第75回情報処理学会全国大会
  • 発表場所: 東北大学
• [学会発表] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 (2013)
  • 著者名/発表者名: 式見遼，小形真平，松浦佐江子
  • 学会等名: 情報処理学会第75回情報処理学会全国大会
  • 発表場所: 東北大学
• [学会発表] AndroidアプリケーションのUIの変更に伴うUML要求仕様への影響の分析 (2013)
  • 著者名/発表者名: 松井駿介,小形真平，松浦佐江子
  • 学会等名: 情報処理学会第75回情報処理学会全国大会
  • 発表場所: 東北大学
• [学会発表] 組込みソフトウェア開発におけるトップダウンな振る舞い・データモデリングプロセス (2013)
  • 著者名/発表者名: 岡田康治，松浦佐江子
  • 学会等名: 情報処理学会第75回情報処理学会全国大会
  • 発表場所: 東北大学
• [学会発表] ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析 (2012)
  • 著者名/発表者名: 奥田,松井,式見,野呂,岡田,小形,松浦
  • 学会等名: 電子情報通信学会, 信学技報, vol. 112, no. 314, KBSE2012-45, pp. 43-48
  • 発表場所: 金沢大学
  • 年月日: 2012-11-22
• [学会発表] データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法 (2012)
  • 著者名/発表者名: 小形,青木,奥田,松浦
  • 学会等名: 電子情報通信学会, 信学技報, vol. 112, no. 314, KBSE2012-56, pp. 109-114
  • 発表場所: 金沢大学
  • 年月日: 2012-11-22
• [学会発表] 要求分析モデルを用いたエンティティ間の関連と属性に対するデータライフサイクル検証手法の提案 (2012)
  • 著者名/発表者名: 奥田,小形,青木,松浦
  • 学会等名: 情報処理学会FIT2012講演論文集B-027, pp.231-234(第1分 冊)
  • 発表場所: 法政大学
  • 年月日: 2012-09-05
• [学会発表] UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法 (2012)
  • 著者名/発表者名: 野呂,小形,松浦
  • 学会等名: 電子情報通信学会, 信学技報vol. 112, no. 165, KBSE2012-35, pp. 139-144
  • 発表場所: はこだて未来大学
  • 年月日: 2012-07-27
• [学会発表] ユースケース記述における初学者特有の問題点への系統的な改善方法 (2012)
  • 著者名/発表者名: 松井,奥田,式見,野呂,岡田,小形,松浦
  • 学会等名: 電子情報通信学会, 信学技報vol. 112, no. 165, KBSE2012-15, pp. 19-24
  • 発表場所: はこだて未来大学
  • 年月日: 2012-07-27
• [学会発表] 要求分析モデルのマルチプラットフォーム適用実験に基づく十分性の分析 (2012)
  • 著者名/発表者名: 奥田, 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 名古屋工業大学
  • 年月日: 2012-03-08
• [学会発表] UML要求分析モデルにおけるCRUD観点のデータライフサイクルの妥当性検査手法 (2012)
  • 著者名/発表者名: 青木, 小形, 奥田, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 名古屋工業大学
  • 年月日: 2012-03-08
• [学会発表] Common Criteriaを利用したモデル駆動アーキテクチャによるセキュリティ要求分析手法 (2012)
  • 著者名/発表者名: 野呂, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 名古屋工業大学
  • 年月日: 2012-03-08
• [学会発表] 組み込みソフトウェア開発におけるハードウェア要件の分析と検証 (2012)
  • 著者名/発表者名: 岡田, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 名古屋工業大学
  • 年月日: 2012-03-08
• [学会発表] 識別子の難読化と命名の収集による命名学習方法の提案 (2012)
  • 著者名/発表者名: 式見,松浦
  • 学会等名: 第74回情報処理学会全国大会,1L-3,2012(大会奨励賞受賞)
  • 発表場所: 名古屋工業大学
  • 年月日: 2012-03-06
• [学会発表] 要求分析モデルのマルチプラットフォーム適用実験に基づく十分性の分析 (2012)
  • 著者名/発表者名: 奥田,小形,松浦
  • 学会等名: 第74回情報処理学会全国大会,5L-6,2012(学生奨励賞受賞)
  • 発表場所: 名古屋工業大学
  • 年月日: 2012-03-06
• [学会発表] ML要求仕様からのAndroid-UIプロトタイプ自動生成手法 (2012)
  • 著者名/発表者名: 松井, 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 名古屋工業大学
  • 年月日: 2012-03-06
• [学会発表] UMLシナリオを活用したインタラクションの欠陥発見手法 (2012)
  • 著者名/発表者名: 小形, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: 機械振興会館
  • 年月日: 2012-01-23
• [学会発表] 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法 (2012)
  • 著者名/発表者名: 青木, 松浦
  • 学会等名: 電予情報通信学会
  • 発表場所: 機械振興会館
  • 年月日: 2012-01-23
• [学会発表] ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析 (2012)
  • 著者名/発表者名: 奥田，松井，式見，野呂，岡田，小形，松浦
  • 学会等名: 電子情報通信学会知能ソフトウェア工学研究会
  • 発表場所: 金沢大学
• [学会発表] オブジェクト指向プログラミング初学者のためのソースコード品質評価分析 (2011)
  • 著者名/発表者名: 若林, 松浦
  • 学会等名: 電予情報通信学会
  • 発表場所: 信州大学
  • 年月日: 2011-11-10
• [学会発表] データライフサイクル保証の為の要求分析モデル検証手法の提案 (2011)
  • 著者名/発表者名: 奥田, 小形, 松浦
  • 学会等名: ソフトウェア科学会
  • 発表場所: 沖縄産業支援センター
  • 年月日: 2011-09-27
• [学会発表] 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール (2011)
  • 著者名/発表者名: 式見, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: オーシャングランドホテル済州
  • 年月日: 2011-09-22
• [学会発表] ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析 (2011)
  • 著者名/発表者名: 奥田, 小形, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: オーシャングランドホテル済州
  • 年月日: 2011-09-22
• [学会発表] オブジェクト指向プログラミング初学者のためのソースコード評価ツール (2011)
  • 著者名/発表者名: 若林, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 函館大学
  • 年月日: 2011-09-07
• [学会発表] 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール (2011)
  • 著者名/発表者名: 式見, 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 函館大学
  • 年月日: 2011-09-07
• [学会発表] ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析 (2011)
  • 著者名/発表者名: 奥田, 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 函館大学
  • 年月日: 2011-09-07
• [学会発表] プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用 (2011)
  • 著者名/発表者名: 小形,松浦
  • 学会等名: 電子情報通信学会, 信学技法vol.110, no 468, KBSE2010-603, pp.37-42
  • 発表場所: 別府コンベンションセンター
  • 年月日: 2011-03-11
• [学会発表] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成 (2011)
  • 著者名/発表者名: 奥田,小形,松浦
  • 学会等名: 電子情報通信学会, 信学技法 vol.110, no 468, KBSE2010-603, pp.73-78
  • 発表場所: 別府コンベンションセンター
  • 年月日: 2011-03-11
• [学会発表] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 (2011)
  • 著者名/発表者名: 式見,小形,松浦
  • 学会等名: 電子情報通信学会, 信学技法 vol.110, no 468, KBSE2010-603, pp.7-12
  • 発表場所: 別府コンベンションセンター
  • 年月日: 2011-03-11
• [学会発表] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 (2011)
  • 著者名/発表者名: 式見,小形,松浦
  • 学会等名: 第73回情報処理学会全国大会,6L-3,pp.497-498
  • 発表場所: 東京工業大学
  • 年月日: 2011-03-03
• [学会発表] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成 (2011)
  • 著者名/発表者名: 奥田,小形,松浦
  • 学会等名: 第73回情報処理学会全国大会,3L-4
  • 発表場所: 東京工業大学
  • 年月日: 2011-03-02
• [学会発表] プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用 (2011)
  • 著者名/発表者名: 小形, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: 別府コンベンションセンター
• [学会発表] モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法-データベースロック問題の検証- (2011)
  • 著者名/発表者名: 青木, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: 別府コンベンションセンター
• [学会発表] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成 (2011)
  • 著者名/発表者名: 奥田, 小形, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: 別府コンベンションセンター
• [学会発表] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 (2011)
  • 著者名/発表者名: 式見, 小形, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: 別府コンベンションセンター
• [学会発表] Javaプログラミング初学者のクラス構成学習のための依存関係解 (2011)
  • 著者名/発表者名: 若林, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 東京工業大学
• [学会発表] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成 (2011)
  • 著者名/発表者名: 奥田, 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 東京工業大学
• [学会発表] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 (2011)
  • 著者名/発表者名: 式見, 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 東京工業大学
• [学会発表] UML設計モデルからのコード生成によるコード検査手法 (2011)
  • 著者名/発表者名: 高野, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 東京工業大学
• [学会発表] UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価 (2010)
  • 著者名/発表者名: 小形,松浦
  • 学会等名: 電子情報通信学会, 信学技法 vol.110, no.305, KBSE2010-23, pp. 25-30
  • 発表場所: 静岡大学
  • 年月日: 2010-11-24
• [学会発表] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入 (2010)
  • 著者名/発表者名: 小形,松浦
  • 学会等名: 情報処理学会研究報告,SE-170,No.20,pp.1-8
  • 発表場所: 大阪大学
  • 年月日: 2010-11-11
• [学会発表] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入 (2010)
  • 著者名/発表者名: 小形,松浦
  • 学会等名: 情報処理学会FIT2010講演論文集B-002, pp.245-250
  • 発表場所: 九州大学
  • 年月日: 2010-09-07
• [学会発表] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入 (2010)
  • 著者名/発表者名: 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 大阪大学
• [学会発表] UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価 (2010)
  • 著者名/発表者名: 小形, 松浦
  • 学会等名: 電子情報通信学会
  • 発表場所: 静岡大学
• [学会発表] フィールドとメソッド間の依存関係に着目したリファクタリング適用箇所抽出方法 (2010)
  • 著者名/発表者名: 若林, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 九州大学
• [学会発表] ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証 (2010)
  • 著者名/発表者名: 青木, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 九州大学
• [学会発表] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入 (2010)
  • 著者名/発表者名: 小形, 松浦
  • 学会等名: 情報処理学会
  • 発表場所: 九州大学
• [学会発表] プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上 (2010)
  • 著者名/発表者名: 小形真平, 松浦佐江子, 酒井理江, 佐藤宏之, 小林透
  • 学会等名: 情報処理学会
  • 発表場所: 化学会館
• [学会発表] プログラムの実行・評価機構を持つWeb教科書によるソフトウェア開発技能育成
  • 著者名/発表者名: 松浦佐江子
  • 学会等名: 平成24年度ICT利用による教育改善研究発表会
  • 発表場所: 東京理科大学
• [備考] プロトタイプ自動生成ツールの公開
  • URL: http://www.sayo.se.shibaura-it.ac.jp/
• [備考] Incusphere Project
  • URL: http://www.sayo.se.shibaura-it.ac.jp/incusphere/
• [備考] Incusphere Project
  • URL: http://www.sayo.se.shibaura-it.ac.jp/incusphere/
• [備考] トップページ⇒リンク⇒Web UIプロトタイプ自動生成ツール
  • URL: http://www.sayo.shibaura-it.ac.jp/
• [備考] トップページ ⇒ リンク ⇒ Web UIプロトタイプ自動生成ツール
  • URL: http://www.sayo.shibaura-it.ac.jp/