基于软件工程的规约方法分类

本文从软件工程角度,对软件的规约方法进行了分类。得到两类规约方法:一类是基于逻辑规约方法.此方法一般是给出系统应该满足的性质集合。其代表是时序逻辑方法。另一类方法是基于模型规约方法。此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动.其代表是通信系统演算(CCS).本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论。得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结全的开发过程.     

型构兼容的继承及其语义

本文揭示了在面向对象程序设计语言中,若劲旅子类重定义其继承的分类方法以发迹这些方法的规约,并且采用类似于Ｓｍａｌｔａｌｋ－８０中的继承机制的语义,将导致封将与继承之间的一个新总是为此,本文提出了一种新的继承机制－型构兼容的继承,以代替传统的增量继承。型构兼容的继承是一种灵活的代码复用机制,并且能够充分支持封装。     

对Modula－2进行面向对象扩充

本文阐述了ＮＤＯＯＭ的设计和实现的主要思想．ＮＤＯＯＭ是一个Ｍｏｄｕｌａ－２的面向对象扩充，是Ｍｏｄｕｌａ－２的超集，其既充分支持面向对象程序设计，又保持了ＭＯｄｕｌａ－２的原有风格．     

并发系统模型研究

1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。     

第十八届国际软件工程会议概况

第十八届软件工程国际会议于1996年3月25至29日在德国柏林召开,来自美国、德国、日本、中国等37个国家和地区的代表851人参加了会议。其中德国占40％,除德国外的欧洲占30％,美洲占20％,亚洲、大洋洲占7％,我国仅一人参加。会议涉及面很广,发表论文52篇,按内容包括16个专题:理解与分析、支持需求、测试与分析、使用面向对象、分布式系统分析、度量、基于构件的软件、形式化设计、配置管理与复用、过程效用、系统确认、环境、维护与演化、测试算法、数据流测试等等。大会组织了三个特邀报告,分别介绍了软件开发方法,形式化技术,软件工程中实验的过去、现在和未来。大会前后还组织了十四个专题讲座和八个专题讨论会,在柏林形成了96国际软件工程周。它们是第四届IEEE程序理解专题讨论会,96国际多媒体软件开发专题讨论会,第六届国际软件配置专题讨论会,第三届国际软件度量专题讨论会,第一届并行和分布式系统软件工程专题讨论会,第三届国际软件工程教育专题讨论会,第八届软件规约和设计专题讨论会。每一个专题讨论会都有自己的组织委员会,参加讨论班是受限制的,参加者是由他们对问题立场说明的论文来决定的。     

一个Pascal的面向对象扩充的设计与实现

本文阐述了ＮＤＯＯＰ的设计和实现的主要思想．ＮＤＯＯＰ是一个Ｐａｓｃａｌ的面向对象扩充，是Ｐａｓｃａｌ的超集，既充分支持面向对象程序设计，又保持了Ｐａｓｃａｌ的原有风格．     

广义继承及其在面向对象程序设计语言中的实现*

本文给出一种包含多种继承行为的、非常灵活的代码复用机制——广义继承,通过给出其操作语义和一个支持类间子类型关系确认的类机制．为其在面向对象程序设计语言中的实现奠定了基础．     

一种用于基于知识系统开发的形式化模型*

LKo是一个将面向对象和逻辑范型相结合，用于基于知识系统的形式化开发模型，其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体．它支持框架、规则、语义网络、黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范．在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型．     

单轴晶体中修正圆Airy光束沿光轴的传播特性分析

研究了频谱受调制的修正圆Airy光束（MCAB）在单轴晶体中沿光轴的传播特性。与其他光束一样,左旋圆偏振（LHCP）的MCAB沿单轴晶体光轴传播时会激发拓扑电荷数为2的涡旋右旋圆偏振（RHCP）分量。MCAB在晶体传播时,LHCP分量和RHCP分量都会出现“突然自聚焦效应”,不带涡旋的LHCP分量在焦点附近形成实心光束,而RHCP分量由于具有涡旋相位而在焦点附近形成空心光束。单轴晶体的各向异性导致LHCP分量比涡旋RHCP分量更早出现最大光强。选择合适的频谱调制参数,MCAB的“突然自聚焦效应”强度约为普通圆Airy光束（CAB）的3.4倍;在晶体长度为10 cm的情况下,不带涡旋的LHCP分量转化为涡旋RHCP分量的效率可达43.28%,比普通CAB高约10%。