[1] E. Kant, Understanding and automating algrothm design, IEEE trans. On Software Engineering. SE-11: 11(1985), 1361-1374. [2] Z. Manna, R. Waldinger,A deductive approach to program synthesis, ACM Trans, on Programming Languages and Systems , 2: l(1980), 90-121. [3] P. D. Summers, A methodology for LISP program construction from expamles, J. ACM, 24: l(1977).161-176 [4] F. L.Bauer et al, The Munich Project CIP, Vol.l: The Wide Spetrum Language CIP-L, LNCS ,Vol.183,1985 [5] 徐家福,戴敏,吕建,FGSPEC语言文本,南京大学计算机软件研究所,1988。 [6] 杨枝灵,王开等. Visual C++数字图像获取、处理及应用. 北京:人民邮电出版社,2002. [7] 潘锦平。软件开发技术。上海科研成果技文献出版社,1985。 [8] 徐慧 等。Visual C++数字图像实用工程案例精选.北就.人民邮电出版,2003.1。 [9] 丁忠俊。模块库管理系统,计算机工程与应用,1992,4。 [10] 何克清。计算机软件工程学。武汉:武汉大学出版社,1983。 |