Jump to main content

yr 〜
yr

Search results 7

建築設計・施工を事例としたドメイン依存の要求仕様記述言語とその実現技術の研究

建築設計・施工を事例としたドメイン依存の要求仕様記述言語とその実現技術の研究
Paper図書
橋本, 正明, 九州工業大学1996-1998<Y151-H08680373>
National Diet Library
  • Subject Headingソフトウエア工学 仕様記述言語 ドメイン依存 建築物構造設計 CAD システム生成 概念モ...

オブジエクト指向工具データベースによる高度ツーリング技術の開発

オブジエクト指向工具データベースによる高度ツーリング技術の開発
Paper図書
岸浪, 建史, 北海道大学1994-1996<Y151-H06452154>
National Diet Library
  • Subject Headingオブジエクト指向モデル化手法 オブジエクト指向データベース FMS ツーリング 仕様記述言語EXPRESS 工具管理 プロセス表記法IDEFO 工具運用...

ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法

ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
Paper図書
荒木, 啓二郎, 奈良先端科学技術大学院大学1992-1993<Y151-H04452196>
National Diet Library
  • Subject Heading並行動作システム ストリーム並列 形式的仕様 実行可能仕様 仕様記述言語Z 仕様スライス 並列オペレーテイングシステム 分散処理シス...

時空間様相論理に基づくシステム記述言語の設計とその回路自動設計問題への応用

時空間様相論理に基づくシステム記述言語の設計とその回路自動設計問題への応用
Paper図書
原尾, 政輝, 山形大学1985-1986<Y151-S60580016>
National Diet Library
  • Subject Heading時空間様相論理 仕様記述言語 回路実現言語 回路自動合成 導出アルゴリズム 定理証明 知...

図的表現による利用者言語処理システムに関する研究

図的表現による利用者言語処理システムに関する研究
Paper図書
寺田, 浩詔, 大阪大学1986-1988<Y151-S61460137>
National Diet Library
  • Subject Heading図的言語 データ駆動原理 要求仕様記述言語 利用者言語 ソフトウエア環境 プロトタイピング手法 コンパ...

情報化社会に対応する情報通信網の高度化・高信頼化に関する総合研究

情報化社会に対応する情報通信網の高度化・高信頼化に関する総合研究
Paper図書
小原, 啓義, 早稲田大学1987-1990<Y151-S62302031>
National Diet Library
  • Subject Heading高帯域ISDN 通信プロトコル ネツトワークアーキテクチヤ マンマシンインタフエース 仕様記述言語 マルチメデイア通信 インテリジエントネツトワーク ネツトワ...

国内通信衛星CS-2を用いた学術ネツトワークの実用化に関する研究

国内通信衛星CS-2を用いた学術ネツトワークの実用化に関する研究
Paper図書
野口, 正一, 東北大学1986-1987<Y151-S61850059>
National Diet Library
  • Subject Heading衛星ネツトワーク 分散制御 ネツトワークプロトコル 通信ソフトウエア 仕様記述言語 通信衛星 電子メール メツセージ伝送 リアルタイム処理

Reached to the end of result.

RSS