前言 1
致谢 1
第1章 本书所讨论的主要内容 1
1.1 从手工作坊到自动装配线 1
目录 1
1.2 生式编程 4
1.3 利益和可应用性 9
2.1 为什么本章值得一读 14
2.2 什么是领域工程 14
第2章 领域工程 14
第一部分 分析和设计方法与技术 14
2.3 领域分析 16
2.4 领域设计和领域实现 19
2.5 应用工程 21
2.6 产品线实践 21
2.7 关键领域工程概念 23
2.8 领域分析和领域工程方法概览 30
2.10 历史笔记 38
2.9 领域工程与相关方法 38
2.11 小结 39
第3章 领域工程和面向对象的分析与设计 41
3.1 为什么本章值得一读 41
3.2 OO技术与重用 41
3.3 领域工程和OOA/D方法之间的关系 43
3.4 整合领域工程和OOA/D方法的方面 43
3.5 横向方法与纵向方法的比较 45
3.6 选择的方法 46
4.2 重新思考特征 55
第4章 特征建模 55
4.1 为什么本章值得一读 55
4.3 特征建模 56
4.4 特征模型 57
4.5 特征图和其他建模符号与实现技术之间的关系 67
4.6 实现约束 74
4.7 对特征建模的工具支持 75
4.8 与特征图有关的常见问题 76
4.9 特征建模过程 78
5.2 产生式领域模型 86
5.1 为什么本章值得一读 86
第5章 产生式编程的过程 86
5.3 在产生式编程中的主要开发步骤 88
5.4 为产生式编程改编领域工程 88
5.5 领域特定语言 89
5.6 DEMRAL：用于产生式编程的领域工程方法例子 92
5.7 DEMRAL大纲 93
5.8 领域分析 95
5.9 领域设计 100
5.10 领域实现 106
6.1 为什么本章值得一读 108
6.2 什么是泛型编程 108
第二部分 实现技术 108
第6章 泛型编程 108
6.3 通用编程与产生式编程的对比 110
6.4 泛型参数 110
6.5 参数化与子类型多态的对比 112
6.6 绑定与非绑定多态 120
6.7 初观多态 122
6.8 参数化组件 124
6.9 参数化编程 126
6.10 C++标准模板库 133
6.11 泛型方法学 135
6.12 历史笔记 137
第7章 基于模板面向组件的编程技术 139
7.1 为什么本章值得一读 139
7.2 系统配置的类型 139
7.3 C++对动态配置的支持 140
7.4 C++对静态配置的支持 140
7.5 禁止某种模板实例化 147
7.6 静态参数与动态参数的对比 149
7.7 基于参数化继承的封装器 154
7.8 基于参数化继承的模板方法 154
7.9 参数化绑定类型 157
7.10 多个组件的一致参数化 158
7.11 组件之间的静态交互 159
第8章 面向方面的编程技术 170
8.1 为什么本章值得一读 170
8.2 什么是面向方面的编程 171
8.3 面向方面的分解方法 172
8.4 方面是怎样产生的 178
8.5 组合机制 180
8.6 怎样使用程序设计语言表达方面 206
8.7 AOP编程的实现技术 215
8.8 最后评论 223
第9章 产生器 225
9.1 为什么本章值得一读 225
9.2 什么是产生器 225
9.3 软件开发的转化模型 227
9.4 构造产生器的技术 230
9.5 组合产生器与转换产生器的对比 231
9.6 转换的种类 232
9.7 转换系统 236
9.8 选择用来产生的方法 240
第10章 使用C++进行静态元程序设计 267
10.1 为什么本章值得一读 267
10.2 什么是元程序设计 267
10.3 元程序设计一览 268
10.4 静态元程序设计 272
10.5 作为一种二级语言的C++ 273
10.6 静态层的功能含义 275
10.8 模板元函数 278
10.7 模板元程序设计 278
10.9 元函数作为其他元函数的参数和返回值 280
10.10 重新表达元信息 281
10.11 编译时控制结构 292
10.12 代码生成 312
10.13 例子：使用静态执行循环来测试元函数 332
10.14 C++中的部分求值 336
10.15 部分模板特化的变通方法 339
10.17 历史笔记 340
10.16 模板元程序设计的问题 340
第11章 意图编程 343
11.1 为什么本章值得一读 343
11.2 什么是意图编程 344
11.3 IP背后的技术 347
11.4 在IP编程环境中工作 355
11.5 高级主题 368
11.6 IP背后的哲理 374
11.7 小结 382
12.3 领域分析 386
12.2 概观 386
第三部分 应用例子 386
第12章 链表容器 386
12.1 为什么本章值得一读 386
12.4 领域设计 388
12.5 实现组件 390
12.6 手工装配 395
12.7 指定链表 396
12.8 产生器 397
12.9 扩展 400
13.2 成功的程序设计商店 402
第13章 银行账户 402
13.1 为什么本章值得一读 402
13.3 设计模式、框架和组件 404
13.4 领域工程和产生式程序设计 404
13.5 特征建模 405
13.6 架构设计 406
13.7 实现组件 408
13.8 可配置的类层次 414
13.9 设计一种领域特定的语言 416
13.10 银行账户产生器 421
13.11 测试产生器和它们的制品 424
第14章 产生式矩阵计算库 425
14.1 为什么本章值得一读 425
14.2 为什么要进行矩阵计算 425
14.3 领域分析 426
14.4 领域设计和实现 431
附录A 概念建模 498
A.1 什么是概念 498
第四部分 附录 498
A.2 概念的理论 499
A.3 概念有关的重要问题 504
A.4 概念建模，面向对象和软件重用 507
附录B 用于Smalltalk的实例特化扩展协议 509
附录C 用于在Smalltalk中附加一个listener对象的协议 512
附录D 矩阵计算术语的词汇表 516
附录E 用于求解依赖性表格的元函数 518
术语表 522
参考文献 524