本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发...
2016.6
QTouch跨平台自动化软件是采用跨平台类库设计，集成了：设备通信、图形显示、数据转换、逻辑处理等功能，提...
2016.8
本书共9章。第1章介绍了我国自主可控技术的发展现状；第2章介绍了麒麟操作系统的基本情况、安装步骤、基本...
2016.6
这是一本系统阐述面对混乱而容易失控的技术开发团队时，如何管理、建设和强化团队，成功交付开发成果的大作...
2016.5
本书主要介绍作者近十年从事软件重构方面的研究工作成果。在重构层次上，主要包括模型重构与代码重构；在重...
2016.4