WEKO3
アイテム
仮想並列計算機ADENA4システムの形式的実装
https://ipsj.ixsq.nii.ac.jp/records/130201
https://ipsj.ixsq.nii.ac.jp/records/130201bb2b0831-b79a-4810-b7c5-8175e6c5a5b3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001341956.pdf (198.1 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1996-09-04 | |||||
| タイトル | ||||||
| タイトル | 仮想並列計算機ADENA4システムの形式的実装 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Formal Implementation of Virtual Parallel Machine ADENA4 System | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 京都大学工学部応用システム科学教室 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Division of Applied Systems Science, Faculty of Engineering, Kyoto University | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 現在、仮想並列計算機ADENA4システムを開発中で、その核となる部分を実装したところである。このシステムの開発においては、微妙に異なる数々のアーキテクチャのADENA4システムの性能評価をこのシステムにて容易にできることを狙ってC++などのプログランミング言語より抽象度がより高い仕様記述言語VDMを用いて簡潔かつ正確に仕様記述し、IFAD VDM-SL ToolboxとC++Code Generatorというツールを用いてVDM言語で仕様記述し、そしてそのVDM仕様記述をC++プログラムに自動変換してインプリメントする開発手法を取った。これにより、仕様変更に容易かつ迅速に対応できるADENA4シミュレータを効率的に実現することが可能となった。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第53回, 号 ソフトウェア科学・工学, p. 221-222, 発行日 1996-09-04 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
