《软件工程进展 技术、方法和实践》求取 ⇩

第一篇：软件开发工具与环境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