首页>中文会议>其他>第六次全国软件工程学术会议

第六次全国软件工程学术会议

召开年：1996
召开地：温州
出版时间： 1996-05

主办单位：中国计算机学会

会议文集：第六次全国软件工程学术会议论文集软件工程进展--技术、方法和实践

会议论文

热门论文

全部论文

全选（0）

1.过程概念的基本框架
- 郭江
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文讨论了软件过程概念的基本框架。
- 过程;
2.工程应用软件系统开发中的OOM
- 陈科
- 《第六次全国软件工程学术会议》 | 1996年
- 软件系统;
3.面向对象的概念建模方法
- 卢显锋
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文给出一个语义丰富，表达力强的面向对象的概念建模方法ＯＯＣＭＭ，ＯＯＣＭＭ包括静态对象模型ＳＯＭ和动态对象模型ＤＯＭ，其中ＳＯＭ描述对象类的静态特征，ＤＯＭ描述对象的动态特征性及其协作关系。
- 面向对象;
4.科学可视化综述
- 林华君
- 《第六次全国软件工程学术会议》 | 1996年
- 科学可视化;
5.基于脚本技术的对象识别及提炼
- 易晓勇
- 《第六次全国软件工程学术会议》 | 1996年
摘要：面向对象的分析方法采用对象技术对待求解问题建模。
- 脚本;
6.CIMS/MRPII中面向对象技术的研究
- 宋宏
- 《第六次全国软件工程学术会议》 | 1996年
- 面向对象;
7.CASEE的集成与开放
- 蔡智明
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文讨论了ＣＡＳＥ环境（ＣＡＳＥＥ）演变中的一个基本问题－－集成与开放问题，评述了集成化ＣＡＳＥＥ的特点与问题所在以及开放式ＣＡＳＥＥ的优越性及实施中需研究的一些问题。
- 软件工程;
8.面向对象软件的测试研究
- 何新华
- 《第六次全国软件工程学术会议》 | 1996年
- 软件测试;
9.关于对象类型的研究
- 李侃
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。
- 规范语言;
10.ISEE数据库平台的研究与实现
- 董剑利
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文针对ＩＳＥＥ的集成模型、机制、原理和数据特点提出了“面象对象的超媒体数据模型”，并以此模型设计了出适合ＯＯＤＢＭＳ需求的“面象对象的超媒体数据模式”。
- 软件工程;
11.面向对象系统开发模型OOSDM支撑环境的设计与实现
- 乔琳
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了一种面向对象的软件开发方法－－面向对象系统开发模型ＯＯＳＤＭ，并讨论了其支撑环境的设计与实现中的主要问题。
- 面向对象;
12.集成化MIS开发方法及支持工具的研制
- 高复先
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文在总结作者近十年集成化信息系统开发研究工作的基础上，提出了集成化ＭＩＳ开发方法论框架和辅助工具模式，重点阐述了总体数据规划的内容、方法和支持工具的研制。
- 软件;
13.青鸟工程现状与发展
- 杨芙清
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文回顾了青鸟工程发展的历程，全面总结了“八五”期间青鸟工程的成果，提出了青鸟工程进一步发展的方向，同时，结合青鸟工程的实践，阐述了作者对我国发展软件产业的若干看法及思路。
- 软件产业;
14.基于多媒体数据库的课件写作环境
- 王曦若
- 《第六次全国软件工程学术会议》 | 1996年
摘要：ＢＵＡＡ－ＭＣＡＥ是一个基于多媒体数据库的课件写作环境，它以多媒体数据库为基础并在其上建立一组开发工具，主要有写作工具、查询导航工具、数据输入工具等，形成一个良好的课件开发环境。
- 计算机辅助教学;
15.面向对象技术在实时系统中的应用
- 曾培峰
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了一个应用于“万能工具显微镜”（万工显）实时测量系统的上位机软件包〔ＳｏｆｔｗａｒｅｏｆＭｕｌｔｅ－ＦｕｎｃｔｉｏｎＭｉｃｒｏｓｃｏｐｅＧａｕｇｅ（ＳＭＦＭＧ）〕的研制过程。
- 面向对象;
16.面向对象设计方法IDEF4及其改进
- 周之英
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文讨论了面向对象设计方法ＩＤＥＦ４的基本概念及其优缺点。
- 面向对象;
17.Windows版青鸟软件工具系统的设计与实现
- 黄柏素
- 《第六次全国软件工程学术会议》 | 1996年
摘要：Ｗｉｎｄｏｗｓ版青鸟软件工具系统是国家“八五”科技攻关课题《软件工程开发环境（ＣＡＳＥ）的标准化与实用化》的一个组成部分，它是一个支持结构软件开发方法的ＣＡＳＥ工具系统。
- 软件工程;
18.一个基于模块说明的代码生成系统
- 曾广周
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文讨论一个基于知识的计算机辅助代码生成系统，该系统支持软件生命周期的瀑布模型，通过对模块说明的理解和变换，生成一个可执行的ＦＯＸＢＡＳＥ＋程序原。
- 模块说明;
19.一个新型用户界面管理模型的设计与实现
- 王欣
- 《第六次全国软件工程学术会议》 | 1996年
- 用户界面;
20.基于模型的动态系统监测技术
- 陈越
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文简述了定性模拟技术的基本思想，提出了一种利用定性模拟产生的系统动态行为对动态系统实施在线时诊断（监测）的方法。
- 动态系统;
21.软件开发方法学的进展
- 麦中凡
- 《第六次全国软件工程学术会议》 | 1996年
- 软件开发;
22.基于软件重用的MIS开发方法
- 杨传斌
- 《第六次全国软件工程学术会议》 | 1996年
- 软件;
23.安全苛刻软件的开发与认证
- 姜静波
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了软件的安全性，探讨了安全苛刻软件的开发与认证问题，指出Ａｄａ是开发安全苛刻软件的理想语言，给出了Ａｄａ安全苛刻软件的开发和认证方法及软件工具需求。
- 软件开发;
24.C++中类的数据流测试
- 郑学军
- 《第六次全国软件工程学术会议》 | 1996年
- 程序设计语言;
25.面向对象软件测试模型与测试策略
- 吴鹏程
- 《第六次全国软件工程学术会议》 | 1996年
- 软件测试;
26.一个实时通信协议测试集的实现
- 李海雁
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了一个专用实时通信协议ＲＴＰ及其接口函数库ＲＴＩ，并在此基础上着重讨论ＲＴＰ协议和ＲＴＩ接口测试集的实现方法。
- 通信协议;
27.一个面向表格的应用生成系统
- 张有仁
- 《第六次全国软件工程学术会议》 | 1996年
- 编辑器;
28.构造领域字典支持软部件查询及匹配度评估
- 毛新军
- 《第六次全国软件工程学术会议》 | 1996年
- 软件;
29.Ada程序控制结构复杂性度量工具的设计与实现
- 赵燕君
- 《第六次全国软件工程学术会议》 | 1996年
- 程序控制;
30.人机界面工具的研究
- 陈效路
- 《第六次全国软件工程学术会议》 | 1996年
摘要：人机界面在应用软件中平均占开发量的４８％和运行时间的５０％，这足以确立其在软件开发中的重要地位。
- 人机界面;
31.综合集成研讨厅原型系统总体设计
- 陆镇麟
- 《第六次全国软件工程学术会议》 | 1996年
- 研讨厅系统;
32.图式程序设计语言及其发展
- 萧剑平
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文论述了程序的图式描述的特点，以一个图式程序设计系统ＹＰＳ（ＹＰＳ为日本富士通公司所有，华东师范大学合作开发）为例，对图式程序设计语言中的要素－－图符和文字的作用及其关系作了定位。
- 程序设计语言;
33.基于客户/服务器的超媒体系统模型NEXTER
- 王肇东
- 《第六次全国软件工程学术会议》 | 1996年
- 计算机网络;
34.C/S软件中远程过程调用的实现机制
- 刘智深
- 《第六次全国软件工程学术会议》 | 1996年
摘要：客户／服务器模式软件已经成为当今应用软件一种主要的软件结构。
- 远程过程调用;
35.C软件质量度量与评价系统SOME/C
- 张社英
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了一个实用的Ｃ软件质量度量与评价系统ＳＯＭＥ／Ｃ。
- 软件;
36.程序综合系统--DTPS
- 赵莹
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文简单介绍基于ｔａｂｌｅａｕ方法的程序综合系统－－ＤＴＰＳ。
- 程序综合;
37.软件可重用接口的设计与描述模式
- 陈华平
- 《第六次全国软件工程学术会议》 | 1996年
摘要：软件重用技术是软件工程一个重要研究方向，影响软件重用的一个重要因素是用户接口与应用对象之间是否能相互独立。
- 软件接口;
38.基于知识的软件重用研究
- 李师贤
- 《第六次全国软件工程学术会议》 | 1996年
摘要：软件重用是提高软件生产率，提高软件可靠性、可维护性和可扩展性的重要途径，需求分析是软件开发过程中的最重要也是最复杂的一个阶段。
- 软件重用;
39.语料库词法标注的隐马可夫模型(HMM)算法
- 杨谊
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文首先介绍了用隐马可夫模型（ＨＭＭ）算法标注语科库中的英文单词的原理，然后提出并解决了构造隐马可夫模型（ＨＭＭ）的三个基本问题，以图示和数学手法描述了算法详细过程。
- 隐马可夫模型;
40.结合类与对象的软件开发
- 彭伟
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文通过对作类和对象作为系统描述手段分别存在的问题进行分析，提出了类和对象都是基本的，应将二者结合进来的观点。
- 类;
41.面向对象方法与MIS生成工具结合技术
- 范锐
- 《第六次全国软件工程学术会议》 | 1996年
- 面向对象;
42.一种基于数据流分析的程序静态分析方法
- 刘磊
- 《第六次全国软件工程学术会议》 | 1996年
- 数据流分析;
43.网络协议的形式化验证和测试环境
- 杨万春
- 《第六次全国软件工程学术会议》 | 1996年
- 网络协议;
44.数据库管理系统的一致性测试
- 陈瑜
- 《第六次全国软件工程学术会议》 | 1996年
- 数据库管理系统;
45.Fortran90编译系统开发过程中的软件工程技术
- 程虎
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文给出Ｆｏｒｔｒａｎ９０编译系统开发的实践经验探讨系统软件开发过程中的软件工程技术。
- 软件工程;
46.软件模块内聚性的判定与度量
- 弓惠生
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文依据控制流程图的子图分解方法，引入图元为元素的程序片，由此得出低内聚模块的判定方法及相应的度量方法。
- 软件设计;
47.一个基于面向对象程序设计的多窗口系统
- 陶培基
- 《第六次全国软件工程学术会议》 | 1996年
- 程序设计;
48.软件工程方法在一个实时数据处理系统开发中的应用
- 彭甫阳
- 《第六次全国软件工程学术会议》 | 1996年
- 软件工程;
49.适应性人机界面的分类与结构模型
- 张倪
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文首先提出了适应性用户界面设计者应关心的几个基本问题。
- 人机界面;
50.软件方法论研究中的若干问题探讨
- 应晶
- 《第六次全国软件工程学术会议》 | 1996年
摘要：当前的软件工程领域存在着方法论的需求问题。
- 软件工程;
51.基于PVM的并行调试环境
- 黄宁
- 《第六次全国软件工程学术会议》 | 1996年
- 程序软件;
52.面向对象图形界开发系统JB/GUIDS设计与实现
- 耿孝和
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文对界面成分进行了分类抽象，论述了界面对象类库及界面程序构架类库的设计方法，设计并实现基于界面类库、界面对象库、界面风格库及界面程序构架库的面向对象图形用户界面开发系统。
- 用户界面;
53.浅谈OLE技术对软件工程的影响
- 阎慧
- 《第六次全国软件工程学术会议》 | 1996年
摘要：ＯＬＥ技术已经从早期ＷＩＮＤＯＷＳ环境下的高级进程通信机制发展为一种基于部件对象模型的软件设计方法。
- 软件设计;
54.WimdowsNT下网络实时并发通信系统的设计
- 杜永宁
- 《第六次全国软件工程学术会议》 | 1996年
- 网络软件;
55.CIMS中的面向对象方法
- 张红霞
- 《第六次全国软件工程学术会议》 | 1996年
摘要：由于面向对象技术在处理复杂性、可重用性、可扩展性、模块化和数据抽象等有关问题上独具优势。
- 面向对象;
56.探索大学软件工程课程实验教学的途径
- 李昭智
- 《第六次全国软件工程学术会议》 | 1996年
- 软件工程;
57.一种面向对象的领域分析方法
- 沈浩
- 《第六次全国软件工程学术会议》 | 1996年
摘要：领域分析指对特定问题空间内的知识进行提取、整理和建模，它为以后涉及该问题空间的系统开发提供复用基础。
- 面向对象;
58.对象数据交换和对象模型标准化问题
- 麦中凡
- 《第六次全国软件工程学术会议》 | 1996年
摘要：目前，多种对象模型并存危害了面向对象在重用，可交互操作性等方面的优越性，并为不同系统间数据的交换带来了困难。
- 模型;
59.基于HOL的实时系统定理证明器
- 胡成军
- 《第六次全国软件工程学术会议》 | 1996年
摘要：实时系统的设计给软件设计员带来巨大挑战，在缺乏一个可靠的系统验证环境时，减少甚至避免设计错误几乎是不可能的。
- 实时系统;
60.Wimdows NT下网络实时并发通信系统的设计
- 杜永宁;李敏生
- 《第六次全国软件工程学术会议》 | 1996年
61.ISPW-6软件过程实例建模
- 柳军飞
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了基于时序逻辑语言ＸＹＺ／ＰＭＥ的过程建模技术，并采用ＸＹＺ／ＰＭＥ描述了不同抽象级的ＩＳＰＷ－６软件过程，从而说明，基于ＸＹＺ／ＰＭＥ的过程建模技术可有效地支持形式化过程建模。
- 软件过程;
62.面向对象的约束逻辑程序设计
- 林琪
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了面向对象技术和约束逻辑程序设计方法在人工智能中应用的基本思想，通过二者的结合使现有逻辑程序设计在逻辑的清晰性的执行上的高效性都得以提高，这样就引入了一个新的研究方向：面向对象的约束逻辑程序设计。
- 人工智能;
63.基于复用的面向对象管理信息系统开发环境的研究
- 谢赞福
- 《第六次全国软件工程学术会议》 | 1996年
- 面向对象;
64.面向对象的编程语言及其比较
- 姜静波
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了目前影响最大和应用最广的五种面向对象编程语言：Ｓｍａｌｌｔａｌｋ、ＯｂｊｅｃｔＰａｓｃａｌ、Ｃ＋＋、ＣＬＯＳ和Ａｄａ的主要面向对象特征，在抽象、封装、模块性、层次、类型、并发和持久性七个方面对这五种面向对象编程语言进行了详细分析和比较。
- 编程语言;
65.面向对象的再造工程研究
- 贺岚
- 《第六次全国软件工程学术会议》 | 1996年
摘要：对于运行效益好的现行系统进行技术升级和功能重构，使系统适应新的技术和社会环境是延长生命周期的良好途径。
- 再造工程;
66.软件帮助系统的双模型开发方法和生成工具
- 朱春辉
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文提出一个良好的软件帮助系统应具备适应性、动态性和可视性三个基本特性，并论述了在双模型基础上开发帮助系统的方法，以及基于双模型的的帮助系统生成工具的组成和应具备的特性。
- 帮助系统;
67.面向对象程序设计及类型的若干问题
- 全炳哲
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文讨论了面向对象程序设计和抽象数据类型理论及记录理论之间的关系，着重探讨它们之间的差异，并提出了一种支持面向对象程序设计的构造性类型理论框架。
- 面向对象;
68.开发实时监控系统的CASE工具的设计与实现
- 朱瑞香
- 《第六次全国软件工程学术会议》 | 1996年
摘要：开发实时监控系统是一项难度度，工作量大，而且十分复杂的工程，要花大量的人力与物力。
- 实时监控;
69.结构化图式编辑器的面向对象开发
- 朱姝
- 《第六次全国软件工程学术会议》 | 1996年
- 编辑器;
70.C程序宏观结构的分析方法
- 卢慧琼
- 《第六次全国软件工程学术会议》 | 1996年
- C程序;
71.KOSD:一种基于知识的面向对象软件开发方法
- 周晓聪
- 《第六次全国软件工程学术会议》 | 1996年
- 面向对象;
72.面向对象开发方法对软件维护的影响
- 蒋良
- 《第六次全国软件工程学术会议》 | 1996年
摘要：软件维护是软件生命周期中的一个极其重要的阶段。
- 面向对象;
73.O-O软件开发中类库管理与重用的实现
- 吴成恩
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍了在面向软件开发中类库的管理，实现了面向对象软件开发中对类和类关系的管理。
- 类库;
74.基于软件代理的分布应用开发工具
- 居德华
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文阐述了软件代理机制在ＦｏｒｍＣＡＳＥ工具设计中使用的可行性和优点，意在支持异构分布环境中企业应用的快速开发。
- 网络;
75.青鸟Ⅱ型(JBⅡ)软件工程环境中的过程描述
- 刘述忠
- 《第六次全国软件工程学术会议》 | 1996年
摘要：软件过程模型是软件工程领域中的一个重要研究内容，它研究软件过程模型的描述和软件过程的实施及控制。
- 软件过程;
76.青鸟MIS开发平台
- 史森
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文介绍的青鸟ＭＩＳ开发平台是国家“八五”重点科技攻关项目“ＣＡＳＥ”中的一个专用开发平台。
- 软件工程;
77.基于关系的面向对象数据模型
- 曾小兰
- 《第六次全国软件工程学术会议》 | 1996年
摘要：数据库应用领域的不断扩大以及领域对象的复杂比较使得下一代数据库管理系统将以对象范型为基础。
- 数据模型;
78.部分求值新技术
- 宋立彤
- 《第六次全国软件工程学术会议》 | 1996年
摘要：部分求值技术在软件工程与软件自动化领域中起着重要的作用，最近几年中我们在这一领域取得了一定的成果，并实现了几个实验性系统。
- 部分求值;
79.面向对象建模中的三类对象
- 铁伟
- 《第六次全国软件工程学术会议》 | 1996年
摘要：在面向对象建模中，当数据与处理、数据与过程具有多对多关系时，使用单一的对象类型会存在一定的困难。
- 数据对象;
80.Ada源程序语句统计分析工具的研究与实现
- 佟金荣
- 《第六次全国软件工程学术会议》 | 1996年
摘要：如何提高软件的质量已经成为制约计算机发展的关键问题，源程序语句的使用情况是衡量软件质量最直观、最有效的方法，Ａｄａ语言是针对大型和实时嵌人式系统而设计的具有高可靠性的高级程序设计语言。
- 计算机软件;
81.网络表格查询统计工具的开发
- 罗子波
- 《第六次全国软件工程学术会议》 | 1996年
- 计算机网络;
82.数值计算数据的流动显示模拟
- 曹裕华
- 《第六次全国软件工程学术会议》 | 1996年
- 数值计算;
83.分布式对象计算标准CORBA
- 陈涵生
- 《第六次全国软件工程学术会议》 | 1996年
- 计算机环境;
84.面向对象的软件测试
- 孙志安
- 《第六次全国软件工程学术会议》 | 1996年
摘要：目前面向对象技术正日益广泛地运用于软件工程。
- 面向对象;
85.面向对象的可重用库框架
- 姜静波
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文根据面向对象的思想，使用域模型的方法介绍了一种面向对象的可重用库框架ＯＯＲＬＦ，给出了ＯＯＲＬＦ的结构、元素及其相互之间的关系。
- 重用;
86.一个实时软件原型建造环境的设计与实现
- 王振宇
- 《第六次全国软件工程学术会议》 | 1996年
摘要：该文报告了在Ｓｕｎ工作站上基于Ｕｎｉｘ环境实现的一个实时软件的快速原理建造环境（ＰＥＲＴＳ）。
- 原型建造;
87.遗传算法与软件结构测试数据自动生成
- 荚伟
- 《第六次全国软件工程学术会议》 | 1996年
- 软件测试;