软件工程进展 技术、方法和实践PDF电子书下载

第一篇：软件开发工具与环境 1

青鸟工程现状与发展——兼论我国软件产业发展途径&杨芙清 1

Windows版青鸟软件工具系统的设计与实现&黄柏素 陈 钟 杨芙清 9

一个实时软件原型建造环境的设计与实现&王振宇 汪 洋 16

开发实时监控系统的CASE工具的设计与实现&朱瑞香 袁晓洁 王 娟 23

软件帮助系统的双模型开发方法和生成工具&朱春辉 谭耀铭 徐永森 黄宇航 29

面向对象系统开发模型OOSDM支撑环境的设计与实现&乔 琳 李文军 35

基于软件代理的分布应用开发工具&居德华 沈备军 胡自强 陆励风 41

青鸟Ⅱ型（JBII）软件工程环境中的过程描述&刘述忠 邵维忠 梅宏 杨芙清 47

青鸟MIS开发平台&史森 杨冬青 唐世渭 54

集成化MIS开发方法及支持工具的研制&高复先 包书进 61

一个基于模块说明的代码生成系统&曾广周 李红 68

程序综合系统——DTPS&赵莹 全炳哲 金淳兆 73

CASEE的集成与开放 蔡智明&袁兆山 刘宗田 79

Ada源程序语句统计分析工具的研究与实现&佟金荣 赵燕君 85

基于多媒体数据库的课件写作环境&王曦若 金茂钟 刘晓东 李雁 91

网络表格查询统计工具的开发&罗子波 96

“银鹰”集成环境的实现技术及应用&吴广茂 王玉玺 宋擒豹 卜苏滨 98

分布式对象计算标准CORBA&陈涵生 郑链浩 101

Ada软件数据流分析工具的设计&唐发根 钱红兵 105

第二篇：软件工程中的面向对象技术 108

面向对象设计方法IDEF4及其改进&周之英 108

面向对象的软件测试——方法研究及系统设计&邵维忠 王立福 梅宏 杨芙清 115

面向对象的可重用库框架&姜静波 郭勇 蔡建平 123

O-O软件开发中类库的管理与重用的实现&吴成恩 李万学 129

ISEE数据库平台的研究与实现&董剑利 刘又诚 高仲仪 135

关于对象类型的研究&李侃 李舟军 王兵山 140

一种面向对象的领域分析方法&沈浩 张然 145

面向对象的概念建模方法&卢显锋 狄玉来 151

基于关系的面向对象数据模型&曾小兰 陈小旺 156

面向对象建模中的三类对象&铁伟 姚世民 陈俊亮 160

对象数据交换和对象模型标准化问题&麦中凡 刘书舟 166

面向对象的编程语言及其比较&姜静波 173

基于脚本技术的对象识别及提炼&易晓勇 王立福 182

面向对象开发方法对软件维护的影响&蒋良 王世业 187

面向对象的再造工程研究&贺岚 狄玉来 194

面向对象的约束逻辑程序设计&林琪 199

CIMS中的面向对象方法&张红霞 朱海滨 204

面向对象程序设计及类型的若干问题&全炳哲 金淳兆 玄顺姬 209

面向对象技术在实时系统中的应用&曾培峰 唐莉萍 214

面向对象建模技术及其支持工具&李健 刘超 金茂忠 217

结构化图式编辑器的面向对象开发&朱姝 221

C程序宏观结构的分析方法&卢慧琼 吴家政 224

KOSD：一种基于知识的面向对象软件开发方法&周晓聪 李文军 227

基于复用的面向对象管理信息系统开发环境的研究&谢赞福 231

面向对象方法与MIS生成工具结合技术&范锐 233

CIMS/MRPII中面向对象技术的研究&宋宏 陈秀网 史迎 235

工程应用软件系统开发中的OOM&陈科 237

第三篇：软件过程模型及开发方法 240

过程概念的基本框架&郭江 周伯生 廖越虹 240

ISPW-6软件过程实例建模&柳军飞 245

结合类与对象的软件开发&彭伟 朱海滨 252

语料库词法标注的隐马可夫模型（HMM）算法&杨谊 王挺 陈火旺 257

基于知识的软件重用研究&李师贤 马青 263

软件可重用接口的设计与描述模式&陈华平 李京 陈国良 269

基于HOL的实时系统定理证明器&胡成军 王戟 陈火旺 275

部分求值新技术&宋立彤 刘磊 金成植 281

科学可视化综述&林华君 梅皓 287

数值计算数据的流动显示模拟&曹裕华 方德润 程能 290

构造领域字典支持软部件查询及匹配度评估&毛新军 陈火旺 齐治昌 293

基于软件重用的MIS开发方法&杨传斌 苗兰芳 296

一种基于数据流分析的程序静态分析方法&刘磊 叶晓煜 袁琦 299

第四篇：软件测试、评审和质量保证 302

C软件质量度量与评价系统SOME/C&张社英 刘又诚 302

软件模块内聚性的判定与度量&弓惠生 307

安全苛刻软件的开发与认证&姜静波 313

一个实时通信协议测试集的实现&李海雁 王培良 许博义 329

C++中类的数据流测试&郑学军 张天戈 王春森 334

数据库管理系统的一致性测试&陈瑜 338

面向对象软件测试模型与测试策略&吴鹏程 金茂忠 342

遗传算法与软件结构测试数据自动生成&荚伟 高仲仪 345

面向对象软件的测试研究&何新华 官云战 吕昌龄 孙书韬 347

网络协议的形式化验证和测试环境&杨万春 罗铁庚 齐治昌 陈火旺 350

基于PVM的并行调试环境&黄宁 金茂忠 353

Ada程序控制结构复杂性度量工具的设计与实现&赵燕君 姜静波 佟金荣 356

Ada软件实时性能检测工具ARPDS&奚红宇 陈曦 高仲仪 359

第五篇：用户界面技术 361

面向对象图形界面开发系统JB/GUIDS设计与实现&耿孝和 邵维忠 杨芙清 361

人机界面工具的研究&陈效路 程景云 367

适应性人机界面的分类与结构模型&张倪 钟锡昌 373

一个基于面向对象程序设计的多窗口系统&陶培基 李振德 杨柱 刘霞 379

一个新型用户界面管理模型的设计与实现&王欣 华庆一 葛玮 382

第六篇：软件工程方法论及其它 385

软件方法论研究中的若干问题探讨&应晶 何志均 385

基于模型的动态系统监测技术&陈越 392

Fortran 90编译系统开发过程中的软件工程技术&程虎 王健 397

软件开发方法学的进展&麦中凡 405

软件工程方法在一个实时数据处理系统开发中的应用&彭甫阳 415

图式程序设计语言及其发展&萧剑平 420

C/S软件中远程过程调用的实现机制&刘智深 李京 陈华平 孙志霞 426

浅谈OLE技术对软件工程的影响&阎慧 胡修府 432

综合集成研讨厅原型系统总体设计&陆镇麟 胡晓惠 陈华 437

一个面向表格的应用生成系统&张有仁 盛浩林 林振 等 440

Windows NT下网络实时并发通信系统的设计&杜永宁 李敏生 443

基于客户／服务器的超媒体系统模型NEXTER&王肇东 梁晋清 446

探索大学软件工程课程实验教学的途径&李昭智 程明 450