Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification
International Journal of Informatics Society (IJIS), vol.1, no.2, pp.37-44 (2009)
タグ: approach, design, formal, real-time, stepwise, systems, uml/ocl, verification
@article{TakeshiNagaoka2009b,
author = {Takeshi Nagaoka and Eigo Nagai and Kozo Okano and Shinji Kusumoto},
title = {Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification},
journal = {International Journal of Informatics Society (IJIS)},
volume = {1},
number = {2},
pages = {37--44},
year = {2009},
month = {sep}
}