2004 年出版240 页ISBN：7115122431
本书针对软件开发，提出了一些相当棘手和敏感的问题，并给出了颇具争议性的结论：从一个数百年来一直兴旺发达的系统——工艺学中获得启示，寻找答案。本书通过5个部分，19章的篇幅系统地阐述作者的观点，并试图回答一...
2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
2004 年出版368 页ISBN：7030141784
本书介绍Mathematica和Matlab的使用方法及运用该软件学习数学、应用数学解决实际问题的思想和方法。
2005 年出版312 页ISBN：7302118493
本书面向普通高等院校本科教学的需要及软件工程技术的发展，主要特色在于理论、方法与应用相结合，不仅对软件的分析、设计、开发到维护过程进行全面地讲述，而且配有丰富的实例，每章还提供典型习题。除了对传统的...
2004 年出版243 页ISBN：7302078106
本书主要讲述软件体系结构的基本原理、方法和实践，全面反映软件体系结构研究和应用的最新进展。
2005 年出版276 页ISBN：7810947885
本书介绍了在计算机应用的各个领域中的工具软件，其主要内容包括计算机软件硬件系统的测试、软件的管理、文件系统的管理、文档的管理、网络应用、光盘制作、游戏、系统安全等。...
2005 年出版698 页ISBN：7302105367
本书作为全国计算机技术与软件专业技术资格（水平）考试指定用书，全面涵盖了软件评测专业的知识、追溯了软件测试的发展史，反映了当前国际上采用的最先进的测试理论、标准、技术和工具，展望了软件测试的发展趋势。...
2005 年出版188 页ISBN：7502437797
本书主要介绍了目前应用最广泛的计算机常用工具软件的使用方法和技巧，包括系统工具、文件压缩工具、图片浏览与捕获工具、多媒体工具、反病毒工具、网络工具、翻译和词典工具、阅读工具、文本编辑工具、光盘...
2005 年出版223 页ISBN：7508430328
本书是在第一版的基础上，依据教育部《高职高专教育基础课程教学的基本要求》和《高职高专教育专业人才培养目标与规格》经过全面修订而成的。在修订中强调内容的实用性，以问题带知识点的方式来阐述，反映学科最...
Fireworks MX 2004中文版精彩案例教程 软件篇
2005 年出版251 页ISBN：7121015919
名师大课堂:本书分15课，从最基本的图形绘制到制作完整的网页效果图、制作GIF动画、导出完整页面，基本上涵盖了FireworksMX2004中所有需要了解和掌握的功能与操作。...
