软件工程及软件方法学
-
个体与交互(美)霍华德 等著,贾永娜 等译对敏捷软件开发的关注重点,通常都集中在“机制”方面,即过程和工具。“敏捷宣言”认为,个体与交互的价值要高于过程和工具,但这一点很容易被遗忘。在敏捷开发中,如果你重新将注意力放在人的方面,将会收获巨大利益。 《个体与交互:敏捷实践指南》展示了如何解决敏捷团队在实际项目中遭遇的问题。同时,本书也是很有实用价值的敏捷用户指南,其中包含的故事、最佳实践方法、经验以及技巧均可应用到实际项目当中。通过逐步实践,你将学会如何让团队真正地成为能够协同工作的团队,而不是各自为战。在这个过程中,你将在沟通、动机、协作、变化、团队动力以及其他很多方面,获得一些极具深刻现实意义的建议。 无论你身处敏捷项目中的何种角色,比如敏捷项目经理、ScrumMaster、产品负责人、开发者、培训师或咨询师,本书都会帮助你改变周围的敏捷环境,使其更加多产和高效,并且令团队成员可以身体力行。 -
软件可靠性方法(以)佩莱得 著,王林章 等译【名人推荐】我第一次翻开这本书时,立刻被这本书的覆盖范围之广所深深打动,它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外,本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具,使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。同时,本书描述了应用形式化方法的过程:从建模和规约开始,然后选择一个合适的验证技术,最后测试程序。这些知识在实践中是十分必要的,但是却很少在软件工程的课本里面出现。我确信这本书将会取得巨大的成功。我向所有对软件可靠性问题感兴趣的读者强烈推荐这本书。—— Edmund M. Clarke教授图灵奖获得者,卡内基-梅隆大学【内容简介】用于创建可靠软件的形式化方法一直处于不断的开发和改进之中。最近,人们对于形式化方法工具的重要组成有了更深入的理解,从软硬件开发业界逐渐接受可靠性工具这一点就可以体现出来。本书介绍了各种能解决软件可靠性问题的方法。理想情况下,形式化方法应该用起来直观,学起来简洁、快速,对开发过程的影响微乎其微。本书对各种方法进行了比较,揭示了它们各自的优点和缺点,同时紧扣自动机理论和逻辑这两个主题。在尽可能减少背景知识介绍的前提下,本书向非专家读者描述了多种技术,并且针对软件工程领域的研究人员和专业人士介绍了一些高级技术。本书主题和特点:? 集中介绍目前常用的重要软件可靠性方法,并将它们互作比较,这些方法包括:演绎验证、自动验证、测试和进程代数? 为具体项目的软件选择过程提供有用信息? 提供了大量的练习、项目和连续性的实例,方便读者学习形式化方法并能够亲手使用这些工具? 介绍了支持形式化方法的数学原理? 对于该领域未来的研究方向,以及开发新方法和改进现有技术提出了有益的见解 -
软件之道(美)Andy Oram Greg Wilson 编著 鲍央舟 张玳 沈欢星 译《软件之道:软件开发争议问题剖析》集合了几十位软件工程领域顶尖研究人员的实证研究,通过呈现他们长达几年甚至几十年的研究成果,揭示了软件开发社区普遍存在的一些确凿事实和虚构之事。书中探讨了更有效的编程语言,对比了软件开发人员之间的效率差异,验证了康威定理,并反思了软件行业的最新模式。《软件之道:软件开发争议问题剖析》将帮助读者拓宽视野,更好地选择适合的工具和技术,并最终成为一名更加优秀的软件行业从业人员。 《软件之道:软件开发争议问题剖析》适合所有软件开发人员和研究人员阅读。 -
软件工程学习指导与习题解析王华 等编著《中国高等学校计算机科学与技术专业(应用型)规划教材:软件工程学习指导与习题解析》对软件工程的基本原理和方法做了简要介绍,内容涉及软件工程概述、软件开发模型、需求分析、结构化分析与设计基础、构件级设计与实现、面向对象方法及UML建模语言、面向对象分析、面向对象设计、软件维护等。每章由基本知识点、习题和习题解析三个部分组成。基本知识点主要介绍该单元的基本原理、方法等重要内容。习题部分结合本单元的知识点,给出各种类型的练习题,配合知识点的复习。习题解析部分不仅给出习题答案,还对重点、难点习题进行分析,指出解题思路和方法。此外,《中国高等学校计算机科学与技术专业(应用型)规划教材:软件工程学习指导与习题解析》给出三套模拟试题及参考答案,供学习者练习和自测。《中国高等学校计算机科学与技术专业(应用型)规划教材:软件工程学习指导与习题解析》可作为高等院校计算机、软件工程等相关专业学生的软件工程课程辅助用书,也可作为计算机本科和专科学生参加计算机等级考试或相关专业自学考试的参考书。 -
IT项目开发与管理苏宝莉 主编《IT项目开发与管理》遵循学生职业能力培养的基本规律,根据企业的真实项目开发和管理情境,本着引导学生体验软件开发及项目管理过程的原则而编写的。通过综合运用课程所学的软件开发主流技术、项目管理知识,对软件开发过程以及其他IT项目(如网络升级项目)进行管理。在此过程中,学生通过真实工程项目的开发和管理,熟悉规范的软件开发和管理流程,熟练掌握IT项目开发与项目管理技能,培养良好的沟通能力和团队协作能力,实现与软件开发工作岗位的无缝连接。在项目一和项目三中,本书以办公自动化系统的开发与管理及服务管理系统开发与管理为例,细致地讲解了如何进行”“项目启动”“、”“需求分析”“、”“系统设计”“、”“系统编码”“、”“系统测试”“、”“系统发布”“和”“系统验收”“内容,并引导读者在集成化的软件工程管理平台: 统一软件数据管理系统USDM(Unified Software Data Management)上进行操作;在项目二中,本书以校园网络升级项目管理为例,细致地讲解了如何进行”“项目计划”“、”“项目监控”“和”“项目结束”“内容,并引导读者在项目管理平台: Project2007上进行操作。《IT项目开发与管理》图文并茂,实用性强,书中提供的场景和项目非常适合即将进入职场的在校学生,使其提前进入工作状态。本书可作为高等职业技术学院、高等专科学校、成人高校、本科院校举办的二级职业技术学院计算机相关专业软件工程课程的教材,还可供各类计算机软件开发人员学习、使用。 -
精通软件项目管理(美)切穆图里,(美)卡格利 著,王丽珍,赵金华,陈丽兰 译《精通软件项目管理:最佳实践、工具和技术》作者是软件开发方面的问题专家,多年来一直从事编程、咨询和培训工作,具有丰富的实践经验。本书从软件开发组织的项目经理的立场出发,结合促成成功的项目管理的理念,全面地阐释了包括项目的获得、启动、实施和收尾在内的软件项目管理。本书还提供了精通软件项目管理、达到最优效果所需的所有指导、方法、工具和技巧。两位作者将累积的经验和智慧倾注于本书,以实用、清晰、简洁的方式展示出来,为项目经理取得骄人业绩提供帮助。 -
软件开发工程师人力资源和社会保障部教材办公室,CAC教育机构产品研发中心 编《CAC岗位就业实训精品课程系列教材:软件开发工程师》在编写中贯穿“以企业需求为导向,以职业能力为核心”的理念,以典型软件公司的.NET程序开发为例,详细介绍软件开发工程师的岗位职责,并进行实务演练。全书按岗位职责分为三个模块,主要内容包括:ASP.NET项目开发、Windows窗体应用程序开发、智能设备项目开发。为便于读者迅速抓住重点、提高学习效率,教材中还精心设置了“基础技能要点”“核心技能要点”“老C提醒”等栏目。每一岗位职责后提供练习题,书后附1套模拟试卷,供读者巩固学习成果、检验学习效果时参考使用。《CAC岗位就业实训精品课程系列教材:软件开发工程师》可作为大中专院校计算机相关专业学生进行软件开发岗位入职前的培训教材,也可作为相关专业院校的专业实训教材,还可供软件开发从业人员参加岗位技能培训使用。 -
软件工程与实践廖礼萍 编著《普通高等教育计算机类十二五规划教材:软件工程与实践》是一本系统介绍软件工程理论、技术和方法的教材,全书分成12个章节,内容分为四部分:软件工程基本理论,传统的软件开发过程及开发方法,面向对象软件开发过程及方法和软件项目管理基础知识。本书结合软件工程的最新发展技术,以传统的软件工程开发方法和面向对象的软件工程开发方法为主线,遵循软件开发“工程化”思想,结合软件分析与软件设计的大量实例,从实用的角度系统地介绍软件工程学的基本理论、基本方法以及典型的软件开发技术。本书既注重知识的系统性,同时又注重软件工程的实用性和案例分析选题的先进性。全书以一个完整综合实例贯穿整个软件开发过程,重点描述在软件开发时如何使用结构化方法和面向对象方法进行系统分析和设计并建立软件开发模型。通过此实例分析,读者可以直观地分析比较,在软件开发过程中使用结构化和面向对象这两种经典的开发方法的不同。本书的特点在于结合实例描述抽象的软件工程理论、软件开发准则,既注重实用性,又增强了全书的可读性和可理性。《普通高等教育计算机类十二五规划教材:软件工程与实践》内容丰富,系统性强,知识体系新颖,理论与实践相结合,具有很好的实用性,既可作为高等学校计算机专业“软件工程”等课程的教材或教学参考书,也可作为通信、电子信息、信息工程等相关专业的计算机课程教材,还可供软件工程师、软件项目管理者和应用软件开发人员阅读参考。 -
爱上ProcessingCasey Reas 著Processing最初是面向艺术家和设计师开发的程序。由Casey Reas和Ben Fry编著的《爱上Processing》适合零基础的初学者。全书言简意赅,清晰、详细地介绍了Processing的各项功能和拓展的可能性,以及在计算机图形方面的主要优势和用法。本书的1~6章介绍了Processing的基础用法,而7~10章则结合计算机高级编程语言的基础知识,通过示例让初学者更加透彻地理解编程的逻辑思路以及语言。第11章结合Arduino物理模块进行了延伸。《爱上Processing》与《爱上Arduino》一书相呼应,向大家展现了Processing的强大拓展性和创造性。 -
软件测试技术案例教程李海生,郭锐 编著《高等学校计算机科学与技术项目驱动案例实践规划教材:软件测试技术案例教程》采用“项目驱动”的教学模式,通过完整的项日案例,系统地介绍软件测试的原理、方法和技术。全书围绕软件测试的整体流程,详细论述了软件测试基本原理、软件测试计划与策略、黑盒测试技术、白盒测试技术、单元测试技术、集成测试技术、系统测试技术、验收测试技术和软件测试管理等内容。《高等学校计算机科学与技术项目驱动案例实践规划教材:软件测试技术案例教程》注重理论与实践相结合,内容详尽,提供了大量实例,突出应用能力的培养,将一个实际项目的知识点分解在各章作为案例讲解,是一本实用性突出的教材。本书可作为普通高等院校计算机专业本、专科生软件测试课程的教材,也可供软件测试人员参考使用。
