ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-04452196 |
|---|---|
| 研究種目 | 一般研究(B) |
| 研究分野 | 工学 電気工学 情報工学 |
| 研究機関 | 奈良先端科学技術大学院大学 九州大学 |
| 代表研究者 | 荒木 啓二郎 |
| 研究分担者 | 岡村 耕二 |
| 研究分担者 | 福田 晃 |
| 研究分担者 | 最所 圭三 |
| 研究分担者 | 古川 善吾 |
| 研究分担者 | 程 京徳 |
| 研究期間 開始年月日 | 1992/4/1 |
| 研究期間 終了年度 | 1993 |
| 研究ステータス | 完了 (1993/4/1) |
| 配分額（合計） | 4,400,000 (直接経費 :4,400,000) |
| 配分額（履歴） |
1993年度：1,400,000 (直接経費 :1,400,000) 1992年度：3,000,000 (直接経費 :3,000,000) |
| キーワード | 並行動作システム ストリーム並列 形式的仕様 実行可能仕様 仕様記述言語Z 仕様スライス 並列オペレーティングシステム 分散処理システム 並行動作プログラム ストリーム 関数型プログラミング言語 Miranda テスト デバッグ |