A new verification framework of object-oriented design specification for small scale software
| 題名 | A new verification framework of object-oriented design specification for small scale software |
|---|---|
| 著者 | Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno |
| 文献 | IEICE Transactions on Information and Systems, Vol.E80-D, |
| 種類 | article / 論文 |
| 日付 | 1996年12月 |
| 番号 | 229 |
| ファイル | |
| 引用形式 | @article{1997ID229,
author = {Kim, Eun Mi and Kusumoto, Shinji and Kikuno, Tohru},
journal = {IEICE Transactions on Information and Systems, Vol.E80-D,},
title = {A new verification framework of object-oriented design specification for small scale software},
}
|