池田 瑞穂 | 奈良先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学
-
高田 喜朗
奈良先端科学技術大学院大学情報科学研究科
-
池田 瑞穂
奈良先端科学技術大学院大学情報科学研究科
-
池田 瑞穂
奈良先端科学技術大学院大学
-
池田 瑞穂
関西学院大学共通教育センター
-
中村 岳志
奈良先端科学技術大学院大学情報科学研究科:(現)日本総合研究所ファイナンスシステム事業本部
-
地平 稔
奈良先端科学技術大学院大学情報科学研究科
著作論文
- インタラクティブシステム設計法におけるタスク図の形式的定義と形式的検証への応用(ソフトウェア工学の基礎)
- インタラクティブシステム設計法におけるタスクモデルの形式的記述と検証
- ユーザインタフェースの代数的仕様記述と仕様からのプログラム生成
- インタラクティブシステムの設計におけるタスクの形式的記述とその実現
- ユーザタスクの形式的記述に基づくインタラクティブシステム設計法の提案
- 2C-4 インタラクティブシステム設計におけるタスクの形式的記述とその実現