WEKO3
アイテム
検証可能なモデルコンパイラに関する研究
http://hdl.handle.net/10228/4706
http://hdl.handle.net/10228/47066dad795d-997a-4f16-b7bd-b9df26639bb2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
19500030seika.pdf (51.3 kB)
|
|
| Item type | 研究報告書 = Research Paper(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-11-11 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||||||||||
| 資源タイプ | research report | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 検証可能なモデルコンパイラに関する研究 | |||||||||||||
| 言語 | ja | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | A Study on Verifying Model Compiler | |||||||||||||
| 言語 | en | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 著者 |
鵜林, 尚靖
× 鵜林, 尚靖
|
|||||||||||||
| 備考 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | 研究期間：2007～2009, 研究種目：基盤研究（C）, 科学研究費補助金研究成果報告書 | |||||||||||||
| 書誌情報 |
発行日 2010-02-09 |
|||||||||||||
| 出版社 | ||||||||||||||
| 出版者 | 九州工業大学 | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | ソフトウェア工学 | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | モデル駆動開発 | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | アスペクト指向 | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | モデルコンパイラ | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | ドメイン特化言語 | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | 拡張可能モデリング環境 | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | 検証 | |||||||||||||
| 出版タイプ | ||||||||||||||
| 出版タイプ | VoR | |||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||
| 査読の有無 | ||||||||||||||
| 値 | no | |||||||||||||
| 科研課題番号 | ||||||||||||||
| 値 | 19500030 | |||||||||||||
| 著者所属 | ||||||||||||||
| 値 | 九州工業大学情報工学研究院知能情報工学研究系 | |||||||||||||
