软件工程及软件方法学
-
信息系统开发方法王景光 等编著信息经济时代,经济全球化和市场国际化的趋势越加明显,竞争日趋激烈,企业经营环境发生了深刻的变化。工业化时期形成的管理模式、管理手段、管理方法遇到了前所未有的挑战。信息技术已经成为21世纪企业获得和保持竞争优势,形成核心竞争力的重要手段,这也标志着企业信息化的进程在全球范围内开始进入了快车道。《信息系统开发方法》从方法论的角度,分别介绍了目前在信息系统开发实践中广泛使用的结构化开发方法和面向对象方法的核心内容。两种方法均按照系统的生命周期过程展开,主要涉及信息系统的规划、分析、设计、实施,以及运行维护各阶段的具体步骤和主要工具,还介绍了目前面向对象的主流开发技术——COM、CORBA和EJB/J2EE等。内容的组织与选择力求突出系统性、实用性和可操作性,旨在提高读者对信息系统开发方法的掌握和动作能力。《信息系统开发方法》适合于各类组织机构的中、高层管理人员、企事业单位的信息系统开发技术人员,以及高等院校不同层次的学生参考使用。
-
面向对象与传统软件工程(美)斯凯奇 著,韩松 等译;韩松译本书是软件工程领域的经典著作,被国外多所大学选用为教材,至今已是第6版。从Java到面向对象、再到统一过程的软件开发方法,面对软件工程发展中的重大方法上的改变。本书作者都以严谨的态度对其软件工程专著进行修订,使软件工程在理论上与新的方法和实践更加紧密结合。全书共分两部分;第一部分介绍了软件工程的理论基础;第二部分讲述了软件生命周期的各个阶段。采用这种独特的、极具可读性的组织方式,学生可以更加系统地学习软件工程。本书是一本经典的软件工程教科书,自1990年首次出版以来,这已是第6次修订出版。全书共分为两部分:第一部分介绍了以项目开发为基础的软件工程的理论基础;第二部分讲述了软件生命周期的各个阶段。第6版的亮点在于结合了统一过程,并深入介绍了UML,使得内容更具实用性和时效性。此外,书中还包含两个大型的运行实例、大量的参考文献及习题集,使得读者能更好地学习和实践书中的内容。本书是高等院校软件工程课程的理想教材,对于专业软件开发人员,本书也是一个很好的参考。
-
软件开发技术基础赵英良 等编著《软件开发技术基础》根据教育部非计算机基础课程教学指导分委员会《关于进一步加强高校计算机基础教学的意见》中软件类课程的要求,结合非计算机专业软件开发的特点组织编写。《软件开发技术基础》介绍了常用的计算机软件开发技术,如:软件开发方法、数据结构及其应用、操作系统及相关程序设计技术、数据库及应用程序开发、网络软件开发技术、多媒体编程技术等。书中还包括两个附录:Visual C++6.0Windows编程基础和实验指导。本书以C++为实验环境,内容实用,条理清晰,每章均有一定数量的例题和习题,旨在锻炼的软件开发能力。《软件开发技术基础》适合作为高等院校理工科非计算机专业的教材,也可作为计算机培训教材。
-
管理信息系统原理倪庆萍主编本书从管理信息系统的概念人手,对管理信息系统学科的形成原理和管理信息系统的工作原理、构成原理、开发原理进行较为全面、系统的介绍。 全书共13章,内容包括:管理信息系统的概念、结构、分类,信息、系统、管理与决策等有关概念,管理信息系统发展的主要思想和理论,企业管理信息化,数据的组织与管理,管理信息系统开发方法,系统规划,系统分析,系统设计,系统实施、运行与管理,企业资源计划ERP,决策支持系统,客户管理信息系统,供应链管理系统,战略信息系统,账务处理系统的分析与设计等。 本书可作为高等学校信息管理与信息系统、电子商务、工商管理等专业的教材,也可供教师和企事业管理人员学习参考。
-
21世纪的管理挑战(美)彼得·德鲁克;朱雁斌译《21世纪的管理挑战》只涉及明天的“热点”问题,即关键性的、决定性的、生死攸关的和明天肯定会成为主要挑战的问题,将从以下6个方面深刻分析21世纪管理者面临的挑战:●管理的新范式;●战略——新的必然趋势;●变革的引导者;●信息挑战;●知识工作者的生产率;●自我管理。彼得.德鲁克论述了管理的新范式如何改变和如何继续改变我们对管理实践和管理理论的基本认识。《21世纪的管理挑战》不乏远见卓识和超前思维,它集丰富的知识、广泛的实践经验、深邃的洞察力、精辟的分析和拨云见雾般的常识于一身,这些都是德鲁克著作的精髓和“管理学的里程碑”。——《哈佛商业评论》德鲁克的影响]我们身边耳熟能详的人物,无论是第五项修炼的倡导者彼得.圣吉、市场营销之父菲利浦.科特勒、领导力大师约翰.科特,还是英特尔公司总裁安迪.格鲁夫、微软董事长比尔.盖茨、通用电气公司CEO 杰克.韦尔奇……他们在管理思想和管理实践方面都受到了彼得.德鲁克的启发和影响。 [大师中的大师]德鲁克先生被称为大师中的大师,不仅因为他是现代管理学的奠基人,目标管理的创建者,他在市场、创新、变革、战略、知识管理、21世纪管理者的挑战等方面的真知灼见,也让诸多管理大师和成功企业家从中受益。海尔集团张瑞敏同样深受教益:“我也成了德鲁克迷,到处搜集他的著作。读他的书是一种享受,因为常常使人有茅塞顿开之感。这本《卓有成效的管理者》我更是爱不释手,不知读了多少遍,常读常新。尤其是面对变幻莫测的市场和全球化竞争的困惑时,总能从书中得到新的启示。” [内容介绍]我们生活在一个意义深远的转型期,现在的管理学思想仍然沿用20世纪的那些基本假设,很少有人去注意它们是不是“事实”。但实际上,它们都已经过时了。如果用不正确的假设去制定战略,那将不可避免地把组织个向不正确的轨道。[德鲁克的其他著作]
-
苹果传奇(美)林茨迈尔著;毛飞译Macintonsh的神话,本书全面解读苹果公司成长内幕;首次真实展示世界级企业领袖成长经历;披露传奇企业鲜为人知的公司政治斗争内幕;中国无数创业者和投资者平衡和化解利益冲突的优秀参考书。本书真实记录了世界著名的苹果公司的传奇历史。从30年前创建开始,历经几任主管的灾难性决策使企业深陷困境,几多沉浮但又最终东山在起,从中可以窥见关键时刻领袖人物对于企业发展的影响力。全面再现了苹果公司几十年商海沉浮的秘史。全面解读苹果公司成长内幕;首次真实展示世界级企业领袖人物成长经历;披露传奇企业鲜为人知的公司政治斗争内幕;中国无数创业者和投资者平衡和化解利益冲突的优秀参考书。本书适合与IT相关的大众人群、IT类公司的管理者和创业者及其他喜欢公司历史的读者。苹果公司的故事本身就是一出戏剧,本书以不可辩驳的方式图文并茂地详细介绍这个计算机制造商的历史。 ——《纽约时报》书评 苹果公司堪称世界各国MBA课堂上的经典教案,是一切创业者、投资者、研究者、爱好者、历史记录者们探索的对象。 ——《商业图书读者》书评 本书完美地融合了商业事实、幕后消息和流行的秩闻趣事,是商业史传爱好者的必读之作! ——Amazon.com 本书是目前为止介绍苹果公司的图书中可读性最强的一本,全面再现了苹果公司几十年商海沉浮的秘史,现在知道该送朋友什么礼物了。 ——Booklist 本书语言诙谐,尊重历史,到处都有吸引计算机业追随者的好东西,它绝对是苹果公司产品发烧友的必读之作! ——旧金山编年史
-
软件工程基础教程郭庚麒主编《高等职业教育“十一五”规划教材·高职高专软件工程系列教材:软件工程基础教程》主要介绍现代软件工程的基本原理、方法和应用。内容包括:软件工程概述、软件开发模型、系统分析、系统设计、软件编码与测试、软件维护、配置管理、质量管理、文档技术、软件复用和软件工程环境等。根据软件工程的最新发展,着重介绍了面向对象的开发方法,并将UML建模技术应用到实际系统的分析和设计中。《高等职业教育“十一五”规划教材·高职高专软件工程系列教材:软件工程基础教程》语言简练,通俗易懂,采用案例教学方法;注重培养实际开发能力和文档的写作能力。《高等职业教育“十一五”规划教材·高职高专软件工程系列教材:软件工程基础教程》具有很强的实用性,可作为高职高专院校计算机专业或信息类专业的教材,也可作为软件开发人员的参考书
-
软件工程项目管理张青 黎明 赵正文 等著暂缺简介...
-
程序切片技术及其应用李必信编著本书主要介绍程序切片的起源和发展,程序切片技术的图论基础,程序切片的各种变体(如静态切片、动态切片、有条件切片、并发切片、面向对象程序的切片、体系结构切片和规约切片等),计算程序切片的各种方法,以及程序切片技术在软件调试、波动分析、软件测试、度量、重用、程序理解、逆向工程和软件安全等方面的应用,并讨论了程序切片技术的发展趋向。本书适合作为高等院校计算机软件专业学生学习"软件工程"、"软件分析与测试"等课程的参考书或工具书,也适合作为软件分析与测试研究人员的参考书。上篇程序切片技术基本原理第1章 概论1.1 程序切片技术的起源和发展1.1.1 从数据流方程到程序依赖图1.1.2 从可执行的程序切片到不可执行的程序切片1.1.3 静态切片、动态切片和有条件切片1.1.4 后向切片和前向切片1.1.5 从源程序代码切片到软件规约切片1.1.6 从单一切片到多种切片1.2 程序切片技术的应用概述1.2.1 程序调试1.2.2 软件维护1.2.3 同归测试1.2.4 软件度量1.2.5 软件重用1.2.6 软件安全1.3 程序切片工具简介1.3.1 支持C语言的PST1.3.2 支持Ada语言的PST1.3.3 支持Oberon-2语言的PST1.3.4 支持Java语言的PST1.3.5 其他PST小结思考题参考文献第2章 图论基础2.1 控制流图2.1.1 基本模块2.1.2 控制流图定义2.1.3 基本属性2.2 控制流分析2.2.1 控制流2.2.2 控制流的表示方法2.2.3 支配节点和后必经节点2.2.4 循环识别2.3 数据流分析2.3.1 可到达定义2.3.2 数据流方程2.3.3 活性分析2.4 数据依赖和控制依赖2.4.1 控制依赖2.4.2 数据依赖2.5 程序依赖图2.5.1 过程内依赖图2.5.2 过程间依赖图小结思考题参考文献第3章 静态程序切片3.1 引言3.2 Mark weiser程序切片3.2.1 初步理解3.2.2 基本术语3.2.3 Mark weiser的数据流算法3.3 过程内切片3.3.1 构造程序依赖图3.3.2 图可达性算法3.3.3 例子分析3.4 过程间切片3.4.1 构造系统依赖图3.4.2 构造特征子图的算法3.4.3 过程间切片的算法小结思考题参考文献第4章 动态程序切片4.1 引言4.2 基本术语4.2.1 程序依赖图和静态切片4.2.2 执行历史和动态切片准则4.3 Agrawal和Horgan的动态切片4.3.1 动态切片方法14.3.2 动态切片方法24.3.3 动态切片方法34.3.4 动态切片方法44.4 Korel和Laski的动态切片小结思考题参考文献第5章 有条件程序切片5.1 引言5.2 有条件切片5.2.1 准静态切片5.2.2 同时动态切片5.2.3 一般的有条件切片模型5.2.4 有条件切片计算5.3 切片模型关系分析5.4 分割分析小结思考题参考文献第6章 面向对象程序切片6.1 引言6.2 传统系统依赖图的缺陷分析6.3 面向对象系统依赖图6.3.1 OOSDG的基本组成模型6.3.2 OOSDG对SDG的扩充6.3.3 类依赖图6.3.4 虚函数调用图的构造6.3.5 OOSDG的构造算法6.3.6 基于OOSDG的程序切片算法小结思考题参考文献第7章 并发程序切片7.1 引言7.2 Cheng的并发程序切片思想7.3 Krinke多线程程序静态切片方法7.3.1 线程控制流图7.3.2 线程程序依赖图7.3.3 基于tPDG的切片7.4 Nanda和Ramesh的并发程序切片方法7.5 并发程序的动态切片7.5.1 进程图和静态程序依赖图7.5.2 进程图到并发图7.5.3 构建DPDG7.6 面向对象并发程序的切片方法7.6.1 Zhao的早期方法7.6.2 Java并发程序的切片方法小结思考题参考文献第8章 规约切片8.1 形式规约切片8.1.1 静态形式规约切片8.1.2 动态形式规约切片8.1.3 其他形式规约切片8.2 基于规约的程序切片8.2.1 前置和后置条件8.2.2 基于规约的切片8.3 体系结构规约切片8.3.1 体系结构规约8.3.2 体系结构切片定义8.3.3 体系结构信息流图和体系结构切片的计算8.4 动态软件体系结构切片8.5 JVM规约切片小结思考题参考文献第9章 新型切片变体9.1 无定型切片9.1.1 程序投影9.1.2 无定型简单性度量9.1.3 无定型静态切片9.1.4 无定型有条件切片9.1.5 无定型切片的实现以及相关问题9.2 削片9.2.1 静态削片9.2.2 动态削片9.2.3 削片的性质和构造策略9.3 砍片小结思考题参考文献中篇程序切片技术的基本应用第lO章 程序调试10.1 引言10.1.1 什么是程序渊试10.1.2 为什么用切片进行调试10.2 如何用切片辅助程序调试10.2.1 调试中的错误分析及切片选取10.2.2 面向对象程序切片与调试10.3 基于切片的调试工具10.3.1 C-Debug10.3.2 SPYDER小结思考题参考文献第11章 波动分析11.1 引言11.2 程序切片与REA过程11.3 后向切片存在的必要性11.3.1 定义修改11.3.2 使用修改11.3.3 控制修改11.4 程序切片运算11.5 直接波动和诱导波动11.5.1 通用程序切片11.5.2 REA例子小结思考题参考文献第12章 软件测试12.1 引言12.2 基于程序切片的软件测试12.2.1 例子简介12.2.2 依赖图模型12.2.3 基本性质12.3 回归测试12.3.1 受影响的定义一使用关系类型12.3.2 BackwardWalk算法12.3.3 ForwardWalk算法12.3.4 进一步讨论12.3.5 回归测试的一般步骤12.4 基于切片技术的软件测试工具模型小结思考题参考文献第13章 软件维护13.1 引言13.2 软件维护模型13.3 分解切片与软件维护13.3.1 分解切片13.3.2 使用分解切片的几条规则13.4 联合切片与软件维护13.4.1 联合切片13.4.2 利用联合切片维护软件13.5 基于切片的软件维护模型小结思考题参考文献第14章 复杂性度量14.1 引言14.2 早期基于切片的度量14.3 内聚度量14.3.1 数据切片14.3.2 胶水、强力胶水和粘性14.3.3 内聚度量14.3.4 类内切片和类内聚14.4 耦合度量14.4.1 Java源代码中存在的耦合问题分析14.4.2 基于切片的Java耦合度量框架小结思考题参考文献第15章 软件安全15.1 引言15.2 软件安全分析的几种常用方法15.2.1 失效模式效应分析法15.2.2 软件故障树分析法15.2.3 Petri网分析法15.3 临界安全组件与软件故障树分析15.3.1 共同模式失效问题15.3.2 临界安全组件15.4 基于程序切片的共同模式失效分析方法15.4.1 基本原理15.4.2 例子分析小结思考题参考文献第16章 软件重用16.1 引言16.2 转换切片Lj重用16.3 有条件切片与重用16.4 规约驱动切片与重用16.5 软件体系结构切片与重用小结思考题参考文献第17章 应用扩展17.1 程序分析理解17.1.1 Lucia等人的初步思想17.1.2 Korel的大型程序理解手段17.1.3 Kumar的CONCEPT技术17.2 逆向工程和再工程17.2.1 传统切片17.2.2 接口切片17.3 Tip的类型错误定位方法17.3.1 静态语义规约和类型检17.3.2 项重写和依赖追踪17.3.3 切片精确度问题17.4 程序验证17.5 其他应用小结思考题参考文献下篇程序切片技术展望第18章 层次切片模型及其实现18.1 面向对象程序的层次结构模型18.2 层次切片模型18.3 SSA算法的基本思想18.4 HSM和SSA的实现18.4.1 代码信息树18.4.2 依赖图的生成算法和切片算法18.5 Jato:Java程序切片工具18.5.1 依赖图生成层18.5.2 切片生成层18.6 层次切片复杂度小结思考题参考文献第19章 层次切片模型的应用19.1 静态信息流分析19.2 耦合度量19.2.1 方法m1和m2之间的耦合度量19.2.2 类c的耦合度量19.3 内聚度量19.3.1 子功能内聚19.3.2 功能内聚19.4 复杂度度量小结思考题参考文献第20章 结束语20.1 基本原理总结20.2 基本应用总结20.3 未来研究课题20.3.1 程序切片的形式语义20.3.2 无定型程序切片20.3.3 规约切片20.3.4 基于规约程序切片20.3.5 软件体系结构切片20.3.6 程序切片应用参考文献附录附录A 汉英名词对照附录B 缩略语英汉对照
-
领域驱动设计(美)伊文斯(Evans, E.)著;陈大峰译“每个有思想的软件开发者的书架上都应该有这样一本书”——KentBeck“Eric设法收集了经验丰富的对象设计人员一直使用的一些设计过程,作为一个团队的人们在这些过程中却没能够成功地完成剩下的工作。人们将知识弄得支离破碎……却从来没有将建立领域逻辑的原则组织起来并使其系统化。这本书是非常重要的。”——KyleBrown,《EnterpriseJavaProgrammingwithIBMWebSphere》的作者。本书涉及的主题具体包括:●隔离领域●实体、值对象、服务和模块●一个领域对象的生命周期●将过程表示为领域对象●创建没有副作用的函数●总体轮廓●独立的类●扩展说明●应用分析模式●将设计模式与模型相联系●维护模型的完整性●设计领域前景声明●选择重构目标●职责层次●创建可插入的组件框架●结合大比例结构与界限上下文本书为读者系统地介绍了领域驱动的设计方法。书中介绍了大量优秀的设计示例、基于经验的技术以及促进处理复杂领域的软件开发的基本原则。本书将设计和开发实践相结合,在介绍领域驱动设计时,还提供了大量的Java示例,这些例子都是从实际中提取出来的,展示了领域驱动设计在软件开发中的实际应用。通过对本书的阅读,读者将获得对领域驱动设计的总体认识,了解领域驱动设计中涉及的关键原则、术语和推断。本书介绍的经验和标准模式将为开发团队提供一种通用语言。另外,书中还介绍了如何在领域模型中进行重构,如何与敏捷开发进行集成,如何获得对领域更深的认识并增进领域专家和程序员之间的交流等。并在此基础上,介绍了在复杂系统和较大组织中进行的领域驱动设计。