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

Studies on Software Analysis using Probabilistic Language Models

Research Project

Project/Area Number 22500037
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionNanzan University

Principal Investigator

SAWADA Atsushi  南山大学, 情報理工学部, 教授 (40273841)

Co-Investigator(Kenkyū-buntansha) NORO Masami  南山大学, 情報理工学部, 教授 (40189452)
CHANG Han-myung  南山大学, 情報理工学部, 准教授 (90329756)
Project Period (FY) 2010 – 2012
Project Status Completed (Fiscal Year 2012)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2010: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywordsソフトウェア工学 / ソフトウェア解析 / ソフトウェア進化 / アーキテクチャ設計 / 確率的言語モデル / ソフトウェアコーパス / コードインスペクション / 検証方式 / ソースコード解析 / 書換え支援 / リポジトリ解析 / ソフトウェアリポジトリ / インスペクション / 書き換え支援 / ソフトウェアアーキテクチャ
Research Abstract

In this study we have described the intellectual ambiguity within software products as probabilistic software models and developed a foundation of the software analysis and evolution tools which are able to use these models. In order to locate our study in the context of software maintenance, we have carried out a comprehensive literature review in the area of software analysis and evolution. Based on the result of the review, we have developed a reusable foundation for source code analysis tools and also modeled the decision making processes for the software architecture design.

Report

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

    (43 results)

All 2013 2012 2011 2010

All Journal Article (21 results) (of which Peer Reviewed: 21 results) Presentation (20 results) Book (2 results)

  • [Journal Article] Dependency Based Approach for Software Analysis Web Services Replacement2012

    • Author(s)
      C. Wijesiriwardana, G. Ghezzi, E.Giger, A. Sawada, H. Gall
    • Journal Title

      Proc. the 19th Asia-Pacific Software Engineering Conference

      Pages: 294-299

    • DOI

      10.1109/apsec.2012.130

    • Related Report
      2012 Annual Research Report 2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Literature Review on Software Evolution Research2012

    • Author(s)
      大森隆行,丸山勝久,林晋平,沢田篤史
    • Journal Title

      Computer Software

      Volume: 29 Issue: 3 Pages: 3_3-3_28

    • DOI

      10.11309/jssst.29.3_3

    • NAID

      130004549283

    • ISSN
      0289-6540
    • Related Report
      2012 Annual Research Report 2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 属性付き字句系列に基づくソースコード書き換え支援環境2012

    • Author(s)
      吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.53,No.7 Pages: 1832-1849

    • NAID

      110009423553

    • URL

      http://id.nii.ac.jp/1001/00083176/

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 属性付き字句系列に基づくソースコード書き換え支援環境2012

    • Author(s)
      吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
    • Journal Title

      情報処理学会論文誌

      Volume: 53巻 Pages: 1832-1849

    • NAID

      110009423553

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Design Map for Recording Precise Architecture Decisions2011

    • Author(s)
      Sawada, A, Noro, M., Chang, H.-M., Hachisu, Y., Yoshida, A
    • Journal Title

      Proc.the 18th Asia-Pacific Software Engineering Conference (APSEC2011)

      Pages: 298-305

    • DOI

      10.1109/apsec.2011.36

    • Related Report
      2012 Final Research Report 2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化2011

    • Author(s)
      沢田篤史,野呂昌満,蜂巣吉成,張漢明,吉田敦,長大介,浦野彰彦
    • Journal Title

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

      Volume: Vol.28,No.4

    • NAID

      130004549240

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] HTML要素の状態を考慮したCSSの拡張方法の提案2011

    • Author(s)
      蜂巣吉成,吉田敦,野呂昌満,沢田篤史,張漢明
    • Journal Title

      電子情報通信学会論文誌D

      Volume: Vol.J94-D,No.11 Pages: 1931-1934

    • NAID

      110008761643

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] コンパイル方式によるXQuery問い合わせプログラム生成方法2011

    • Author(s)
      蜂巣吉成,野呂昌満,沢田篤史,張漢明,吉田敦
    • Journal Title

      ソフトウェア工学の基礎XVIII-日本ソフトウェア科学会FOSE2011

      Pages: 21-30

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 表現の違いを考慮したマクロ逆置換方法の提案2011

    • Author(s)
      曽我展世,吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム2011論文集(情報処理学会シンポジウムシリーズ)

      Volume: Vol.2011 Pages: 1-6

    • NAID

      170000067110

    • URL

      http://id.nii.ac.jp/1001/00077559/

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Measuring the Effects of Aspect-Oriented Refactoring on Component Relationships: Two Case Studies2011

    • Author(s)
      R. Yokomori, H. Siy, N. Yoshida, M.Noro, K. Inoue
    • Journal Title

      Proceedings of the 10th Annual Aspect-Oriented SoftwareDevelopment Conference (AOSD2011)

      Pages: 215-226

    • DOI

      10.1145/1960275.1960301

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 表現の違いを考慮したマクロ逆置換方法の提案2011

    • Author(s)
      曽我展世, 吉田敦, 蜂巣吉成, 沢田篤史, 張漢明, 野呂昌満
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム2011論文集(情報処理学会シンポジウムシリーズ)

      Volume: 2011 Pages: 1-6

    • NAID

      170000067110

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] コンパイル方式によるXQuery問い合わせプログラム生成方法2011

    • Author(s)
      蜂巣吉成, 野呂昌満, 沢田篤史, 張漢明, 吉田敦
    • Journal Title

      ソフトウェア工学の基礎XVIII-日本ソフトウェア科学会FOSE2011

      Pages: 21-30

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] HTML要素の状態を考慮したCSSの拡張方法の提案2011

    • Author(s)
      蜂巣吉成, 吉田敦, 野呂昌満, 沢田篤史, 張漢明
    • Journal Title

      電子情報通信学会論文誌D

      Volume: J94-D Pages: 1931-1934

    • NAID

      110008761643

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] ソースコードインスペクションツールのためのソフトウェアアーキテクチャの設計と進化2011

    • Author(s)
      沢田篤史, 野呂昌満, 蜂巣吉成, 張漢明, 吉田敦, 長大介, 浦野彰彦
    • Journal Title

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

      Volume: 28

    • NAID

      130004549240

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Measuring the Effects of Aspect-Oriented Refactoring on Component Relationships : Two Case Studies2011

    • Author(s)
      R.Yokomori, H.Siy, N.Yoshida, M.Noro, K.Inoue
    • Journal Title

      Proceedings of the 10th Annual Aspect-Oriented Software Development Conference (AOSD2011)

      Pages: 215-226

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010

    • Author(s)
      張漢明,野呂昌満,沢田篤史,蜂巣吉成,吉田敦
    • Journal Title

      ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010

      Pages: 107-122

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010

    • Author(s)
      浦野彰彦,沢田篤史,野呂昌満,蜂巣吉成,張漢明,吉田敦
    • Journal Title

      ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010

      Pages: 15-24

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010

    • Author(s)
      吉田敦,蜂巣吉成,沢田篤史,張漢明,野呂昌満
    • Journal Title

      ソフトウェアエンジニアリング最前線-情報処理学会SES2010

      Pages: 119-126

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 属性付き字句系列に基づくプログラム書換え支援環境の試作2010

    • Author(s)
      吉田敦, 蜂巣吉成, 沢田篤史, 張漢明, 野呂昌満
    • Journal Title

      ソフトウェアエンジニアリング最前線-情報処理学会SES2010

      Pages: 119-126

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計2010

    • Author(s)
      浦野彰彦, 沢田篤史, 野呂昌満, 蜂巣吉成, 張漢明, 吉田敦
    • Journal Title

      ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010

      Pages: 15-24

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] モデル検査を用いた振舞検証の実用化技術に関する考察-網羅性に着目して-2010

    • Author(s)
      張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
    • Journal Title

      ソフトウェア工学の基礎XVII-日本ソフトウェア科学会FOSE2010

      Pages: 107-112

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Presentation] アーキテクチャ指向開発における形式手法適用に関する考察2013

    • Author(s)
      張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成
    • Organizer
      情報処理学会第28回組込みシステム研究発表会
    • Place of Presentation
      対馬市交流センター(長崎県対馬市)
    • Year and Date
      2013-03-13
    • Related Report
      2012 Final Research Report
  • [Presentation] SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究,情2013

    • Author(s)
      江坂篤侍,野呂昌満 ,沢田篤史
    • Organizer
      報処理学会第179回ソフトウェア工学研究発表会
    • Place of Presentation
      化学会館(東京都千代田区)
    • Year and Date
      2013-03-12
    • Related Report
      2012 Final Research Report
  • [Presentation] SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究2013

    • Author(s)
      江坂篤侍,野呂昌満,沢田篤史
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      化学会館
    • Related Report
      2012 Annual Research Report
  • [Presentation] アーキテクチャ指向開発における形式手法適用に関する考察2013

    • Author(s)
      張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成
    • Organizer
      情報処理学会組込みシステム研究会
    • Place of Presentation
      対馬市交流センター
    • Related Report
      2012 Annual Research Report
  • [Presentation] フォールトパターンを用いたデバッグ支援2012

    • Author(s)
      張漢明,沢田篤史
    • Organizer
      日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ゆふいん山水館(大分県由布市)
    • Year and Date
      2012-12-13
    • Related Report
      2012 Final Research Report
  • [Presentation] 並行システム記述におけるフォールトパターンに関する考察2012

    • Author(s)
      張漢明,野呂昌満,沢田篤史,横森励士,吉田敦,蜂巣吉成
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      広島市立大学(広島県広島市)
    • Year and Date
      2012-11-01
    • Related Report
      2012 Final Research Report
  • [Presentation] ネットワークの振る舞いに依存するシステムへの形式手法の適用の検討2012

    • Author(s)
      吉田信明,張漢明,沢田篤史,中村行宏
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      広島市立大学(広島県広島市)
    • Year and Date
      2012-11-01
    • Related Report
      2012 Final Research Report
  • [Presentation] ソフトウェア進化研究に関する動向調査-IWPSEシリーズを題材に-2012

    • Author(s)
      大森隆行,丸山勝久,林晋平,沢田篤史
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      てんぶす那覇(沖縄県那覇市)
    • Year and Date
      2012-03-14
    • Related Report
      2012 Final Research Report
  • [Presentation] ソフトウェア進化研究に関する動向調査-IWPSEシリーズを題材に-2012

    • Author(s)
      大森隆行, 丸山勝久, 林晋平, 沢田篤史
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      てんぶす那覇
    • Year and Date
      2012-03-14
    • Related Report
      2011 Annual Research Report
  • [Presentation] ネットワークの振る舞いに依存するシステムへの形式手法の適用の検討2012

    • Author(s)
      吉田信明,張漢明,沢田篤史,中村行宏
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      広島市立大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] 並行システム記述におけるフォールトパターンに関する考察2012

    • Author(s)
      張漢明,野呂昌満,沢田篤史,横森励士,吉田敦,蜂巣吉成
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      広島市立大学
    • Related Report
      2012 Annual Research Report
  • [Presentation] フォールトパターンを用いたデバッグ支援2012

    • Author(s)
      張漢明,沢田篤史
    • Organizer
      日本ソフトウェア科学会第19回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ゆふいん山水館
    • Related Report
      2012 Annual Research Report
  • [Presentation] パターンに基づくCSP記述の検査に関する考察2011

    • Author(s)
      張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成,横森励士
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      北陸先端科学技術大学院大学(石川県能美市)
    • Year and Date
      2011-10-28
    • Related Report
      2012 Final Research Report
  • [Presentation] パターンに基づくCSP記述の検査に関する考察2011

    • Author(s)
      張漢明, 野呂昌満, 沢田篤史, 吉田敦, 蜂巣吉成, 横森励士
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      北陸先端科学技術大学院大学
    • Year and Date
      2011-10-28
    • Related Report
      2011 Annual Research Report
  • [Presentation] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010

    • Author(s)
      張漢明 ,野呂昌満 ,沢田篤史 ,蜂巣吉成,吉田敦
    • Organizer
      情報処理学会第18回組込みシステム研 究発表会
    • Place of Presentation
      はこだて未来大学(北海道函館市)
    • Year and Date
      2010-08-10
    • Related Report
      2012 Final Research Report
  • [Presentation] 階層分割に基づく組込みソフトウェアの振舞い検証の支援について2010

    • Author(s)
      張漢明, 野呂昌満, 沢田篤史, 蜂巣吉成, 吉田敦
    • Organizer
      情報処理学会第18回組込みシステム研究発表会
    • Place of Presentation
      はこだて未来大学(北海道函館市)
    • Year and Date
      2010-08-10
    • Related Report
      2010 Annual Research Report
  • [Presentation] On the Job Learning2010

    • Author(s)
      沢田篤史
    • Organizer
      産学連携による新しいソフトウェア工学教育手法
    • Place of Presentation
      慶應義塾大学日吉キャンパス(横浜市港北区)
    • Year and Date
      2010-06-26
    • Related Report
      2012 Final Research Report
  • [Presentation] On the Job Learning~産学連携による新しいソフトウェア工学教育手法~2010

    • Author(s)
      沢田篤史
    • Organizer
      情報システム学会第3回シンポジウム
    • Place of Presentation
      慶應義塾大学日吉キャンパス(横浜市港北区)
    • Year and Date
      2010-06-26
    • Related Report
      2010 Annual Research Report
  • [Presentation] デザインパターンを用いたCDIツールのアーキテクチャとその実現2010

    • Author(s)
      浦野彰彦,沢田篤史,野呂昌満,蜂巣吉成
    • Organizer
      情報処理学会第168回ソフトウェア工学研究会/第17回組込みシステム研究会合同研究発表会
    • Place of Presentation
      化学会館(東京都千代田区)
    • Year and Date
      2010-06-02
    • Related Report
      2012 Final Research Report
  • [Presentation] デザインパターンを用いたCDIツールのアーキテクチャとその実現2010

    • Author(s)
      浦野彰彦, 沢田篤史, 野呂昌満, 蜂巣吉成
    • Organizer
      情報処理学会第168回ソフトウェア工学研究会/第17回組込みシステム研究会 合同研究発表会
    • Place of Presentation
      化学会館(東京都千代田区)
    • Year and Date
      2010-06-02
    • Related Report
      2010 Annual Research Report
  • [Book] 組込みソフトウェア開発技術2011

    • Author(s)
      沢田篤史,平山雅之
    • Total Pages
      352
    • Publisher
      CQ出版社
    • Related Report
      2012 Final Research Report
  • [Book] 組込みソフトウェア開発技術2011

    • Author(s)
      沢田篤史, 平山雅之(編著), 三橋二彩子, 丸山勝久, 小野洋彦, 岸知二, 片山徹郎, 青木利晃, 片岡欣夫, 小笠原秀人(著)
    • Total Pages
      352
    • Publisher
      CQ出版社
    • 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