模型驱动软件设计:高效、低成本交付可靠软件
是一本十分实用的操作手册,通过UML(统一建模语言)分析基于模型的软件工程概念与技术。

作者:[美] 史蒂夫·托基(Steve Tockey)著 张建阳 译

定价:288元

印次:1-1

ISBN:9787302709510

出版日期:2026.05.01

印刷日期:2026.05.15

图书责编:王军

图书分类:零售

电子书
在线购买
分享
内容简介
作者简介
前言序言
资源下载
查看详情 查看详情 查看详情

"以更低成本构建可扩展、易维护的软件   《模型驱动软件设计:高效、低成本交付可靠软件》是一本十分实用的操作手册,通过UML(统一建模语言)分析基于模型的软件工程概念与技术。作者Steve是UML领域的泰斗级人物,展示了如何采用真正的工程学科方法开发和维护软件,并阐述了基于“计算机科学”和“离散数学”的软件工程实践方法。 基于模型的软件工程利用“语义建模”尽可能精确地捕获需求,通过将业务复杂性与技术复杂性分离,为开发者提供了**的设计自由度,以找到**的设计和编码方案。本书探讨如何通过领域划分和子领域划分来提高开发的可扩展性,分析如何利用精准的软件文档为开发和维护过程增加价值。 本书内容 ?贯穿全书的操作实例演示:从语义模型到可执行代码,全程展示基于模型的软件工程实践。 ?验证(验收)测试生成:详细解释如何从语义模型推导出验证测试用例。 ?项目评估与流程选择:涵盖项目估算方法及多种可替代性软件的开发与维护流程。 ?解决现实问题的经济学思想:指导如何低成本、高效地开发和维护实用软件。"

Steve Tockey是Construx公司的首席顾问,潜心研究软件工程实践,包括面向对象开发、分布式对象计算、软件项目管理和软件质量。Steve拥有西雅图大学软件工程硕士学位,曾任该校的兼职教授。加盟Construx公司前,Steve曾供职于劳伦斯利弗莫尔国家实验室、波音公司和罗克韦尔柯林斯公司。

中文版序 能为Steve Tockey的《模型驱动软件设计:高效、低成本交付可靠软件》一书撰序,我深感荣幸与欣喜。与本书的渊源不仅源于我与Steve学术探讨的共鸣与职业领域的交集,更植根于我们绵延二十余载的珍贵情谊。在这二十年间,我有幸与Steve在软件行业中并肩作战,共克技术难关,在讨论中迸出思想火花、畅谈软件领域的未来图景。最重要的是,我们彼此敬重,情谊如陈年佳酿,愈久愈醇。 从我们合作的第一个项目开始,Steve就展现出非凡能力。他不仅是一名软件工程师,更是一位系统化的思考者、方法论实践者和热忱的布道者。Steve具有严谨的分析能力和清晰的思维架构,总能将晦涩复杂的技术概念抽丝剥茧,转化为直击本质、简明易懂、引人入胜的表述。这二十多年来,我们共同剖析过大量遗留系统、指导过开发团队、设计过课程体系,并就需求建模、设计验证及如何实现软件工程化这一永恒议题,展开过无数次的深入交流,持续追寻实现软件工程化的理想愿景。Steve始终以近乎苛刻的专业标准要求自己,专业态度严谨,职业操守无可挑剔——这些品质不仅在软件领域,在任何其他专业领域也都弥足珍贵。 与Steve相识的漫长岁月里,他始终秉持着“把事情做对”的坚定信念,从未有过丝毫动摇。他倡导的每个方法论都深深扎根于工程学科的沃土。在Steve看来,软件不应只是“编写”出来的,更是“工程化构造”的结晶——绝非拼凑出碰巧能运行的代码,而是精心设计出的易于理解、便于维护、可测试且经济可行的解决方案。 这种理念如同血脉般流淌在全书每一页的字里行间。 本书不仅是一部软件建模的参考指南,更是一套结构化、基于模型的软件开发方法的完...

目录
荐语
查看详情 查看详情
目    录

第Ⅰ部分  基础知识

第1章  引言 3

1.1  主流软件项目表现不佳 3

1.2  问题1:含糊不清、模棱两可和不完整的需求 4

1.2.1  需求中的歧义 5

1.2.2  需求不完整 7

1.2.3  需求真的在变吗 8

1.2.4  基于模型的软件工程如何起到帮助作用 9

1.3  问题2:过度依赖测试 10

1.3.1  软件缺陷的来源 11

1.3.2  返工率:R% 12

1.3.3  对测试的依赖 13

1.3.4  基于模型的软件工程可以提供帮助 14

1.4  问题3:“代码自我说明”是一种幻想 14

1.4.1  代码永远无法自我说明 15

1.4.2  基于模型的软件工程如何解决这个问题 15

1.5  为什么敏捷开发不能解决这些问题 16

1.5.1  Scrum和需求 17

1.5.2  Scrum和测试 17

1.5.3  Scrum和代码的自我说明 20

1.6  广告中的真相 21

1.7  软件工程 22

1.8  基于模型的软件工程概述 23

1.8.1  背景 24

1.8.2  语义模型 24

1.8.3  接口规范 24

1.8.4  软件设计规范 25

1.8.5  源代码 25

1.8.6  可追溯性 25

1.8.7  对软件测试的影响 25

1.8.8  交付物与生命周期 25

1.9  与其他类似方法的关系 26

1.10  本书概览 27

1.11  本章小结 27

1.11.1  别再叫它们“bug”了! 28

1.11.2  你... 查看详情

"《模型驱动软件设计:高效、低成本交付可靠软件》不仅是一部软件建模的参考指南,更是一套结构化、基于模型的软件开发方法的完整体系,兼具学术严谨性和实践可操作性。本书不追逐时髦技术或昙花一现的实践技巧,

而通过深刻而全面的论述,揭示出历久弥新的原则,为初学者搭起高效跨越软件构建复杂性的阶梯,也能启迪行业资深人士洞悉软件开发过程的本质。

《模型驱动软件设计:高效、低成本交付可靠软件》凝练了 Steve 方法论的三大核心特质:清晰性、一致性与缜密性。清晰性闪耀于每个概念的引入和阐述中。无论是剖析状态模型的语义微妙差异,还是解释错误处理的经济学逻辑,Steve 都以手术刀般精准的笔触,引导读者不仅洞悉表象,更能参透本质。Steve 明晰了那些原本模糊的界限——阶段与活动的划分、需求规范与实现的衔接、正确性与完备性的界定——在此过程中,Steve 以既合乎逻辑又极具启发性的方式,为软件工程领域点亮了一盏穿透迷雾的明灯。"


查看详情