ケイシキテキ シュホウ オ モチイタ インタラクティブ システム セッケイホウ
池田瑞穂
生駒 : 奈良先端科学技術大学院大学, 2002.3
この資料には他にも巻号があります。
他の巻号を見る
1
R002109
2
禁帯出
2002
奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2002年3月
学位記番号: 博第233号
報告番号: 甲第233号
授与年月日: 2002/03/22
学位の種類: 博士(工学)
日本語 (jpn)
池田, 瑞穂 (イケダ, ミズホ)
インタラクティブシステム
ユーザインタフェース
形式的記述
形式的検証
タスク図
代数的仕様記述
抽象的順序機械
コンパイラ
インタラクティブシステムユーザインタフェース形式的記述形式的検証タスク図代数的仕様記述抽象的順序機械コンパイラ
