Development of a Multi-user, Multi-platform, and Multi-method System Verification Environment with Reverse Ajax
Development of a Multi-user, Multi-platform, and Multi-method System Verification Environment with Reverse Ajax
利用反向Ajax开发多用户、多平台、多方法系统验证环境
批准号：
19700029
负责人：
SHOICHI Morimoto
金额：
$0.8万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2008
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本研究では,利用者のOSやネットワーク接続環境,個々の形式手法や検証ツールに依存しない情報システム仕様記述・検証のための総合環境を開発した.この環境を用いることにより,手法やユーザの環境に依存せず,Webブラウザのみを用いて検証対象を形式的に記述・検証することができる.また,複数人で同時に協調して作業することにより,形式的記述・検証過程における知見や経験などを共有し,検証の負担を軽減,開発者を支援する.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ISEDS : An Information Security Engineering Database System Based on ISO Standards
ISEDS：基于ISO标准的信息安全工程数据库系统
ISEDS：基于ISO标准的信息安全工程数据库系统
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
[堀江大輔, 森本祥一, 後藤祐一, 程京徳]
通讯作者：
程京徳
An Educational Analysis of Consensus-Building Process in Business Domain Analysis with Conceptual Data Modeling
使用概念数据建模对业务领域分析中的共识建立过程进行教育分析
使用概念数据建模对业务领域分析中的共识建立过程进行教育分析
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
[矢島賢一, 森本祥一, Noor Shelia Azreen, 後藤祐一, 程京徳, 森崎潤,阿萬裕久, 森本祥一]
通讯作者：
森本祥一
Documentation Components of Software Development and their Management Based on International Standards
基于国际标准的软件开发文档组成及其管理
基于国际标准的软件开发文档组成及其管理
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
[森本祥一, 森本祥一, 森本祥一, 森本祥一, 森本祥一, 森本祥一, 森本祥一]
通讯作者：
森本祥一
DOI：
10.1007/978-3-540-69387-1_58
发表时间：
2008-06
期刊：
影响因子：
--
作者：
[Shoichi Morimoto]
通讯作者：
Shoichi Morimoto
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
[森本祥一]
通讯作者：
森本祥一
共 24 条
海外基金