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

A Programming Support Method based on Decomposition and Composition using Views

Research Project

Project/Area Number 22500036
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

YOSHIDA Atsushi  南山大学, 情報理工学部, 教授 (50283495)

Co-Investigator(Kenkyū-buntansha) HACHISU Yoshinari  南山大学, 情報理工学部, 准教授 (30319298)
Project Period (FY) 2010 – 2012
Project Status Completed (Fiscal Year 2012)
Budget Amount *help
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywordsソフトウエア工学 / プログラム開発支援 / プログラム変換 / プログラム書換え / 前処理指令 / コメントの維持 / プログラムパターン / 字句系列 / 抽象構文木 / プログラム解析 / プログラムパターン変換 / 前処理前解析
Research Abstract

Program transformation is a key technique for programming support. It should consistently modify programs under the restrictions of preprocess directives, comments preservation. In this research, we have proposed "attributed token sequence" as a format of abstract syntax tree, which is neutral for views, such as abstract syntax tree, preprocess directives, and comments. It enables us to build tools for each view independently. We have implemented a parser and a pattern-based program transformation tool to confirm that they enable separation of views for building applications.

Report

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

    (33 results)

All 2013 2012 2011 2010

All Journal Article (27 results) (of which Peer Reviewed: 23 results) Presentation (6 results)

  • [Journal Article] 前処理プログラムに対する記号表の構成手法2013

    • Author(s)
      前林達也,吉田敦,蜂巣吉成,張漢明,野呂昌満
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.54,No.2 Pages: 912-921

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 前処理プログラムに対する記号表の構成手法2013

    • Author(s)
      前林達也
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.54, No.2 Pages: 912-921

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

    • Author(s)
      張漢明
    • Journal Title

      情報処理学会研究報告, 組込みシステム研究会

      Volume: 2013-EMB-28(11) Pages: 1-6

    • Related Report
      2012 Annual Research Report
  • [Journal Article] プログラミング学習における誤り訂正問題の自動生成方法の提案2013

    • Author(s)
      蜂巣吉成
    • Journal Title

      電子情報通信学会技術研究報告書, ソフトウェアサイエンス研究会

      Volume: Vol. 112, No. 458, SS2012-70 Pages: 63-68

    • Related Report
      2012 Annual Research Report
  • [Journal Article] 文脈を考慮したHTML4からHTML5への書き換え方法の提案2012

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

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

      Volume: FOSE2012 Pages: 21-26

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 前処理プログラムに対する記号表の構成手法2012

    • Author(s)
      前林達也,吉田敦,蜂巣吉成,張漢明,野呂昌満
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム2012論文集

      Volume: Vol.2012 Pages: 1-6

    • Related Report
      2012 Annual Research Report 2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Web ページ記述内のプログラム断片に対する DOM tree を用いた構文木の構成手法2012

    • Author(s)
      立道昂太, 吉田敦 , 蜂巣吉成 , 張漢明, 野呂昌満
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム2012論文集

      Volume: Vol.2012 Pages: 1-6

    • NAID

      170000071932

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

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

      情報処理学会論文誌

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

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] 文脈を考慮したHTML4からHTML5への書き換え方法の提案2012

    • Author(s)
      蜂巣吉成
    • Journal Title

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

      Volume: FOSE 2012 Pages: 21-26

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Webページ記述内のプログラム断片に対する DOM tree を用いた構文木の構成手法2012

    • Author(s)
      立道昂太
    • Journal Title

      ソフトウェアエンジニアリングシンポジウム2012論文集

      Volume: Vol.2012 Pages: 1-6

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

    • Author(s)
      吉田敦
    • Journal Title

      情報処理学会論文誌

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

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 並行システム記述におけるフォールトパターンに関する考察2012

    • Author(s)
      張漢明
    • Journal Title

      電子情報通信学会技術研究報告書, ソフトウェアサイエンス研究会

      Volume: Vol.112, No.275, SS2012 36-45 Pages: 41-46

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

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

      Proceedings of the 18th Asia-Pacific Software Engineering Conference (APSEC2011)

      Pages: 298-305

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

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

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

      Volume: Vol.28,No.4

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

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

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

      Volume: No.11 Pages: 1931-1934

    • NAID

      110008761643

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

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

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

      Volume: FOSE2011 Pages: 21-30

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

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

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

      Volume: Vol.2011 Pages: 1-6

    • NAID

      170000067110

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

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

      ソフトウェアエンジニアリングシンポジウム2011(SES2011)論文集

      Volume: 2011 Pages: 1-6

    • NAID

      170000067110

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

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

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

      Volume: Vol.28, No.4 Pages: 241-261

    • NAID

      130004549240

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

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

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

      Pages: 21-30

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] パターンに基づくCSP記述の検査に関する考察2011

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

      電子情報通信学会技術研究報告

      Volume: Vol.111, No.268 Pages: 49-54

    • NAID

      110008900202

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

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

      ソフトウェアエンジニアリング最前線(ソフトウェア・エンジニアリング・シンポジウム2010予稿集)

      Pages: 119-126

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

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

      ソフトウェアエンジニアリング最前線2010

      Pages: 119-126

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

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

      ソフトウェア工学の基礎XVII レクチャーノート/ソフトウェア学36

      Pages: 15-24

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

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

      ソフトウェア工学の基礎XVII レクチャーノート/ソフトウェア学36

      Pages: 11-20

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

    • Author(s)
      張漢明,野呂昌満,沢田篤史,吉田敦,蜂巣吉成
    • Organizer
      情報処理学会組込みシステム研究会
    • Place of Presentation
      長崎県対馬交流センター
    • Year and Date
      2013-03-13
    • Related Report
      2012 Final Research Report
  • [Presentation] プログラミング学習における誤り訂正問題の自動生成方法の提案2013

    • Author(s)
      蜂巣吉成,吉田敦
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      休暇村志賀島福岡県福岡市
    • Year and Date
      2013-03-06
    • 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] パターンに基づくCSP 記述の検査に関する考察2011

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

    • Author(s)
      張漢明,野呂昌満,沢田篤史,蜂巣吉成,吉田敦
    • Organizer
      情報処理学会組込みシステム
    • Place of Presentation
      公立はこだて未来大学,北海道函館市
    • Year and Date
      2010-08-09
    • Related Report
      2012 Final 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