A study of 12 specifications of the library problem
暂无分享,去创建一个
[1] David Lorge Parnas. Software aspects of strategic defense systems , 1985, SOEN.
[2] Martin S. Feather,et al. Language support for the specification and development of composite systems , 1987, TOPL.
[3] Michael Jackson,et al. Principles of program design , 1975 .
[4] David R. Musser,et al. Abstract Data Type Specification in the Affirm System , 1980, IEEE Transactions on Software Engineering.
[5] Ali Mili,et al. Workshop on Models and Languages for Software Specification and Design , 1985, Computer.
[6] Richard A. Kemmerer,et al. Testing Formal Specifications to Detect Design Errors , 1985, IEEE Transactions on Software Engineering.
[7] Jeannette M. Wing. A Larch Specification of the Library Problem , 1986 .