年 〜
年

検索結果 5 件

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究

非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究
紙図書
坂部, 俊樹, 名古屋大学1988-1989<Y151-S63580025>
国立国会図書館
  • 件名非停止プロセス 等式論理 代数的仕様記述 並行プロセス CCS 木パターンマツチング

次世代の総合情報処理システムに関する研究

次世代の総合情報処理システムに関する研究
紙図書
白鳥, 則郎, 東北大学1995-1996<Y151-H07308028>
国立国会図書館
  • 件名やわらかいネツトワーク ネツトワークアーキテクチヤ ヒユーマンインタフエース ソフトウエア開発 分散人工知能 仮想現実感 ソフトウエアプロセス 代数的仕様記述法

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究
紙図書
稲垣康善, 名古屋大学1987-1988<Y151-S62880007>
国立国会図書館
  • 件名ソフトウエア 代数的仕様記述 データ型 型構成子 直接実現 項書換え系 プロトタイピング...

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
紙図書
稲垣, 康善, 名古屋大学1985-1986<Y151-S60550263>
国立国会図書館
  • 件名並列計算システム 代数的仕様記述法 仕様の検証 CCS CSP 時相論理 通信プロトコルの仕...

形式的手法を用いたインタラクティブシステム設計法

形式的手法を用いたインタラクティブシステム設計法
デジタル博士論文
池田, 瑞穂奈良先端科学技術大学院大学2002-03-22
全国の図書館
  • 件名インタラクティブシステム ユーザインタフェース 形式的記述 形式的検証 タスク図 代数的仕様記述 抽象的順序機械 コンパイラ

検索結果は以上です。