本书讲解什么是自动化测试，为什么要进行自动化测试，以及实施自动化测试过程中的各种方法和需要注意的问题。 全书分为两部分。在第一部分，作者以自身的经验向我们阐释自动化测试的重要性以及好处。第二部分用6个要点来讲解需求收集、制定自动化测试的策略、开发自动化测试框架(主要是开发原则)、制定测试计划以及人......
"本书从软件与三维实物的本质性不同出发研究软件生产方法论。今天，软件生产中许多传统问题并没有得到质的改善，以“爆炸”形容的技术发展的实质究竟是什么？先进管理模式下的管理现状如何？本书首先深入分析以上问题，指出软件的本质及其至今不能实现工业化生产的内在原因；接着，从软件设计，测试与管理三个方面，系统地......
全书分为13章。第1～4章为基础知识部分，讲述iar embedded workbench开发环境的特点、功能、使用方法以及项目管理、参数配置等；第5～10章为本书的重点内容，结合处理器的相关结构讲述iar embedded workbench开发环境的实用工作机制与应用，如启动代码与编译系统的关系......
对于软件设计的初学者来说，面对大量的信息，往往不知从何处开始下手。本书是根据作者多年的授课经验写作而成的，特别针对有以下需求的读者，提供学习的指引。 本书第1篇，设计了一个完整的案例，并且将liml的13张图应用在该案例中，利用q&a的方式，深入浅出地说明uml 13张图的基本精神及其应用，让刚开始......
本书介绍单个敏捷实践与其他敏捷实践之间的联系，同时讲解制定实施策略的技巧。本书涉及的敏捷模式，不只是作者的个人意见，也不是从未试过的新方法，而是若干真实项目案例的经验总结。本书内容主要分为四部分。第一部分阐述软件开发的基本问题，是其他部分的基础。第二部分是本书的核心——为你的组织选择敏捷实践。第三部......
《软件维护中风险分析与故障管理策略研究》在广泛调研软件维护活动中现有管理策略和方法等研究成果的基础上，在软件变更管理和风险分析方面开展研究，以软件需求变更和代码模块变更为切人点，综合运用人工神经网络、矩阵数值分析等手段量化地评估变更给系统带来的影响；在软件故障管理方面，运用rough集推理技术和灰色......
本书选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的z语言，以时态逻辑为基础的xyz，还有以直觉数学学派为基础的类型理论。 本书既可以作为计算机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习......
软件质量保障作为一种专业技术已经变得越来越重要。本书从实际的角度深入分析了软件质量保障的各个主题，详细讨论了软件质量保障在信息技术领域的重要作用，起关键作用的各种软件质量保障技术(例如，技术评审、验证和确认技术、测试和度量技术等)，软件质量管理系统的实现，企业中成功进行软件质量保障需要的关键技术，存......
本书主体分为5个部分，分别从基础知识、视觉设计、组件高级技法、性能优化和flex通信5个主要方面进行flex知识的讲解。 本书由易到难、由浅人深、循序渐进地介绍了flex与actionscript3程序开发的一般步骤与常用的程序技巧，内容通俗易懂，使用大量实例贯穿全书，力求以实战的形式让读者快速掌......
精益思想与敏捷实践已在制造、工程、软件开发等诸多行业取得了卓越的成效。本书将两种思想的精髓结合在一起，通过思考工具和组织工具解决组织实践过程中如何做和怎么做的难题。本书分为两部分：思考工具和组织工具。思考工具部分将帮助组织深层理解实施过程中的阻碍，找出解决问题的根源，作出彻底的组织重新设计；组织工具......
“不惟说好，不怕说坏”。 自著述、出版《大道至简——软件工程实践者的思想》五年来，软件工程界可有新思？作者周爱民先生又对软件工程有了何种理解？在五年后，作者邀请不同背景的六位工程理论与实践领域的专家，从不同角度对《大道至简》进行点评；并新著 “具体工程”一章，矛头直指《人月神话》，进一步归纳了作者......
《系统分析与设计教程（原书第7版）》系统介绍信息技术和系统开发的实用方法，帮助学生了解如何把企业需求转变成信息系统，以及如何将传统的结构化分析方法、面向对象分析方法和项目管理技术相结合且应用在信息系统上，并通过完整、翔实的案例分析和课外练习锻炼学生分析问题、解决问题及决策的能力。这一版本继续保持了前......
