姚靠华著2002 年出版405 页ISBN：7810559478
本书共分四章，主要介绍了通用会计软件理论研究、数据文件分析与设计研究、基本模块分析与设计研究、扩展模块分析与研究等内容。
（美）沙利文著2003 年出版271 页ISBN：7302064334
本书介绍在不断发展壮大的环境中开发优秀商业软件所获得的原理、过程和技术。
（美）L.John Ribar，（美）Steven Nameroff著；章立生译1994 年出版196 页ISBN：7507707792
高等职业教育专业教学资源库建设项目规划教材 高等职业教育软件技术专业教学资源库 Java程序设计
徐红，王灿主编2013 年出版309 页ISBN：9787040372878
高等职业教育专业教学资源库建设项目是教育部、财政部为深化高等职业教育教学改革，加强专业与课程建设，推动优质教学资源共建共享，提高人才培养质量而启动的国家级高职教育建设项目。软件技术专业（项目编号：2011...
马在强主编2009 年出版235 页ISBN：9787302186137
本书以通俗易懂的语言全面、系统地介绍了软件工程的各个环节。主要包括软件工程概述、软件过程的基本活动、软件过程的保护性活动、常用软件文档的书写四大部分。...
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
