| Tweet | |
| T. Nagaoka, E. Nagai, K. Okano, and S. Kusumoto, "Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification," International Journal of Informatics Society (IJIS), 1(2), pp. 37-44, September 2009. | |
| ID | 128 |
| 分類 | 論文誌 |
| タグ | approach design formal real-time stepwise systems uml/ocl verification |
| 表題 (title) |
Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification |
| 表題 (英文) |
|
| 著者名 (author) |
Takeshi Nagaoka,Eigo Nagai,Kozo Okano,Shinji Kusumoto |
| 英文著者名 (author) |
Takeshi Nagaoka,Eigo Nagai,Kozo Okano,Shinji Kusumoto |
| キー (key) |
Takeshi Nagaoka,Eigo Nagai,Kozo Okano,Shinji Kusumoto |
| 定期刊行物名 (journal) |
International Journal of Informatics Society (IJIS) |
| 定期刊行物名 (英文) |
|
| 巻数 (volume) |
1 |
| 号数 (number) |
2 |
| ページ範囲 (pages) |
37-44 |
| 刊行月 (month) |
9 |
| 出版年 (year) |
2009 |
| Impact Factor (JCR) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@article{id128,
title = {Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification},
author = {Takeshi Nagaoka and Eigo Nagai and Kozo Okano and Shinji Kusumoto},
journal = {International Journal of Informatics Society (IJIS)},
volume = {1},
number = {2},
pages = {37-44},
month = {9},
year = {2009},
}
|