形式的検証用モデル自動生成機能を持つ上流工程支援システムの開発(形式手法(2)(学生セッション))
スポンサーリンク
概要
- 論文の詳細を見る
産業界において,形式的検証技術,特にモデル検査技術に注目が集まっている.モデル検査技術は作成されたモデルに対し論理式で表現された検証式を満たすか否かを自動的に検証する技術である.しかし,モデル検査ツールのためのモデルを別途作成しなければならない問題がある.本稿では,この問題を解決する手段として,モデル検査ツール用のモデルを自動生成する機能を持つ,ソフトウェア開発の上流工程を支援するシステムを提案する.
- 2008-03-17
著者
関連論文
- メタデザインに基づいたWebアプリケーション開発プラットフォームの提案(Webアプリケーション(学生セッション))
- 4L-3 モデル検査の振舞駆動開発への応用(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 形式的検証用モデル自動生成機能を持つ上流工程支援システムの開発(形式手法(2)(学生セッション))
- 1P-7 UI駆動を用いたWebアプリケーション向けプロトタイピング支援システム(ソフトウェアプロセス・開発管理,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-017 データモデルとUIの相互変換を用いたウェブサービス開発環境「SoS」(ソフトウェア,一般論文)
- 3Q-9 分散開発環境におけるソフトウェア開発支援システム : 開発経過データの分析と提供(開発支援環境,学生セッション,ソフトウェア科学・工学)
- Weblogを用いたソフトウェア共同開発プラットフォームの開発(組み込み・Web(学生セッション))
- M-034 P2Pストリーミング配信におけるノード離脱時の品質低下軽減を目指した配信木構築法の提案(M分野:ユビキタス・マルチメディア・セキュリティ)
- L-082 キーワードと画像特徴を利用したWebページ検索システム(L分野:ネットワークコンピューティング)
- モデル検査の反例を用いたC言語プログラムの不具合修正方法の提案と実装