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

2010 Fiscal Year Self-evaluation Report

Modeling and verification of web software based on theories of symbolic computation

Research Project

  • PDF
Project/Area Number 20300001
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionUniversity of Tsukuba

Principal Investigator

IDA Tetsuo  University of Tsukuba, 大学院・システム情報工学研究科, 教授 (70100047)

Project Period (FY) 2008 – 2011
Keywordsソフトウェア検証 / 記号計算 / ウェブ
Research Abstract

ウェブソフトウェアには従来にない高い信頼性が要求される.単に誤りなく動作するだけでなく,頑健である,悪用・誤用されないといった性質がウェブソフトウェアに求められる.このような「健全性」を保証するには従来の開発手法やデバッグ手法だけでは不十分であり,産業界や学術研究機関で新たな方法論の構築や方法論を支援する言語やツールの開発が進められている
本研究では,記号計算の理論,形式言語・オートマトン理論をはじめとする,コンピュテーションやソフトウェアを形式化する様々な理論を駆使して,上記問題の解決に取り組んでいる.具体的には,定理証明支援系やモデル検査系を用いた方法論の高度化と広範な展開が重要課題であると考え,これまで定理証明支援系を用いたソフトウェアや幾何オブジェクト設計の正当性証明の研究を推進してきた.それと同時に,記号計算を支援するウェブサービスのシステムやサーバーサイドの記号計算アルゴリズムをクライアント(ブラウザー)から対話的にアクセスするウェブソフトウェアを構築してきた
これらの先行するあるいは同時に進展させている研究で私達が得てきた知見や経験及び記号計算の研究コミュニティーが蓄積してきた多くの知見をウェブソフトウェアの「健全性」の検証に活用して,新たな計算理論,方法論,および方法論を支援するツール群を構築している

  • Research Products

    (9 results)

All 2011 2010 2009 2008

All Journal Article (4 results) (of which Peer Reviewed: 3 results) Presentation (5 results)

  • [Journal Article] Morley's theorem revisited : Origami construction and automated proof2011

    • Author(s)
      Ida.T, Kasem.A, Ghourabi.F, Takahashi.H
    • Journal Title

      Journal of Symbolic Computation vol.46

      Pages: 162-170

    • Peer Reviewed
  • [Journal Article] Origami Fold as Algebraic Graph Rewriting.2010

    • Author(s)
      Tetsuo Ida, Hidekazu Takahashi
    • Journal Title

      Journal of Symboli Computation 45(4)

      Pages: 393-413

  • [Journal Article]2010

    • Author(s)
      松本宗太郎, 南出靖彦
    • Journal Title

      Rubyプログラムの制御フロー解析とその健全性の証明 3巻

      Pages: 9-25

    • Peer Reviewed
  • [Journal Article] Product Drivatives of Regular Expressions2008

    • Author(s)
      Taro Suzuki, Staoshi Okui
    • Journal Title

      IPSJ Online Transactions 1巻

      Pages: 53-65

    • Peer Reviewed
  • [Presentation] Origami Axioms and Circle Extension2011

    • Author(s)
      Kasem.A, Ghourabi.F, Ida.T
    • Organizer
      Proceedings of the 26th Symposium on Applied Computing (SAC 2011), pp.1106-1111
    • Place of Presentation
      Tunghai University Taiwan
    • Year and Date
      2011-03-23
  • [Presentation] Symbolic and Algebraic Methods in Computational Origami : Invited Talk.2009

    • Author(s)
      Tetsuo Ida.
    • Organizer
      In Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), pages 3-4. ACM
    • Place of Presentation
      Hawaii, USA.
    • Year and Date
      20091216-20091218
  • [Presentation] Copy-on-Write in the PHP Langauge2009

    • Author(s)
      Tozawa, M.Tatsubori, T.Onodera, Y.Minamide
    • Organizer
      Proc.of the 13^<th> International Conference on Programming Languages, pp.200-212
    • Place of Presentation
      Lyon, France
    • Year and Date
      2009-08-23
  • [Presentation] Origami Fold as Algebraic Graph Rewriting2009

    • Author(s)
      Tetsuo Ida, Hidekaza Takahashi
    • Organizer
      Proc.of 24^<th> annual ACM Symposium on Applied Computing, pp.1132-1138
    • Place of Presentation
      Hawaii, USA
    • Year and Date
      2009-03-12
  • [Presentation] A Translation from the HTML DTD into a Regular Hedge Grammar2008

    • Author(s)
      T.Nishiyama, Y.Minamide
    • Organizer
      Proc.of 13^<th> International Conference on Implementation and Application of Automata, pp.122-131
    • Place of Presentation
      California, USA
    • Year and Date
      2008-07-21

URL: 

Published: 2012-02-13   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi