Security Enhanced Component Framework

安全增强组件框架

• 批准号: 21700038
• 负责人: YOSHIOKA Rentaro
• 金额: $ 2.83万
• 依托单位: The University of Aizu
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2009
• 资助国家: 日本
• 起止时间: 2009 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21700038/
• 关键词: 自己説明型コンポーネント; ビジュアル言語; コンポーネント; セキュリティー; ソフトウェア工学; 開発フレームワーク; ソフトウェアコンポーネント

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.

已经开发了一个组件开发框架，该框架允许指定组件的输入/输出值的特征、它们的范围和行为。此外，还开发了一个执行环境的实验性实现，用于在运行时监视组件并执行异常处理。

项目成果

Open Set of Algorithmic Characters

开放的算法字符集

• 发表时间: 2010
• 期刊: Proceedings of 10th WSEAS International Conference on Applied Computer Science(ACS' 10)
• 作者: 吉岡廉太郎;渡部有隆;ニコライミレンコフ
• 通讯作者: ニコライミレンコフ

A Knowledge Sharing System for Software Developers

软件开发人员的知识共享系统

• 发表时间: 2010
• 期刊: Proceedings of 5th International Conference on Software and Data Technologies
• 作者: 柴田崇由;中村和之;佐藤崇信;吉岡廉太郎
• 通讯作者: 吉岡廉太郎

Embedded Clarity in Filmification of Methods

方法电影化中的嵌入式清晰度

• 发表时间: 2010
• 期刊: New Trends in Software Methodologies, Tools and Techniques
• 作者: 渡部有隆;吉岡廉太郎;ニコライミレンコフ
• 通讯作者: ニコライミレンコフ

A Method to Annotate Programs with High-Level Knowledge of Computation

一种用高级计算知识注释程序的方法

• 发表时间: 2012
• 期刊: World Academy of Science, Engineering and Technology
• 作者: 菱沼信彦;猪狩潤;吉岡廉太郎
• 通讯作者: 吉岡廉太郎

Programming in pictures : a way toward reliable software

图片编程：一种获得可靠软件的方法

• 发表时间: 2011
• 期刊: Proceedings of 10th International Conference on Software Methodologies, Tools, and Techniques
• 作者: 渡部有隆;吉岡廉太郎;ニコライミレンコフ
• 通讯作者: ニコライミレンコフ