橋本, 正明, 九州工業大学1996-1998<Y151-H08680373>
国立国会図書館
- 件名ソフトウエア工学 仕様記述言語 ドメイン依存 建築物構造設計 CAD システム生成 概念モ...
岸浪, 建史, 北海道大学1994-1996<Y151-H06452154>
国立国会図書館
- 件名オブジエクト指向モデル化手法 オブジエクト指向データベース FMS ツーリング 仕様記述言語EXPRESS 工具管理 プロセス表記法IDEFO 工具運用...
荒木, 啓二郎, 奈良先端科学技術大学院大学1992-1993<Y151-H04452196>
国立国会図書館
- 件名並行動作システム ストリーム並列 形式的仕様 実行可能仕様 仕様記述言語Z 仕様スライス 並列オペレーテイングシステム 分散処理シス...
寺田, 浩詔, 大阪大学1986-1988<Y151-S61460137>
国立国会図書館
- 件名図的言語 データ駆動原理 要求仕様記述言語 利用者言語 ソフトウエア環境 プロトタイピング手法 コンパ...
原尾, 政輝, 山形大学1985-1986<Y151-S60580016>
国立国会図書館
- 件名時空間様相論理 仕様記述言語 回路実現言語 回路自動合成 導出アルゴリズム 定理証明 知...
小原, 啓義, 早稲田大学1987-1990<Y151-S62302031>
国立国会図書館
- 件名高帯域ISDN 通信プロトコル ネツトワークアーキテクチヤ マンマシンインタフエース 仕様記述言語 マルチメデイア通信 インテリジエントネツトワーク ネツトワ...
野口, 正一, 東北大学1986-1987<Y151-S61850059>
国立国会図書館
- 件名衛星ネツトワーク 分散制御 ネツトワークプロトコル 通信ソフトウエア 仕様記述言語 通信衛星 電子メール メツセージ伝送 リアルタイム処理