结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

互换性与测量技术基础试题库及软件开发

本着操作简单、方便、实用、功能强的原则,开发了《互换性与测量技术基础题库系统》软件,用此软件,使略有Ｗｉｎｄｏｗｓ操作基础的教师,在不到一的时间内就可以自动生成一份试卷。     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

Delphi语言的菜单动态生成技术

介绍了用Delphi语言动态生成菜单的技术，这种技术编制的程序能依据控制文件中的一些数据，系统自动产生相应的菜单，并连接控制程序．     

用自定义C函数创建中文立体上弹式菜单

通过BIOS中断调用建立一组自定义C函数，在文本方式下，以任意背、前景色显示以矩形框修饰的窗口和以任意位置、背景、前景、字体、字型显示汉字，从而建立中文立体上弹式菜单，并给出了实现的源程序．     

FORTRAN下拉式菜单的设计

本文设计了FORTRAN下拉式菜单。在TurboC环境下，根据面向对象（oop）的设计思想，进行设计。从原理菜单功能给出了详细的说明。     

图形窗口界面平台的研究与实现

叙述了DOS下如何实现图形窗口、菜单及下拉式菜单的生成、驱动与管理，提出了其构造的基本结构，解决了中西文环境下的全汉化、鼠标与键盘同时驱动、菜单位图显示、辅助工具支持等问题，实现了DOS图形方式下界面平台的仿Windows化操作．     

在Windows系统中利用快捷键随时对屏幕进行保护

在有关Ｗｉｎｄｏｗｓ的一些文献中，一般不介绍随时屏幕保护的设置方法，只介绍定时屏幕保护的设置方法。本文介绍了在Ｗｉｎｄｏｗｓ３．２系统和Ｗｉｎ－ｄｏｗｓ９５系统下，如何利用快捷键随时对屏幕进行保护的方法，以弥补上述不足     

Novell Netware网中创建用户菜单技术

介绍利用Ｎｅｔｗａｒｅ提供的ＭＥＮＵ实用程序来创建用户自己的菜单的方法，并举例加以说明。     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．