| OOZS: an Object-Oriented Structured Formal Specification Language |
| |
| 摘 要： | lintroductionTileproblemsraisedinthedevelopmentandmaintenanceoflargeandcomplexsoftwaresystemsinacompetitiveanddynamicenvironmenthavebeenstudiedfi.omvariousperspectives.Theterm'softwarecrisis'describesthisproblemandmanyeffoltshavebeenmadetoovercomeit.Reusa…
|
| 收稿时间： | 25 October 1996 |
OOZS: an object-oriented structured formal specification language |
| |
| Authors: | Gang Li M Sc Huaikou Miao Guanming Zhu |
| |
| Institution: | (1) School of Computer Eng. and Science Shanghai University, 20 Chengzong Road, 201800 Shanghai |
| |
| Abstract: | |
| |
| Keywords: | OOZS class schema specification |
| 本文献已被 SpringerLink 等数据库收录！ |
