Transportable package software
暂无分享,去创建一个
[1] Barbara G. Ryder,et al. The pfort verifier , 1974, Softw. Pract. Exp..
[2] David Lorge Parnas,et al. A technique for software module specification with examples , 1972, CACM.
[3] James M. Boyle,et al. An Automated Programming System to Facilitate the Development of Quality Mathematical Software , 1974, IFIP Congress.
[4] Robert M. Haralick,et al. KANDIDATS: An interactive image processing system , 1978 .
[5] Brian W. Kernighan,et al. RATFOR—a preprocessor for a rational fortran , 1975, Softw. Pract. Exp..
[6] Brenda S. Baker,et al. An Algorithm for Structuring Flowgraphs , 1977, J. ACM.
[7] Hellmut Golde,et al. Bootstrapping XPL to an XDS sigma 5 computer , 1973, Softw. Pract. Exp..
[8] Fred P. Brooks,et al. The Mythical Man-Month , 1975, Reliable Software.