本书论述了在软件开发和测试中实际推行软件可靠性工程所需的具体步骤,并将软件可靠性工程的效益落实到每一个具体步骤中。本书的内容组织特别适合快速掌握和运用,详细介绍了一个来自贝尔实验室产品的完整案例研究,读者可以透彻地了解整个软件可靠性工程的全过程。为了便于理解,本书每章都对常见问题进行了解答,所提供的练习可以直接运用于实践。本书将软件可靠性工程核心实践分解为适合一两天学习的过程,即使是软件可靠性工程的新手也可以迅速掌握以下内容:建立可靠性的定量目标、开发操作剖面、使用CASRE估计软件可靠性、确定操作模式。
本书是经典的编译器著作,与“龙书”齐名。书中针对现代语言和体系结构全面介绍了编译器设计与实现的高级论题,从编译器的基础领域中的高级问题开始,然后深入讨论了各种重要的代码优化。本书专为编译器专业人士和计算机专业本科生,研究生编写,在设计和实现高度优化的编译器以及确定优化的重要性和实现优化的的方法等方面,为读者提供了非常有价值的指导。
过程是对随时间和空间变化的现象进行建模和分析的学科。许多年前,我们不能在现实问题求解中应用过程,但随着数值方法和计算工具的快速发展,这种状况已经发生了变化。本书很好地将计算机的使用和过程教学结合起来,采用MATLAB的计算机解题方法,使本书充满现代感,又具备实用的特点。本书采用面向应用和计算的方式,强调通过各种示例和习题来开发学生在建模和分析中的实战能力,同时将计算的任务交给计算机去完成。 本书是为那些有兴趣学习过程的概念、模型和计算方法的学生编写的,是过程课程的入门教材,适合管理、金融、工程、统计、计算机科学和应用数学等专业的高年级本科生或低年级研究生阅读