セキュリティー強化型コンポーネントフレームワーク

• 研究課題/領域番号: 21700038
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 会津大学
• 研究代表者: 吉岡 廉太郎 会津大学, コンピュータ理工学部, 准教授 (00360008)
• 研究期間 (年度): 2009 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円); 2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2010年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2009年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
• キーワード: 自己説明型コンポーネント / ビジュアル言語 / コンポーネント / セキュリティー / ソフトウェア工学 / 開発フレームワーク / ソフトウェアコンポーネント

研究概要

ソフトウェアシステムの開発時において、各コンポーネントの入出力データの性質、想定される値の範囲、動作パターンなどを開発時に定義できるコンポーネント開発フレームワークを開発した。また、定義された情報に基づく実行時の監視と例外処理を可能とする実行環境の試験的実装を行った。

研究成果

• [雑誌論文] A Method to Annotate Programs with High-Level Knowledge of Computation (2012)
  • 著者名/発表者名: 菱沼信彦、猪狩潤、吉岡廉太郎
  • 雑誌名: World Academy of Science, Engineering and Technology 巻: 62巻 ページ: 469-476
  • 査読あり
• [雑誌論文] A Method to Annotate Programs with High-Level Knowledge of Computation (2012)
  • 著者名/発表者名: N.Hishinuma, J.Igari, R.Yoshioka
  • 雑誌名: World Academy of Science, Engineering and Technology 巻: 62 ページ: 469-476
  • 査読あり
• [雑誌論文] Programming in pictures : a way toward reliable software (2011)
  • 著者名/発表者名: 渡部有隆、吉岡廉太郎、ニコライミレンコフ
  • 雑誌名: Proceedings of 10th International Conference on Software Methodologies, Tools, and Techniques ページ: 183-197
  • 査読あり
• [雑誌論文] Programming in pictures within Filmification Modeling Environment (2011)
  • 著者名/発表者名: 渡部有隆、吉岡廉太郎、ニコライミレンコフ
  • 雑誌名: Proceeding of IEEE Symposium on Visual Languages and Human-Centric Computing ページ: 267-268
  • 査読あり
• [雑誌論文] Programming in pictures : a way toward reliable software (2011)
  • 著者名/発表者名: Y.Watanobe, R.Yoshioka, N.Mirenkov
  • 雑誌名: Proceedings of 10^<th> International Conference on Software Methodologies, Tools, and Techniques ページ: 183-197
  • 査読あり
• [雑誌論文] Programming in Pictures within Filmification Modeling Environment (2011)
  • 著者名/発表者名: Y.Watanobe, R.Yoshioka, N.Mirenkov
  • 雑誌名: Proceeding of IEEE Symposium on Visual Languages and Human-Centric Computing ページ: 267-268
  • 査読あり
• [雑誌論文] Open Set of Algorithmic Characters (2010)
  • 著者名/発表者名: 吉岡廉太郎、渡部有隆、ニコライミレンコフ
  • 雑誌名: Proceedings of 10th WSEAS International Conference on Applied Computer Science(ACS' 10) ページ: 327-334
  • 査読あり
• [雑誌論文] Embedded Clarity in Filmification of Methods (2010)
  • 著者名/発表者名: 渡部有隆、吉岡廉太郎、ニコライミレンコフ
  • 雑誌名: New Trends in Software Methodologies, Tools and Techniques 巻: 217巻 ページ: 70-82
  • 査読あり
• [雑誌論文] A Knowledge Sharing System for Software Developers (2010)
  • 著者名/発表者名: 柴田崇由、中村和之、佐藤崇信、吉岡廉太郎
  • 雑誌名: Proceedings of 5th International Conference on Software and Data Technologies ページ: 499-503
  • 査読あり
• [雑誌論文] 透明性にもとづく信頼性の高いソフトウェアの実現に向けて (2010)
  • 著者名/発表者名: 吉岡廉太郎、渡部有隆、ニコライミレンコフ、角山茂章、遠藤寛
  • 雑誌名: 日本原子力学会「2011年春の年会」予稿集 巻: 428
• [雑誌論文] Open Set of Algorithmic Characters (2010)
  • 著者名/発表者名: 吉岡廉太郎、渡部有隆、ニコライミレンコフ
  • 雑誌名: Proceedings of 10th WSEAS International Conference on Applied Computer Science (ACS'10) ページ: 327-334
  • 査読あり
• [雑誌論文] Embedded Clarity in Filmification of Methods (2010)
  • 著者名/発表者名: 渡部有隆、吉岡廉太郎、ニコライミレンコフ
  • 雑誌名: New Trends in Software Methodologies, Tools and Techniques (SOMET 2010) 巻: 217 ページ: 70-82
  • 査読あり
• [雑誌論文] A Knowledge Sharing System for Software Developers (2010)
  • 著者名/発表者名: 柴田崇由、中村和之、佐藤崇信、吉岡廉太郎
  • 雑誌名: Proceedings of 5th International Conference on Software and Data Technologies (ICSOFT 2010) ページ: 499-503
  • 査読あり
• [学会発表] A Method to Annotate Programs with High-Level Knowledge of Computation (2012)
  • 著者名/発表者名: 吉岡廉太郎
  • 学会等名: 2012 International Conference on Computer Science and Applications
  • 発表場所: クアラルンプール、マレーシア
• [学会発表] Programming in Pictures within Filmification Modeling Environment (2012)
  • 著者名/発表者名: 渡部有隆
  • 学会等名: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing
  • 発表場所: ピッツバーグ、米国
• [学会発表] Open Set of Algorithmic Characters (2010)
  • 著者名/発表者名: 吉岡廉太郎
  • 学会等名: 10th WSEAS International Conference on Applied Computer Science (ACS'10)
  • 発表場所: 岩手県、安比
  • 年月日: 2010-10-04
• [学会発表] A Knowledge Sharing System for Software Developers (2010)
  • 著者名/発表者名: 吉岡廉太郎
  • 学会等名: 5th International Conference on Software and Dato Technologies (ICSOFT 2010)
  • 発表場所: ギリシャ、アテネ
  • 年月日: 2010-07-24
• [学会発表] Open Set of Algorithmic Characters (2010)
  • 著者名/発表者名: 吉岡廉太郎
  • 学会等名: 10th WSEAS International Conference on Applied Computer Science(ACS' 10)
  • 発表場所: 安比
• [学会発表] A Knowledge Sharing System for Software Developers (2010)
  • 著者名/発表者名: 吉岡廉太郎
  • 学会等名: 5th International Conference on Software and Data Technologies
  • 発表場所: アテネ、ギリシャ