第1部分 理论数学（函数论） 1
全纯函数的某些性质 3
参考文献 10
整函数的正规上升性及值的分布 12
参考文献 19
关于整函数的Weierstrass函数 20
参考文献 24
无限级整函数的插补问题 42
参考文献 48
整函数系数的聚值方向及其对封闭性问题的应用 49
参考文献 53
第2部分 计算数学 55
I01逼近与多项式计算中的系数舍入 57
一、问题的提出 57
二、I逼近和I01逼近 58
三、例证 65
四、舍入算法 68
五、ALGOL程序 69
参考文献 70
I01逼近与多项式计算中的系数舍入（续） 71
一、I01逼近的不惟一性 71
二、舍入误差的更精密估计 73
三、一般区间上的舍入算法 74
四、舍入实例 76
五、小结 78
参考文献 78
第3部分 树枚举与算法复杂性分析 79
关于树的带次数路径长度问题 88
一、二叉树 88
二、三叉树和t叉树 89
三、有序树 90
参考文献 90
自由树的端点数问题 100
有序树上的一个计数问题 122
树的几个计数问题 123
有向树上的可加枚举问题 151
参考文献 152
BB图的枚举特征 169
参考文献 172
第4部分 Ada语言、编译与工具 173
Ada语言分别编译及其实现 175
一、引言 175
二、支持分别编译的语言特征 175
三、程序库、库文件与名字表结构 176
四、编译单位的分别编译处理 179
五、库文件管理 181
六、结束语 182
参考文献 183
为Ada95引入A型对象 215
1.对Ada95面向对象能力的看法 215
2.A型对象 216
3.A型对象的封装 218
4.结论 221
参考文献 221
提高Ada并发效率的一种途径 273
1.会合机制与异步消息通信机制并发性分析 273
2.Ada会合服务模型的异步实现 275
3.结论 277
参考文献 278
附录 278
程序树的快速定位算法 281
1.前言 281
2.程序树及其构造 281
3.一种新的搜索方法 283
4.算法描述 284
5.性能分析 285
6.结束语 286
参考文献 286
第5部分 程序复杂性度量 287
程序的结构路径复杂性度量 289
1.概论 289
2.程序复杂性 290
3.子程序间关系对复杂性的影响 297
4.度量工具 299
参考文献 299
SSACC：基于软件科学法的Ada并发复杂性度量 301
1.引言 301
2.并发程序的运算符-运算元模型 301
3.Ada程序中的并发运算、运算符和运算元 302
4.关于运算符和运算元计数的几点考虑 304
参考文献 305
第6部分 软件工程、工具与环境 315
面向对象的可重用软部件库系统的设计与实现 321
1.部件模型 321
2.部件的检索及选择 323
3.部件的获取 324
4.部件的组合规则及Ada目标软件的生成 324
5.基于重用的Ada快速原型设计及编程环境 325
6.系统的组织结构及CBA对库的维护 326
7.结束语 327
参考文献 327
PERTS：一个实时软件原型建造环境的设计与实现 328
1.引言 328
2.实时系统描述模型和原型描述语言 328
3.原型建造的工具集和原型仿真环境 333
4.RTSPDL到Ada代码的映射 334
结束语 336
参考文献 336
关于软件标本重用技术的研究 338
1.引言 338
2.软件体系结构与标本 338
3.标本重用的基本概念、途径及实现方法 339
4.可重用软件单元库的结构和管理 342
5.结论 343
参考文献 343
并发软件的图形化设计方法研究 344
1.引言 344
2.基本假设 345
3.通信之间的关系 345
4.并发设计语言CONDL的定义 346
5.CONDL的图形表示 347
6.并发软件设计工具CONDLAS 349
参考文献 349
第7部分 软件体系结构 351
软件体系结构在舰载指挥控制系统中的应用 362
1.引言 362
2.舰载指挥控制软件系统与软件体系结构 363
3.典型舰载指挥控制系统软件体系结构的设计 363
4.应用与结论 366
参考文献 366
基于体系结构模型检查分布式控制系统 367
1.背景 368
2.基于软件体系结构方法形式设计分布式控制系统 370
3.分布式控制系统实例BCS的形式分析 374
4.总结与将来工作 378
参考文献 378
可扩展和可配置事件通知服务体系结构的研究 381
1.引言 381
2.事件通知服务可配置和可扩展的需求及其分析 382
3.事件通知服务可扩展和可配置的设计框架 383
4.事件通知服务可配置和可扩展体系结构的设计 385
5.实现情况与相关工作 391
6.结束语和未来工作 392
参考文献 392
TFSP：一种分布式实时系统的形式化描述工具 395
1.基本概念 395
2.TFSF基本语法的BNF形式 396
3.案例研究：TRMCS 397
4.讨论 400
参考文献 401
一种基于ADL规格说明的实时系统测试用例生成方法研究 402
1.引言 402
2.用DRTSADL描述实时系统的行为 402
3.基于DRTSADL规格说明的测试用例生成研究 403
4.实验与结论 406
参考文献 407
王振字教授的主要成就与贡献 409
一、函数论 409
二、计算数学 409
三、树枚举与算法复杂性分析 410
四、Ada语言、编译与工具 410
五、程序复杂性度量 411
六、软件工程 411
王振宇教授的主要著作目录 412
一、论文 412
二、书 419
三、主持翻译的著作 419
四、主持编制的国家军用标准 419
感谢师恩——编者后记 420