A new verification framework of object-oriented design specification for small scale software
| Title | A new verification framework of object-oriented design specification for small scale software |
|---|---|
| Authors | Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno |
| Reference | IEICE Transactions on Information and Systems, Vol.E80-D, |
| Type | article / 論文 |
| Date | Dec 1996 |
| ID | 229 |
| Files | |
| Citation | @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},
}
|