図書

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

図書を表すアイコン

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

国立国会図書館請求記号
Y151-H12680354
国立国会図書館書誌ID
000007079802
資料種別
図書
著者
荒木, 啓二郎, 九州大学
出版者
-
出版年
2000-2001
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
ケイシキ シュホウ ニ モトヅク コウヒンシツ クミコミ セイギョ システム カイハツホウ ノ ケイトウカ ニ カンスル キソテキ ケンキュウ
著者・編者
荒木, 啓二郎, 九州大学
著者標目
荒木, 啓二郎 アラキ, ケイジロウ
出版年月日等
2000-2001
出版年(W3CDTF)
2000
数量
その他のタイトル
研究種目 基盤研究(C)
件名標目
形式仕様記述 ケイシキシヨウキジユツ
ドメインモデル構築 ドメインモデルコウチク
形式手法 ケイシキシユホウ
図式表現 ズシキヒヨウゲン
図式分析ツール ズシキブンセキツール
形式仕様の検査 ケイシキシヨウノケンサ
システム記述事例研究 システムキジユツジレイケンキユウ
段階的詳細化設計 ダンカイテキシヨウサイカセツケイ