（美）斯多（Stahl，T.），（美）沃尔特（Volter，M.）等著，杨华，高猛译2009 年出版381 页ISBN：9787302189145
本书主要介绍模型驱动软件开发方面的内容。目的是为了使开发人员了解到MDSD（模型驱动软件开发）是一种实用的方法，而且在许多情况下都要优于传统开发方法。...
程莉莉编著2006 年出版308 页ISBN：7310025369
本书系统地介绍了项目管理仿真的基本原理和过程，分析了项目不同阶段可能存在的不确定因素，以及现有对项目不确定性信息的处理方法。同时，对现有的各种主流项目管理软件的功能和特征进行介绍，并通过案例展示应用...
晨风编著2004 年出版178 页ISBN：7302091889
本书可以帮助从事嵌入式系统开发工作时间不长的新手入门尽快掌握嵌入式系统开发的基本方法，理解嵌入式软件开发的基本概念，掌握编写稳定，高效的嵌入式系统的基本能力。...
（英）苏格兰学历管理委员会著2005 年出版234 页ISBN：7801699173
本书为英国高等教育文凭项目英文原版教材，为其计算机专业必修课程。第一部分主要介绍了结构编程的基本理论；第二部分主要介绍了结构编程的基本方法；第三部分介绍了结构编程语言；第四部分介绍了如何对一个具体项...
张青，王囡囡著2016 年出版339 页ISBN：9787568229401
本书集高级程序设计语言、数据结构、软件工程、工程数据库于一体，系统介绍了工程软件的基本概念、结构、开发方法，以VB为主要工具，结合工程实践给出大量实例，由浅入深全面阐述了高级程序设计语言的计算原理和基...
夏辉，周传生主编；王晓丹，屈巍，白萍副主编2015 年出版404 页ISBN：9787302386780
《软件项目管理》内容丰富、具体、实用，涵盖了软件工程和项目管理的基本要素和方法，既可作为高等院校信息技术相关专业的本科生和研究生的教材，也可以作为软件行业从业人员自学的参考书，无论是软件项目经理，还是...
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
贺哲荣，黄金波主编；陆柏林，闫军礼，刘志勇等副主编；肖峰，贺文娟，吴春燕等参编2012 年出版236 页ISBN：9787512329744
本书以目前应用最为普遍的MCS-51系列单片机的最新芯片AT89S51芯片为例，介绍了其硬件设计和编程实例。全书所有的程序设计采用中文字符串编程，这样便于更多的中文读者对程序的理解，对每一个控制程序均提供了相...
