IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.
画面遷移仕様のモデル検査 崔 銀惠 河本 貴則 渡邊 宏 産業技術総合研究所 システム検証研究センター 画面遷移仕様のモデル検査∗ 崔 銀惠 河本 貴則 渡邊 宏 Eun-Hye CHOI Takanori KAWAMOTO Hiroshi Watanabe 産業技術総合研究所 システム検証研究センター 〒 661–0974 尼崎市若王寺 3–11–46 E-mail: {e.choi, t-kawamoto, hiroshi-watanabe}@aist.go.jp 概 要 本研究では，Web アプリケーションなどの設計において必要不可欠である画面遷移に関する仕様を形 式的に検証する手法を提案する．提案法では，画面遷移に関する仕様と画面遷移と連携したプログラム処 理の流れを記述したフローチャート間の整合性をモデル検査法を用いて検証する．モデル検査法は，システ ムをモデル化した状態遷移系
This domain may be for sale!
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
