Jump to main content

図書

並行型プログラムの統合的開発支援環境の構築

Icons representing 図書

並行型プログラムの統合的開発支援環境の構築

Call No. (NDL)
Y151-H07558157
Bibliographic ID of National Diet Library
000007005794
Material type
図書
Author
牛島和夫, 九州大学
Publisher
-
Publication date
1995-1996
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

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

Search by Bookstore

Search by Bookstore

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
1995-1996
Publication Date (W3CDTF)
1995
1996
Extent
冊
Additional Title
研究種目 試験研究(B)
Subject Heading
統一的プログラム抽象表現 トウイツテキプログラムチユウシヨウヒヨウゲン
非決定的定義使用ネツト ヒケツテイテキテイギシヨウネツト
プログラム従属性理論 プログラムジユウゾクセイリロン
並行型プログラム開発支援環境 ヘイコウガタプログラムカイハツシエンカンキヨウ
スライシング スライシング
テスケース自動生成 テスケースジドウセイセイ
テスト十分性 テストジユウブンセイ
順序列テスト基準 ジユンジヨレツテストキジユン