本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发...
2012.3
随着计算机网络技术和及自动化技术控制技术等技术的进步发展，计算机网络技术呈现出了智能化发展的趋势。计...
2018.3
本书拟设计一个完整的计算机信息技术项目综合实训，旨在学生在完成主要专业课程的理论学习和各专项技能训练...
2018.1
本书系统描述了面向航天领域的最新的软件工程技术，以及自治性需求工程（ARE）方法，并使用欧洲航天局（ESA...
2017.12
本书以一个贯穿项目为载体，以任务驱动的方式介绍软件开发中各阶段所需的知识、技术、方法、工具、开发过程...
2018.2
本书提供了公司迅速提高上市时间、提高生产率、产品质量以及员工参与的热情的方法。在日新月异竞争激烈的现...
2018.1
SG-UAP是国家电网公司统一发布和使用的企业级信息化软件云开发平台。本书分为三大部分，分别是SG-UAP平台建...
2018.4
本书全面系统地阐述了软件项目管理的各个方面，内容包括：绪论、软件项目初期工作、软件项目开发计划、软件...
2018.1
本书系统介绍了软件源代码分析的基本原理和常用方法，同时介绍了当今比较主流的基于源代码分析的测试工具，...
2018.1
虚拟化、云、容器、服务器自动化以及软件自定义网络化的初衷是简化 IT 运维，然而应用了这些技术之后，很多...
2018.1