Jump to main content

yr 〜
yr

Search results 5

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

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

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

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

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

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

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

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

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

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

Reached to the end of result.

RSS