Jump to main content

yr 〜
yr

Search results 4

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
Paper図書
片山, 卓也, 北陸先端科学技術大学院大学2000-2002<Y151-H12480071>
National Diet Library
  • Subject Headingオブジエクト指向方法論 組み込みシステム 分析モデル 定理証明 並行オブジエクト スレツド

並行分散オブジエクト指向言語の設計とその処理系の開発

並行分散オブジエクト指向言語の設計とその処理系の開発
Paper図書
原田, 賢一, 慶応義塾大学1995-1996<Y151-H07680369>
National Diet Library
  • Subject Heading前処理系 並行オブジエクト指向言語 分散オブジエクト 非同期通信 能動オブジエクト ネ...

分散ソフトウエアシステムのプロトタイピング・プロセスモデルに関する研究

分散ソフトウエアシステムのプロトタイピング・プロセスモデルに関する研究
Paper図書
宮本, 衛市, 北海道大学1994-1996<Y151-H06680299>
National Diet Library
  • Subject Heading並行オブジエクト オブジエクトの振舞い 分散システム 連携動作 プロトタイピ...

プロセス指向に基づく柔構造プログラミングに関する研究

プロセス指向に基づく柔構造プログラミングに関する研究
Paper図書
宮本, 衛市, 北海道大学1989-1991<Y151-H01550274>
National Diet Library
  • Subject Headingオブジエクト指向 プログラミング環境 分散システム 並行オブジエクト オブジエクト型 メツセージ順序 開放型システム ユーザイン...

Reached to the end of result.

RSS