4L-3 モデル検査の振舞駆動開発への応用(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)

スポンサーリンク

概要

• 論文の詳細を見る
• 2009-03-10

著者

• 深海 悟

  大阪工業大学大学院情報科学研究科

• 小倉 真人

  大阪工業大学大学院情報科学研究科

• 深海 悟

  大阪工業大学

関連論文

• メタデザインに基づいた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言語プログラムの不具合修正方法の提案と実装

スポンサーリンク