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

Security Enhanced Component Framework

Research Project

Project/Area Number 21700038
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionThe University of Aizu

Principal Investigator

YOSHIOKA Rentaro  会津大学, コンピュータ理工学部, 准教授 (00360008)

Project Period (FY) 2009 – 2011
Project Status Completed (Fiscal Year 2011)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2010: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2009: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywords自己説明型コンポーネント / ビジュアル言語 / コンポーネント / セキュリティー / ソフトウェア工学 / 開発フレームワーク / ソフトウェアコンポーネント
Research Abstract

A component development framework that allows to specify a component's features of input/output values, their ranges, and behavior of has been developed. In addition, an experimental implementation of an execution environment to monitor the component at runtime and perform exception handling has been developed.

Report

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

    (19 results)

All 2012 2011 2010

All Journal Article (13 results) (of which Peer Reviewed: 12 results) Presentation (6 results)

  • [Journal Article] A Method to Annotate Programs with High-Level Knowledge of Computation2012

    • Author(s)
      菱沼信彦、猪狩潤、吉岡廉太郎
    • Journal Title

      World Academy of Science, Engineering and Technology

      Volume: 62巻 Pages: 469-476

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Method to Annotate Programs with High-Level Knowledge of Computation2012

    • Author(s)
      N.Hishinuma, J.Igari, R.Yoshioka
    • Journal Title

      World Academy of Science, Engineering and Technology

      Volume: 62 Pages: 469-476

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Programming in pictures : a way toward reliable software2011

    • Author(s)
      渡部有隆、吉岡廉太郎、ニコライミレンコフ
    • Journal Title

      Proceedings of 10th International Conference on Software Methodologies, Tools, and Techniques

      Pages: 183-197

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Programming in pictures within Filmification Modeling Environment2011

    • Author(s)
      渡部有隆、吉岡廉太郎、ニコライミレンコフ
    • Journal Title

      Proceeding of IEEE Symposium on Visual Languages and Human-Centric Computing

      Pages: 267-268

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Programming in pictures : a way toward reliable software2011

    • Author(s)
      Y.Watanobe, R.Yoshioka, N.Mirenkov
    • Journal Title

      Proceedings of 10^<th> International Conference on Software Methodologies, Tools, and Techniques

      Pages: 183-197

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Programming in Pictures within Filmification Modeling Environment2011

    • Author(s)
      Y.Watanobe, R.Yoshioka, N.Mirenkov
    • Journal Title

      Proceeding of IEEE Symposium on Visual Languages and Human-Centric Computing

      Pages: 267-268

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Open Set of Algorithmic Characters2010

    • Author(s)
      吉岡廉太郎、渡部有隆、ニコライミレンコフ
    • Journal Title

      Proceedings of 10th WSEAS International Conference on Applied Computer Science(ACS' 10)

      Pages: 327-334

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Embedded Clarity in Filmification of Methods2010

    • Author(s)
      渡部有隆、吉岡廉太郎、ニコライミレンコフ
    • Journal Title

      New Trends in Software Methodologies, Tools and Techniques

      Volume: 217巻 Pages: 70-82

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Knowledge Sharing System for Software Developers2010

    • Author(s)
      柴田崇由、中村和之、佐藤崇信、吉岡廉太郎
    • Journal Title

      Proceedings of 5th International Conference on Software and Data Technologies

      Pages: 499-503

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] 透明性にもとづく信頼性の高いソフトウェアの実現に向けて2010

    • Author(s)
      吉岡廉太郎、渡部有隆、ニコライミレンコフ、角山茂章、遠藤寛
    • Journal Title

      日本原子力学会「2011年春の年会」予稿集

      Volume: 428

    • Related Report
      2011 Final Research Report 2010 Annual Research Report
  • [Journal Article] Open Set of Algorithmic Characters2010

    • Author(s)
      吉岡廉太郎、渡部有隆、ニコライミレンコフ
    • Journal Title

      Proceedings of 10th WSEAS International Conference on Applied Computer Science (ACS'10)

      Pages: 327-334

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Embedded Clarity in Filmification of Methods2010

    • Author(s)
      渡部有隆、吉岡廉太郎、ニコライミレンコフ
    • Journal Title

      New Trends in Software Methodologies, Tools and Techniques (SOMET 2010)

      Volume: 217 Pages: 70-82

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Knowledge Sharing System for Software Developers2010

    • Author(s)
      柴田崇由、中村和之、佐藤崇信、吉岡廉太郎
    • Journal Title

      Proceedings of 5th International Conference on Software and Data Technologies (ICSOFT 2010)

      Pages: 499-503

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Presentation] A Method to Annotate Programs with High-Level Knowledge of Computation2012

    • Author(s)
      吉岡廉太郎
    • Organizer
      2012 International Conference on Computer Science and Applications
    • Place of Presentation
      クアラルンプール、マレーシア
    • Related Report
      2011 Annual Research Report 2011 Final Research Report
  • [Presentation] Programming in Pictures within Filmification Modeling Environment2012

    • Author(s)
      渡部有隆
    • Organizer
      2011 IEEE Symposium on Visual Languages and Human-Centric Computing
    • Place of Presentation
      ピッツバーグ、米国
    • Related Report
      2011 Annual Research Report 2011 Final Research Report
  • [Presentation] Open Set of Algorithmic Characters2010

    • Author(s)
      吉岡廉太郎
    • Organizer
      10th WSEAS International Conference on Applied Computer Science (ACS'10)
    • Place of Presentation
      岩手県、安比
    • Year and Date
      2010-10-04
    • Related Report
      2010 Annual Research Report
  • [Presentation] A Knowledge Sharing System for Software Developers2010

    • Author(s)
      吉岡廉太郎
    • Organizer
      5th International Conference on Software and Dato Technologies (ICSOFT 2010)
    • Place of Presentation
      ギリシャ、アテネ
    • Year and Date
      2010-07-24
    • Related Report
      2010 Annual Research Report
  • [Presentation] Open Set of Algorithmic Characters2010

    • Author(s)
      吉岡廉太郎
    • Organizer
      10th WSEAS International Conference on Applied Computer Science(ACS' 10)
    • Place of Presentation
      安比
    • Related Report
      2011 Final Research Report
  • [Presentation] A Knowledge Sharing System for Software Developers2010

    • Author(s)
      吉岡廉太郎
    • Organizer
      5th International Conference on Software and Data Technologies
    • Place of Presentation
      アテネ、ギリシャ
    • Related Report
      2011 Final Research Report

URL: 

Published: 2009-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi