软件工程过程、方法及工具相关电子书下载

吴洪森等编著1996 年出版192 页ISBN：7308018563

杨海霞著2014 年出版220 页ISBN：9787512121522

本书以软科学研究过程为主线，以较为清晰的逻辑思路、理论实践并重的内容结构，结合丰富的案例，从软科学选题→信息资料搜集→系统分析→预测→软科学决策方法→软科学研究常用软件，循序渐进的介绍了每个环节所应...

赵学文著2015 年出版190 页ISBN：9787515812526

本书通过三个部分讲述了绩效管理的重要性以及如何在企业内部建立起切实有效的绩效管理策略，通过具体的案例分析实施绩效管理的作用。同时，作者还分析了目前大多数企业在绩效管理实施过程中存在的显著问题，并指...

刘先省，张连堂主编2008 年出版277 页ISBN：9787111241058

（美） Mary Poppendieck，Tom Poppendieck著；朱崇高译2004 年出版150 页ISBN：730207867X

精益思想已在制造、卫生保健和建筑等诸多行业取得了卓越的成效，敏捷软件开发更是让困境中的软件开发人员看到了曙光。本书揉合了两种思想的精髓，帮助读者将广为接受的精益原则转换为适应具体环境的敏捷实践，从...

陈启秀等编著1996 年出版136 页ISBN：7534520355

杨东华著1989 年出版196 页ISBN：7030007069

吕勇哉著1986 年出版379 页ISBN：7502513574

张健著2000 年出版172 页ISBN：7030083644

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

孙洪程，翁维勤，魏杰编著2010 年出版250 页ISBN：9787122082190

本书介绍了过程控制系统、过程控制工程。