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

Call No. (NDL): Y151-H12680354
Bibliographic ID of National Diet Library: 000007079802

Material type: 図書

Author: 荒木, 啓二郎, 九州大学

Publisher: -

Publication date: 2000-2001

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: 形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
Title Transcription: ケイシキシュホウニモトヅクコウヒンシツクミコミセイギョシステムカイハツホウノケイトウカニカンスルキソテキケンキュウ
Author/Editor: 荒木, 啓二郎, 九州大学
Author Heading: 荒木, 啓二郎アラキ, ケイジロウ
Publication Date: 2000-2001
Publication Date (W3CDTF): 2000
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 形式仕様記述ケイシキシヨウキジユツ
ドメインモデル構築ドメインモデルコウチク
形式手法ケイシキシユホウ
図式表現ズシキヒヨウゲン
図式分析ツールズシキブンセキツール
形式仕様の検査ケイシキシヨウノケンサ
システム記述事例研究システムキジユツジレイケンキユウ
段階的詳細化設計ダンカイテキシヨウサイカセツケイ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 12680354
Holding library: 国立国会図書館
Call No.: Y151-H12680354
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007079802
http://id.ndl.go.jp/bib/000007079802
Bibliographic Record Category (NDL): 214