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