古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
曹飞飞，赵永发，吴绪铎编著2012 年出版776 页ISBN：9787115277954
本书以开发人员在编程中遇到的实际问题和开发中应该掌握的技术为中心，全面介绍运用Visual C++进行程序开发的最常用最使用的案例和技巧。
李彤等著2003 年出版184 页ISBN：7030120078
本书是与《多媒体技术与应用》一书配套使用的辅助教材。本书借鉴了制造业并行工程的思想，将其引入到计算机软件工程中，以软件开发过程中的并行性为研究对象，通过尽量使软件开发并行进行，来达到提高软件生产率的...
李小军主编2015 年出版325 页ISBN：9787562345398
本书为国家示范性中等职业技术教育精品教材之一，通过13个项目，从基础知识到完整游戏再到管理程序APP实现逐一介绍基于手机android平台的各种应用开发技术，项目下设置若干任务，每个任务分任务描述、任务分析、任...
何小朝编著2010 年出版290 页ISBN：9787121104848
本书从软件与三维实物的本质性不同出发研究软件生产方法论。今天，软件生产中许多传统问题并没有得到质的改善，以“爆炸”形容的技术发展的实质究竟是什么？先进管理模式下的管理现状如何？本书首先深入分析以上问...
李新民，宋铁桥主编2006 年出版185 页ISBN：7040184265
本书是CEAC高等职业教育电子信息类专业双证课程培训方案配套教材。本书共13章，包括：让我们来认识软件开发、软件也有生命周期、软件如何立项、软件开发的基石-需求分析、概要设计和详细设计概述、概要设计、...
约翰，延斯著2013 年出版477 页ISBN：9787111419501
本书论述了大规模风能系统设计、建设与运行方面的最新进展；提供了详细的风资源评估、风电机组与风电场规划有关的选址方法等内容；探索了运行与维护问题，例如可靠性、可维护性策略及状态监测系统等；论述了海上风...
张雪梅，高凯编著2015 年出版318 页ISBN：9787302400554
全书分基础篇和提高篇。基础篇涵盖Android应用程序的基本组成、Andriod事件处理机制和常用Widge组件、基于Intent的Activity切换及基于Bundle的数据传递、Service、BroadcastReceiver、数据存取和访问、多...
