张英杰，曹岩，曾高强编著2005 年出版344 页ISBN：756051880X
本书以一个具体的工程应用软件的开发和实施过程为主线，详细介绍了PowerBuilder软件对数据库的操作和各控件的使用方法。
中国标准出版社编2007 年出版394 页ISBN：9787506643702
本汇编分为基础与管理，软件开发与维护，软件度量与评价三卷。
张海藩，牟永敏编著2013 年出版229 页ISBN：9787302330998
本书是《软件工程导论（第6版）》配套的实验指导教材。内容覆盖了软件工基础、可行性研究、需求分析、形式化说明、系统设计、测试、维护、 面向对象方法、软件项目管理。...
中国质检出版社第四编辑室编2011 年出版610 页ISBN：9787506663748
本书分为三卷，本卷为软件开发与维护卷，收入相关标准15项。
（日）刘少英著2008 年出版408 页ISBN：7302183171
本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...
