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},
}