2008 Fiscal Year Final Research Report
Development of a Multi-user, Multi-platform, and Multi-method System Verification Environment with Reverse Ajax
Project/Area Number |
19700029
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Single-year Grants |
Research Field |
Software
|
Research Institution | Advanced Institute of Industrial Technology |
Principal Investigator |
SHOICHI Morimoto Advanced Institute of Industrial Technology, 産業技術研究科, 助教 (00433186)
|
Project Period (FY) |
2007 – 2008
|
Keywords | ソフトウエア工学 |
Research Abstract |
本研究では,利用者のOSやネットワーク接続環境,個々の形式手法や検証ツールに依存しない情報システム仕様記述・検証のための総合環境を開発した.この環境を用いることにより,手法やユーザの環境に依存せず,Webブラウザのみを用いて検証対象を形式的に記述・検証することができる.また,複数人で同時に協調して作業することにより,形式的記述・検証過程における知見や経験などを共有し,検証の負担を軽減,開発者を支援する.
|
Research Products
(21 results)