(苏)罗金斯基(Рогинский,Я.Я.),(苏)列文(Левин,М.Г.)著;王培英等译1993 年出版792 页ISBN:7810272195
(苏)克留契科夫(В.Ф.Крючков),(苏)奥尔洛夫(Н.Орлов)著;邢玉芬,王玉民译1958 年出版192 页ISBN:15043·445
(苏)马雷舍夫(Малышев,А.И.),(苏)波莫盖博(Помогайбо,А.С.)著;谢世杰,杨耀祖译1986 年出版287 页ISBN:15063·3846
(意)盖伊(Ghezzi,C.),(意)查耶(Jazayeri,M.),(意)曼德若利(Mandrioli,D.)著2006 年出版588 页ISBN:7508338766
本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性,有选择地介绍了软件工程基础;强调并确定了适用于整个软件生命期的基本原则,全面而深入地介绍了这些基本原则在软件设计、规范、验证...