文献

J-GLOBAL ID：201002274426324801   整理番号：10A0321167

モデル検査によるAjaxアプリケーション検証

著者 (4件)： 玉田和洋 (電通大) ,  中川博之 (電通大) ,  田原康之 (電通大) ,  大須賀昭彦 (電通大)
資料名： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
巻： 2010  号： 3  ページ： 139-140  発行年： 2010年01月21日 
JST資料番号： Y0978B  ISSN： 1344-0640  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究では,モデル検査法をAjaxによるアプリケーションに適用するためのモデルを提案し,信頼性の向上を目指す。(著者抄録)

シソーラス用語： *プログラム検証 ,  *モデル検査 ,  応用プログラム ,  信頼性 ,  *通信 ,  モデリング ,  再利用 ,  フレームワーク【ソフトウェア開発】 ,  ユーザインタフェイス
準シソーラス用語： Ajax

分類 (3件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A) ,  電話・データ通信・交換一般  (ND11010T)

タイトルに関連する用語 (4件)： モデル検査 ,  Ajax ,  アプリケーション ,  検証