気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
3 usersがブックマーク
1
1
画面遷移仕様のモデル検査 崔 銀惠 河本 貴則 渡邊 宏 産業技術総合研究所 システム検証研究センター 画面遷移仕様のモデル検査∗ 崔 銀惠 河本 貴則 渡邊 宏 Eun-Hye CHOI Takanori KAWAMOTO Hiroshi W
3 users
unit.aist.go.jp
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
画面遷移仕様のモデル検査 崔 銀惠 河本 貴則 渡邊 宏 産業技術総合研究所 システム検証研究センター 画面遷移仕様のモデル検査∗ 崔 銀惠 河本 貴則 渡邊 宏 Eun-Hye CHOI Takanori KAWAMOTO Hiroshi W
画面遷移仕様のモデル検査 崔 銀惠 河本 貴則 渡邊 宏 産業技術総合研究所 システム検証研究センター 画... 画面遷移仕様のモデル検査 崔 銀惠 河本 貴則 渡邊 宏 産業技術総合研究所 システム検証研究センター 画面遷移仕様のモデル検査∗ 崔 銀惠 河本 貴則 渡邊 宏 Eun-Hye CHOI Takanori KAWAMOTO Hiroshi Watanabe 産業技術総合研究所 システム検証研究センター 〒 661–0974 尼崎市若王寺 3–11–46 E-mail: {e.choi, t-kawamoto, hiroshi-watanabe}@aist.go.jp 概 要 本研究では，Web アプリケーションなどの設計において必要不可欠である画面遷移に関する仕様を形 式的に検証する手法を提案する．提案法では，画面遷移に関する仕様と画面遷移と連携したプログラム処 理の流れを記述したフローチャート間の整合性をモデル検査法を用いて検証する．モデル検査法は，システ ムをモデル化した状態遷移系
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
2007/03/14 リンク