• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Model Driven Requirements Analysis Method for PBL of Software Engineer Education

Research Project

Project/Area Number 22500033
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionShibaura Institute of Technology

Principal Investigator

MATSUURA Saeko  芝浦工業大学, デザイン工学部, 教授 (10348906)

Project Period (FY) 2010 – 2012
Project Status Completed (Fiscal Year 2012)
Budget Amount *help
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Keywordsソフトウェア工学教育 / 要求分析 / Unified Modeling Language / Model Driven Development / Project Based Learning / オブジェクト指向開発技術 / ソフトウェア開発技術者教育 / モデル検査 / UML
Research Abstract

We have studied a model driven requirements analysis method based on UML to develop efficiently high quality software products, which is an urgent need of the industrial world. At the early stage of software developments, it is very important tomodel non-ambiguous, complete, consistent requirements specifications, but it is hard to put into practice. To solve the problem, we have to conduct practical software engineering education so that many developers can have modeling skills so as to define non-ambiguous, complete, consistent requirements specifications. We propose a method to train modeling skills with the several support tools and teaching materials.

Report

(4 results)
  • 2012 Annual Research Report   Final Research Report ( PDF )
  • 2011 Annual Research Report
  • 2010 Annual Research Report
  • Research Products

    (91 results)

All 2013 2012 2011 2010 Other

All Journal Article (31 results) (of which Peer Reviewed: 31 results) Presentation (55 results) Remarks (5 results)

  • [Journal Article] Experimental development based on mapping rule between requirements analysis model and web framework specific design model2013

    • Author(s)
      Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura
    • Journal Title

      SpringerPlus

      Volume: 2 Issue: 1 Pages: 123-123

    • DOI

      10.1186/2193-1801-2-123

    • URL

      http://www.springerplus.com/content/2/1/123

    • Related Report
      2012 Annual Research Report 2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] A r eview method for UML requirements analysis model employing system-side prototyping2013

    • Author(s)
      Shinpei Ogata, Saeko Matsuura
    • Journal Title

      SpringerPlus

      Volume: 2 Issue: 1 Pages: 134-134

    • DOI

      10.1186/2193-1801-2-134

    • URL

      http://www.springerplus.com/content2/1/134

    • Related Report
      2012 Annual Research Report 2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] プログラムの実行・評価機構を持つWeb教科書によるソフトウェア開発技能育成2012

    • Author(s)
      松浦佐江子
    • Journal Title

      論文誌ICT情報教育方法研究,(社)私立大学情報教育協会

      Volume: 15(1) Pages: 13-18

    • NAID

      40020164488

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 協調学習によるソースコード識別子の命名学習方法2012

    • Author(s)
      式見,松浦
    • Journal Title

      情報処理学会FIT2012講演論文集RK-005

      Volume: 第3分冊 Pages: 73-78

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法情報処理学会2012

    • Author(s)
      野呂,小形,松浦
    • Journal Title

      FIT2012講演論文集RO-008

      Volume: 第4分冊 Pages: 77-80

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Review Method of Requirements Analysis Model in UML with Prototyping, Knowledge-Based Software Engineering2012

    • Author(s)
      S.Ogata and S. Matsuura
    • Journal Title

      Proc of the 10thJoint conference on Knowledge-Based Software Engineering, IOS Press

      Pages: 181-190

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model, Knowledge-Based Software Engineering2012

    • Author(s)
      H. Okuda, S. Ogata and S. Matsuura
    • Journal Title

      Proc of the 10thJoint conference on Knowledge-Based Software Engineering, IOS Press

      Pages: 207-216

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Test Case Generation by Simulating Requirements Analysis Model2012

    • Author(s)
      R.Shikim, S. Ogata and S.Matsuura
    • Journal Title

      Proc of 2012 IEEE 36^International Conference on Computer Software and Applications

      Pages: 356-357

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Collaborative Learning Environment for Identifier Naming in Source Codes2012

    • Author(s)
      R.Shikimi and S.Matsuura
    • Journal Title

      Proc. of CATE 2012

      Pages: 106-111

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Training of Requirements Analysis Modeling with UML-based Prototype Generation Tool2012

    • Author(s)
      S.Ogata and S.Matsuura
    • Journal Title

      ISEC '12

      Pages: 105-108

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] プログラムの実行・評価機構を持つWeb教科書によるソフトウェア開発技能育成2012

    • Author(s)
      松浦佐江子
    • Journal Title

      論文誌ICT情報教育方法研究,(社)私立大学情報教育協会

      Volume: 第15巻,第1号 Pages: 13-18

    • NAID

      40020164488

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 協調学習によるソースコード識別子の命名学習方法2012

    • Author(s)
      式見,松浦
    • Journal Title

      情報処理学会FIT2012講演論文集

      Volume: RK-005 Pages: 73-78

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Review Method of Requirements Analysis Model in UML with Prototyping, Knowledge-Based Software Engineering2012

    • Author(s)
      S.Ogata and S. Matsuura
    • Journal Title

      Proc of the 10th Joint conference on Knowledge-Based Software Engineering,IOS Press

      Pages: 181-190

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model2012

    • Author(s)
      H. Okuda, S. Ogata and S. Matsuura
    • Journal Title

      Proc of the 10th Joint conference on Knowledge-Based Software Engineering, IOS Press

      Pages: 207-216

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Collaborative Learning Environment for Identifier Naming in Source Codes,2012

    • Author(s)
      R.Shikimi and S.Matsuura
    • Journal Title

      Proc. of CATE 2012.

      Pages: 106-111

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Training of Requirements Analysis Modeling with UML-based Prototype Generation Tool2012

    • Author(s)
      S.Ogata, S.Matsuura
    • Journal Title

      Proc.of 5th India Software Engineering Conference (ISEC2012)

      Pages: 105-108

    • DOI

      10.1145/2134254.2134273

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験,ソフトウェア工学の基礎XVIII2011

    • Author(s)
      小形,松浦
    • Journal Title

      日本ソフトウェア科学会FOSE 2011

      Pages: 95-100

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Dependency Analysis for Learning Class Structure for Novice Java Programmer2011

    • Author(s)
      T. Wakabayashi , S.Ogata and S. Matsuura
    • Journal Title

      Proc of IEEE 2nd International Conference on Software Engineering and Service

      Pages: 532-535

    • NAID

      110008676814

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Method for Detecting Unusual Defects in Enterprise System , Proc of SOFTWARE ENGINEERING2011

    • Author(s)
      Y. Aoki and S. Matsuura
    • Journal Title

      PARALLEL and DISTRIBUTED SYSTEMS (SEPADS '11)

      Pages: 165-171

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Validation Code Generation for Unexpected User Operation on Web User Interface, Proc of International Conference on Communication2011

    • Author(s)
      S.Ogata and S.Matsuura
    • Journal Title

      Computing and Control Applications

      Pages: 1-6

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験2011

    • Author(s)
      小形真平, 松浦佐江子
    • Journal Title

      ソフトウェア工学の基礎XVII

      Pages: 95-100

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Validation Code Generation for Unexpected User Operation on Web User Interface2011

    • Author(s)
      Shinpei Ogata, Saeko Matsuura
    • Journal Title

      Proc of International Conference on Communication, Computing and Control Applications

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Verification of Embedded System by a Method for Detecting Defects in Source Codes Using Model Checking2011

    • Author(s)
      Y.Aoki, S.Matsuura
    • Journal Title

      Proc of IEEE Symposium on Computers & Informatics

      Pages: 530-535

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ENHANCEMENT OF REQUIREMENTS SPECIFICATION TRACEABILITY BY MO DRIVEN REQUIREMENTS ANALYSIS EMPLOYING AUTOMATIC PROTOTYPE GENERATION2011

    • Author(s)
      S.Ogata, S.Matsuura, R.Sakai, H.Sato, T.Kobayashi
    • Journal Title

      Proc.of The IASTED International Conference on Software Engineering

      Pages: 55-63

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Method for Detecting Defects in Source Codes Using Model Checking Techniques2011

    • Author(s)
      Y.Aoki, S.Matsuura
    • Journal Title

      Proc of the 34th Annual IEEE International Computer Software and Applications Conference

      Pages: 543-544

    • NAID

      110007521514

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Evaluation of a Use-Case-Driven Requirements Analysis Tool Employing Web UI Prototype Generation2010

    • Author(s)
      Shinpei Ogata, Saeko Matsuura
    • Journal Title

      WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS

      Volume: Issue 2, Volume 7 Pages: 273-282

    • Related Report
      2012 Final Research Report 2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ソースコード解析を利用したモデル検査に基づく欠陥抽出手法,ソフトウェア工学の基礎XVII2010

    • Author(s)
      青木,松浦
    • Journal Title

      日本ソフトウェア科学会FOSE 2010

      Pages: 95-100

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Method of Automatic Integration Test Case Generation from UML-based Scenario2010

    • Author(s)
      Shinpei Ogata, Saeko Matsuura
    • Journal Title

      WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS

      Volume: Issue 4, Volume 7 Pages: 598-607

    • Related Report
      2012 Final Research Report 2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成手法,日本ソフトウェア科学会2010

    • Author(s)
      小形,松浦
    • Journal Title

      コンピュータソフトウェア

      Volume: 27(2) Pages: 14-32

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Method for Detecting Defects in Source Codes Using Model Checking Techniques2010

    • Author(s)
      Y. Aoki and S. Matsuura
    • Journal Title

      Proc of the 34th Annual IEEE International Computer Software and Applications Conference

      Pages: 543-544

    • NAID

      110007521514

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] ソースコード解析を利用したモデル検査に基づく欠陥抽出手法2010

    • Author(s)
      青木善貴, 松浦佐江子
    • Journal Title

      ソフトウェア工学の基礎XVII

      Pages: 95-100

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Presentation] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法2013

    • Author(s)
      式見,小形,松浦
    • Organizer
      電子情報通信学会, 信学技報, vol. 112, no. 496, KBSE2012-69, pp. 37-42
    • Place of Presentation
      芝浦工業大学
    • Year and Date
      2013-03-14
    • Related Report
      2012 Final Research Report
  • [Presentation] 要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価2013

    • Author(s)
      奥田博隆,小形真平,松浦佐江子
    • Organizer
      第75回情報処理学会全国大会, 4M-4,2013(学生奨励賞受賞)
    • Place of Presentation
      東北大学
    • Year and Date
      2013-03-07
    • Related Report
      2012 Final Research Report
  • [Presentation] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法2013

    • Author(s)
      式見遼,小形真平,松浦佐江子
    • Organizer
      第75回情報処理学会全国大会, 2M-8,2013(学生奨励賞受賞)
    • Place of Presentation
      東北大学
    • Year and Date
      2013-03-06
    • Related Report
      2012 Final Research Report
  • [Presentation] セキュリティ機能方針の具体化によるセキュリティ機能要求分析手法2013

    • Author(s)
      野呂惇,小形真平,松浦佐江子
    • Organizer
      第75回情報処理学会全国大会, 2M-5
    • Place of Presentation
      東北大学
    • Year and Date
      2013-03-06
    • Related Report
      2012 Final Research Report
  • [Presentation] AndroidアプリケーションのUIの変更に伴うUML要求仕様への影響の分析2013

    • Author(s)
      松井駿介,小形真平,松浦佐江子
    • Organizer
      第75回情報処理学会全国大会,2M-7
    • Place of Presentation
      東北大学
    • Year and Date
      2013-03-06
    • Related Report
      2012 Final Research Report
  • [Presentation] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法2013

    • Author(s)
      式見,小形,松浦
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      芝浦工業大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価2013

    • Author(s)
      奥田博隆,小形真平,松浦佐江子
    • Organizer
      情報処理学会第75回情報処理学会全国大会
    • Place of Presentation
      東北大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法2013

    • Author(s)
      式見遼,小形真平,松浦佐江子
    • Organizer
      情報処理学会第75回情報処理学会全国大会
    • Place of Presentation
      東北大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] AndroidアプリケーションのUIの変更に伴うUML要求仕様への影響の分析2013

    • Author(s)
      松井駿介,小形真平,松浦佐江子
    • Organizer
      情報処理学会第75回情報処理学会全国大会
    • Place of Presentation
      東北大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 組込みソフトウェア開発におけるトップダウンな振る舞い・データモデリングプロセス2013

    • Author(s)
      岡田康治,松浦佐江子
    • Organizer
      情報処理学会第75回情報処理学会全国大会
    • Place of Presentation
      東北大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析2012

    • Author(s)
      奥田,松井,式見,野呂,岡田,小形,松浦
    • Organizer
      電子情報通信学会, 信学技報, vol. 112, no. 314, KBSE2012-45, pp. 43-48
    • Place of Presentation
      金沢大学
    • Year and Date
      2012-11-22
    • Related Report
      2012 Final Research Report
  • [Presentation] データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法2012

    • Author(s)
      小形,青木,奥田,松浦
    • Organizer
      電子情報通信学会, 信学技報, vol. 112, no. 314, KBSE2012-56, pp. 109-114
    • Place of Presentation
      金沢大学
    • Year and Date
      2012-11-22
    • Related Report
      2012 Final Research Report
  • [Presentation] 要求分析モデルを用いたエンティティ間の関連と属性に対するデータライフサイクル検証手法の提案2012

    • Author(s)
      奥田,小形,青木,松浦
    • Organizer
      情報処理学会FIT2012講演論文集B-027, pp.231-234(第1分 冊)
    • Place of Presentation
      法政大学
    • Year and Date
      2012-09-05
    • Related Report
      2012 Final Research Report
  • [Presentation] UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法2012

    • Author(s)
      野呂,小形,松浦
    • Organizer
      電子情報通信学会, 信学技報vol. 112, no. 165, KBSE2012-35, pp. 139-144
    • Place of Presentation
      はこだて未来大学
    • Year and Date
      2012-07-27
    • Related Report
      2012 Final Research Report
  • [Presentation] ユースケース記述における初学者特有の問題点への系統的な改善方法2012

    • Author(s)
      松井,奥田,式見,野呂,岡田,小形,松浦
    • Organizer
      電子情報通信学会, 信学技報vol. 112, no. 165, KBSE2012-15, pp. 19-24
    • Place of Presentation
      はこだて未来大学
    • Year and Date
      2012-07-27
    • Related Report
      2012 Final Research Report
  • [Presentation] 要求分析モデルのマルチプラットフォーム適用実験に基づく十分性の分析2012

    • Author(s)
      奥田, 小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2012-03-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] UML要求分析モデルにおけるCRUD観点のデータライフサイクルの妥当性検査手法2012

    • Author(s)
      青木, 小形, 奥田, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2012-03-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] Common Criteriaを利用したモデル駆動アーキテクチャによるセキュリティ要求分析手法2012

    • Author(s)
      野呂, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2012-03-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] 組み込みソフトウェア開発におけるハードウェア要件の分析と検証2012

    • Author(s)
      岡田, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2012-03-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] 識別子の難読化と命名の収集による命名学習方法の提案2012

    • Author(s)
      式見,松浦
    • Organizer
      第74回情報処理学会全国大会,1L-3,2012(大会奨励賞受賞)
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2012-03-06
    • Related Report
      2012 Final Research Report
  • [Presentation] 要求分析モデルのマルチプラットフォーム適用実験に基づく十分性の分析2012

    • Author(s)
      奥田,小形,松浦
    • Organizer
      第74回情報処理学会全国大会,5L-6,2012(学生奨励賞受賞)
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2012-03-06
    • Related Report
      2012 Final Research Report
  • [Presentation] ML要求仕様からのAndroid-UIプロトタイプ自動生成手法2012

    • Author(s)
      松井, 小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2012-03-06
    • Related Report
      2011 Annual Research Report
  • [Presentation] UMLシナリオを活用したインタラクションの欠陥発見手法2012

    • Author(s)
      小形, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      機械振興会館
    • Year and Date
      2012-01-23
    • Related Report
      2011 Annual Research Report
  • [Presentation] 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法2012

    • Author(s)
      青木, 松浦
    • Organizer
      電予情報通信学会
    • Place of Presentation
      機械振興会館
    • Year and Date
      2012-01-23
    • Related Report
      2011 Annual Research Report
  • [Presentation] ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析2012

    • Author(s)
      奥田,松井,式見,野呂,岡田,小形,松浦
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      金沢大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] オブジェクト指向プログラミング初学者のためのソースコード品質評価分析2011

    • Author(s)
      若林, 松浦
    • Organizer
      電予情報通信学会
    • Place of Presentation
      信州大学
    • Year and Date
      2011-11-10
    • Related Report
      2011 Annual Research Report
  • [Presentation] データライフサイクル保証の為の要求分析モデル検証手法の提案2011

    • Author(s)
      奥田, 小形, 松浦
    • Organizer
      ソフトウェア科学会
    • Place of Presentation
      沖縄産業支援センター
    • Year and Date
      2011-09-27
    • Related Report
      2011 Annual Research Report
  • [Presentation] 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール2011

    • Author(s)
      式見, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      オーシャングランドホテル済州
    • Year and Date
      2011-09-22
    • Related Report
      2011 Annual Research Report
  • [Presentation] ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析2011

    • Author(s)
      奥田, 小形, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      オーシャングランドホテル済州
    • Year and Date
      2011-09-22
    • Related Report
      2011 Annual Research Report
  • [Presentation] オブジェクト指向プログラミング初学者のためのソースコード評価ツール2011

    • Author(s)
      若林, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      函館大学
    • Year and Date
      2011-09-07
    • Related Report
      2011 Annual Research Report
  • [Presentation] 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール2011

    • Author(s)
      式見, 小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      函館大学
    • Year and Date
      2011-09-07
    • Related Report
      2011 Annual Research Report
  • [Presentation] ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析2011

    • Author(s)
      奥田, 小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      函館大学
    • Year and Date
      2011-09-07
    • Related Report
      2011 Annual Research Report
  • [Presentation] プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用2011

    • Author(s)
      小形,松浦
    • Organizer
      電子情報通信学会, 信学技法vol.110, no 468, KBSE2010-603, pp.37-42
    • Place of Presentation
      別府コンベンションセンター
    • Year and Date
      2011-03-11
    • Related Report
      2012 Final Research Report
  • [Presentation] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成2011

    • Author(s)
      奥田,小形,松浦
    • Organizer
      電子情報通信学会, 信学技法 vol.110, no 468, KBSE2010-603, pp.73-78
    • Place of Presentation
      別府コンベンションセンター
    • Year and Date
      2011-03-11
    • Related Report
      2012 Final Research Report
  • [Presentation] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成2011

    • Author(s)
      式見,小形,松浦
    • Organizer
      電子情報通信学会, 信学技法 vol.110, no 468, KBSE2010-603, pp.7-12
    • Place of Presentation
      別府コンベンションセンター
    • Year and Date
      2011-03-11
    • Related Report
      2012 Final Research Report
  • [Presentation] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成2011

    • Author(s)
      式見,小形,松浦
    • Organizer
      第73回情報処理学会全国大会,6L-3,pp.497-498
    • Place of Presentation
      東京工業大学
    • Year and Date
      2011-03-03
    • Related Report
      2012 Final Research Report
  • [Presentation] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成2011

    • Author(s)
      奥田,小形,松浦
    • Organizer
      第73回情報処理学会全国大会,3L-4
    • Place of Presentation
      東京工業大学
    • Year and Date
      2011-03-02
    • Related Report
      2012 Final Research Report
  • [Presentation] プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用2011

    • Author(s)
      小形, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      別府コンベンションセンター
    • Related Report
      2010 Annual Research Report
  • [Presentation] モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法-データベースロック問題の検証-2011

    • Author(s)
      青木, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      別府コンベンションセンター
    • Related Report
      2010 Annual Research Report
  • [Presentation] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成2011

    • Author(s)
      奥田, 小形, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      別府コンベンションセンター
    • Related Report
      2010 Annual Research Report
  • [Presentation] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成2011

    • Author(s)
      式見, 小形, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      別府コンベンションセンター
    • Related Report
      2010 Annual Research Report
  • [Presentation] Javaプログラミング初学者のクラス構成学習のための依存関係解2011

    • Author(s)
      若林, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      東京工業大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成2011

    • Author(s)
      奥田, 小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      東京工業大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] UML要求仕様からのカバレッジに基づく機能テストのテストケース生成2011

    • Author(s)
      式見, 小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      東京工業大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] UML設計モデルからのコード生成によるコード検査手法2011

    • Author(s)
      高野, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      東京工業大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価2010

    • Author(s)
      小形,松浦
    • Organizer
      電子情報通信学会, 信学技法 vol.110, no.305, KBSE2010-23, pp. 25-30
    • Place of Presentation
      静岡大学
    • Year and Date
      2010-11-24
    • Related Report
      2012 Final Research Report
  • [Presentation] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入2010

    • Author(s)
      小形,松浦
    • Organizer
      情報処理学会研究報告,SE-170,No.20,pp.1-8
    • Place of Presentation
      大阪大学
    • Year and Date
      2010-11-11
    • Related Report
      2012 Final Research Report
  • [Presentation] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入2010

    • Author(s)
      小形,松浦
    • Organizer
      情報処理学会FIT2010講演論文集B-002, pp.245-250
    • Place of Presentation
      九州大学
    • Year and Date
      2010-09-07
    • Related Report
      2012 Final Research Report
  • [Presentation] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入2010

    • Author(s)
      小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      大阪大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価2010

    • Author(s)
      小形, 松浦
    • Organizer
      電子情報通信学会
    • Place of Presentation
      静岡大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] フィールドとメソッド間の依存関係に着目したリファクタリング適用箇所抽出方法2010

    • Author(s)
      若林, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      九州大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証2010

    • Author(s)
      青木, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      九州大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入2010

    • Author(s)
      小形, 松浦
    • Organizer
      情報処理学会
    • Place of Presentation
      九州大学
    • Related Report
      2010 Annual Research Report
  • [Presentation] プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上2010

    • Author(s)
      小形真平, 松浦佐江子, 酒井理江, 佐藤宏之, 小林透
    • Organizer
      情報処理学会
    • Place of Presentation
      化学会館
    • Related Report
      2010 Annual Research Report
  • [Presentation] プログラムの実行・評価機構を持つWeb教科書によるソフトウェア開発技能育成

    • Author(s)
      松浦佐江子
    • Organizer
      平成24年度ICT利用による教育改善研究発表会
    • Place of Presentation
      東京理科大学
    • Related Report
      2012 Annual Research Report
  • [Remarks] プロトタイプ自動生成ツールの公開

    • URL

      http://www.sayo.se.shibaura-it.ac.jp/

    • Related Report
      2012 Final Research Report
  • [Remarks] Incusphere Project

    • URL

      http://www.sayo.se.shibaura-it.ac.jp/incusphere/

    • Related Report
      2012 Final Research Report
  • [Remarks] Incusphere Project

    • URL

      http://www.sayo.se.shibaura-it.ac.jp/incusphere/

    • Related Report
      2012 Annual Research Report
  • [Remarks] トップページ⇒リンク⇒Web UIプロトタイプ自動生成ツール

    • URL

      http://www.sayo.shibaura-it.ac.jp/

    • Related Report
      2011 Annual Research Report
  • [Remarks] トップページ ⇒ リンク ⇒ Web UIプロトタイプ自動生成ツール

    • URL

      http://www.sayo.shibaura-it.ac.jp/

    • Related Report
      2010 Annual Research Report

URL: 

Published: 2010-08-23   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi