Jump to main content

yr 〜
yr

Search results 6

段階的詳細化による 自然言語の意味処理方式の研究

段階的詳細化による 自然言語の意味処理方式の研究
Paper図書
赤間, 清, 北海道大学1989-1991<Y151-H01580018>
National Diet Library
  • Subject Heading自然言語処理 段階的詳細化 意味表現 制約付変数

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
Paper図書
荒木, 啓二郎, 九州大学2000-2001<Y151-H12680354>
National Diet Library
  • Subject Heading形式仕様記述 ドメインモデル構築 形式手法 図式表現 図式分析ツール 形式仕様の検査 システム記述事例研究 段階的詳細化設計

離散事象システムの解析と合成に関する基礎研究

離散事象システムの解析と合成に関する基礎研究
Paper図書
西村, 義行, 東邦大学1995-1997<Y151-H07680438>
National Diet Library
  • Subject Heading離散事象システム ペトリネツト 条件/事象ネツト 半言語 アクテイビテイ ネツトの合成 段階的詳細化

ASIC設計の上流工程設計支援システムの開発

ASIC設計の上流工程設計支援システムの開発
Paper図書
谷口, 健一, 大阪大学1993-1994<Y151-H05558031>
National Diet Library
  • Subject Heading同期式順序回路 代数的手法 ASIC 段階的詳細化 設計検証 CAD プレスブルガー文 状態図変形

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

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

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
Digitalその他
山根, 智, Yamane, Satoshi金沢大学 理工研究域電子情報通信学系2002-03平成13(2001)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report1999-2001p.110p.-
Other Libraries in Japan
  • Subject Heading開放型分散システム 段階的詳細化 詳細化検証 時間オートマトン ハイブリッドモデル Assu...
  • Note (General)...り、実用レベルの分散システムの段階的詳細化設計が可能となった。(2)実時......状態を有する分散ソフトウェアの段階的詳細化設計が可能となった。(3)実時......実用レベルの分散ソフトウェアの段階的詳細化設計が可能となった。(4)ハイ......御法則を含む分散ソフトウェァの段階的詳細化設計が可能となった。今後の課題としては、以上の開発した手法を...

Reached to the end of result.

RSS