Development of a Multi-user, Multi-platform, and Multi-method System Verification Environment with Reverse Ajax

利用反向Ajax开发多用户、多平台、多方法系统验证环境

• 批准号: 19700029
• 负责人: SHOICHI Morimoto
• 金额: $ 0.8万
• 依托单位: Advanced Institute of Industrial Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19700029/
• 关键词: ソフトウエア工学; 形式手法; Ajax; Webアプリケーション; モデル検査; 対話型検証

本研究では,利用者のOSやネットワーク接続環境,個々の形式手法や検証ツールに依存しない情報システム仕様記述・検証のための総合環境を開発した.この環境を用いることにより,手法やユーザの環境に依存せず,Webブラウザのみを用いて検証対象を形式的に記述・検証することができる.また,複数人で同時に協調して作業することにより,形式的記述・検証過程における知見や経験などを共有し,検証の負担を軽減,開発者を支援する.

In this study, we developed a comprehensive environment for OS development, a formal approach for identification, a dependency information system description, and identification. The environment is dependent on the environment, the Web is dependent on the environment, and the environment is dependent on the environment. A plurality of persons coordinate the work simultaneously, and the formal description, identification process, knowledge sharing, identification burden reduction, developer support.

项目成果

ISEDS : An Information Security Engineering Database System Based on ISO Standards

ISEDS：基于ISO标准的信息安全工程数据库系统

• 发表时间: 2008
• 作者: 堀江大輔;森本祥一;後藤祐一;程京徳
• 通讯作者: 程京徳

An Educational Analysis of Consensus-Building Process in Business Domain Analysis with Conceptual Data Modeling

使用概念数据建模对业务领域分析中的共识建立过程进行教育分析

• 发表时间: 2009
• 作者: 矢島賢一;森本祥一;Noor Shelia Azreen;後藤祐一;程京徳;森崎潤,阿萬裕久;森本祥一
• 通讯作者: 森本祥一

Documentation Components of Software Development and their Management Based on International Standards

基于国际标准的软件开发文档组成及其管理

• 发表时间: 2008
• 作者: 森本祥一;森本祥一;森本祥一;森本祥一;森本祥一;森本祥一;森本祥一
• 通讯作者: 森本祥一

A Survey of Formal Verification for Business Process Modeling

• DOI: 10.1007/978-3-540-69387-1_58
• 发表时间: 2008-06
• 作者: Shoichi Morimoto

A Study of Value of Business Process Models from a Managerial Viewpoint

从管理角度研究业务流程模型的价值

• 发表时间: 2008
• 作者: 森本祥一