2003 年出版386 页ISBN：7508416384
本书主要内容包括：软件开发周期，规格说明，人机界面设计，模块化，程序美学，防错性程序设计，逐步求精法，验证程序的正确性，测试和文档，性能分析和测量，数据结构，算法设计等。本书适用于高校计算机专业的本科生。...
2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
2005 年出版667 页ISBN：7302102961
本书内容包括面向对象编程基本理论、Java算法分析、线性数据结构、Java集合架构、图形用户界面、Java联网技术。
2005 年出版451 页ISBN：7115133794
本书作者以商业应用开发者的经验为基础，试图解释在使用Visual FoxPro进行开发时的所有典型程序解决方案。内容包括单用户应用程序模式开发案例、多用户共享数据库模式开发案例、客户/服务器模式开发案例、多...
高级软件开发过程 Rational统一过程、敏捷过程与微软过程
2005 年出版118 页ISBN：7302115435
本书首先提出走出现代软件企业困境需要如Rational统一过程、敏捷过程、微软过程的“软件过程模式”；接着围绕软件过程模式中的四大要素及相互关系，分别剖析了三种软件过程的原则规范、思想本质、存在的优点和...
2005 年出版386 页ISBN：7302109621
本书以实例的形式介绍了JBuilder 9的使用，同时也让读者学习了项目开发过程。本书的主要内容采用“基础+提高”的方式来介绍。第1章介绍了JBuilder 9编程环境；后面的各章分别介绍数据库应用开发、网络应用开发...
2005 年出版212 页ISBN：711513278X
本书介绍了开发小型程序的流程方法，同时也介绍了与Visual Basic 6.0相关的一些高级的，实用的编程知识。
2005 年出版181 页ISBN：7302101329
本书为软件开发项目管理的核心内容和策略方法，适于软件工程专业作为教材选用。
2005 年出版1036 页ISBN：7302099502
本书全面地介绍了面向对象的编程技术，提供了全面的算法分析的基本内容，比较了算法和数据结构，以及用于面向对象分析和大型信息系统设计的基本软件工程原则。它是第一本在中级水平上介绍软件设计和开发的数据结...
2005 年出版220 页ISBN：7111157079
本书通过对软件开发的统一过程中的四个阶段之一——细化阶段的论述，使读者对统一过程中的一些最佳实践有了进一步的了解，从而有助于提出更加详细的软件过程来指导软件开发和产品化需求。...
2005 年出版446 页ISBN：7302108684
本书以主体理论和技术的具体研究成果为基础，从软件工程化开发的角度，系统介绍了面向主体软件开发的基本思想和方法，包括面主体软件开发的基本概念、软件开发思想、多主体系统的底层实现技术、分析和设计方法、...
2004 年出版646 页ISBN：7810775839
本书详细介绍了当前几大热点ARM嵌入式系统软件模块的原理及其在ARM7上的实现。
2006 年出版345 页ISBN：711514849X
本书介绍了用Symbian OS进行手机应用程序开发的各方面基础知识.
2005 年出版303 页ISBN：7561744994
本书主要包括概述，程序设计基础，文件操作，文字处理，程序设计，图形控件与绘图操作，多媒体播放器程序，使用ADO编写销售程序，应用程序的调试和发布等。...
2006 年出版336 页ISBN：7810777327
本书对嵌入式可配置实时操作系统eCos体系结构及其组成部分进行详细讲解，包括eCos的实时内核、硬件抽象层、线程及同步机制、设备驱动等。
