画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2005-07-26
著者
-
渡邊 宏
産業技術総合研究所システム検証研究センター
-
渡邊 宏
独立行政法人産業技術総合研究所情報科学連携研究体
-
崔 銀惠
独立行政法人産業技術総合研究所システム検証研究センター
-
河本 貴則
独立行政法人産業技術総合研究所システム検証研究センター
関連論文
- 組み込みソフトウェア開発におけるモデル検査の適用事例(システム検証の科学技術)
- モデル検査器を用いた自動検針システムの仕様検証
- 画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
- PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)
- 対話型照明支援ツールPVSの紹介(続・システム検証の科学技術,サイバー増大号)
- 操作的意味の間の変換