プロブレムフレームに基づく組込みシステムの状態遷移分析支援システム
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,ソフトウェア開発の初期段階において有効であるプロブレムフレームに基づく要求分析支援システムについて述べる.システムは要求分析の工程に沿って,プロブレム図,ドメイン状態遷移図,要求状態遷移図の作成を支援し,それらの間の妥当性をチェックした後,マシンの仕様となる状態遷移記述を自動生成する.このとき,プロブレム図で定義したイベントや状態をそのままドメイン状態遷移図で活用し,ドメイン状態遷移図で定義した状態をそのまま要求状態遷移図で利用するなどにより,誤りのない要求分析を支援する.さらに,これらの状態遷移図間の整合性を調べて,要求の漏れや誤り等を自動的にチェックする機能を持つ.
- 2012-02-15
著者
関連論文
- オブジェクト指向に基づくプログラム動作の可視化(学生セッション H_開発支援)
- D-15-15 コラボレーションシステムを用いたコンピュータプログラミング教育その 2
- D-15-14 コラボレーションシステムを用いたコンピュータプログラミング教育その 1
- 組込みシステムの要求・設計アニメーションツール(設計支援)
- 3Q-5 設計のアニメーション支援ツール(開発支援環境,学生セッション,ソフトウェア科学・工学)
- ジャクソン法(JSP)による状態遷移設計
- ソフトウェアエンジニアリングシンポジウム2010開催報告
- 6ZH-7 エコ温室栽培システムの動作アニメーション(CGシステム・応用,学生セッション,インタフェース,情報処理学会創立50周年記念)
- 1T-8 HTMLを用いたWebアプリケーション自動構築(Webデザイン,学生セッション,データベースとメディア)
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- オブジェクト指向プログラムの動作の可視化
- 入出力データ構造の対応による Web サービスの自動合成
- 1Q-6 リファクタリングをガイドするツール(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- 6P-2 プロブレムフレームにおける状態遷移図設計支援システム(ソフトウェア理解支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1N-6 入出力データ構造の対応によるWebサービスの自動合成(Webサービス提供,学生セッション,データベースとメディア)
- 6ZL-8 コージェネレーション温室栽培施設自動管理システムの開発(情報システムの事例,学生セッション,コンピュータと人間社会)
- 2Q-1 状態遷移表の設計支援ツール(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 2層構造によるWebアプリケーションのWebサービス変換(ネットワークサービス)
- HTMLタグ属性の追加によるWebアプリケーションのWebサービス変換(フレームワーク/サービス)
- インタフェースの情報を用いたシーケンス図作成支援システム(学生セッション F_モデル指向(2))
- インターフェースの情報を用いた状態遷移図の生成(開発支援(1)(学生セッション))
- WebアプリケーションのWebサービス変換(組み込み・Web(学生セッション))
- 状態指向の状態遷移表(要求/モデル)
- プロトコル状態マシンを用いた振舞い状態マシンの設計
- プロブレムフレームによる状態遷移図分析支援システム
- プロブレムフレームに基づく組込みシステムの状態遷移分析支援システム
- フィールド・メソッド関係表によるプログラムの評価
- プロブレムフレームにおけるシーケンス図の活用
- プロブレムフレームにおけるシーケンス図の活用
- 続・ソフトウェア工学の共通問題:4.座談会 〜共通問題を通して見るソフトウェア工学の30年〜