摘要：在我们生活的环境中，动态模糊事件是普遍存在的，而当今，随着计算机科学技术的发展，人们又试图用计算机来模拟这些具有“动态模糊性”的事件．因此，已往有关文献提出了动态模糊逻辑、动态模糊集、基于ＤＦＬ的一种学习模型及动态模糊主动数据库系统的设计方法和基本概念，这些理论的提出，虽然为人们解决具有动态模糊性的问题提供了一定的理论依据，但从整个动态模糊系统来看，这些工作仅仅是一些初步的工作，还有许多工作需进一步研究．文中给出的基于ＤＦＬ的时序推理模型正是这种工作的一个补充．

摘要：提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代码为止。设计过程由分解树来描述。

摘要：提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法，可以定义并行成分一进程，可以使用前后断言来表达用户的功能需求，允许将非形式化和半形式化的需求定义嵌入形式化的需求定义中。因此，ＯＯＲＳＬ语言是一个半形式化的语言，它为网络并行环境下的软件自动化和软件形式化开发提供了支持。介绍了ＯＯＲＳＬ的设计思想和主要语法成分，给出了一个实例。

摘要：面向对象的程序设计（ＯＯＰ－Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＰｒｏｇｒａｍｍｉｎｇ）被称为程序设计方法中的一次革命，本文介绍ＯＯＰ技术的基本概念，特征及应用实例，并阐述了结构化程序设计（Ｓｐ－ＳｔｒｕｃｔｕｒｅｄＰｒｏｇｒａｍｍｉｎｇ）和ＯＯＰ之间的差异。

摘要：ＯＯＨＬ是作者们设计的一个面向对象的非过程化语言，它以面向对象和面向问题的非过程化方式定义用户需求，主要目的是要生成Ｊａｖａ程序．文中介绍了ＯＯＨＬ的设计思想。

摘要：ＯＯ－ＨＬＬ是我们设计的一个ＯＲＡＣＬＥ应用软件开发工具，它以面向对象和第四代语言面向问题的非过程化方式定义用户需求，生成可嵌入ＳＱＬ语句到Ｃ程序中的ＰＲＯ＊Ｃ程序。本文介绍了ＯＯ－ＨＬＬ的基本思想、结构、工作流程、类和对象的定义方式，讨论了它的核心部件ＯＯ－ＨＬＬ编译器的结构及其语法与语义分析技术。

摘要：Visual Foxpro是一个面向对象、可视化的关系型数据库管理系统,具有强大的数据处理能力,便于开发信息管理系统,是微机上重要的数据处理软件之一.因此VFP程序设计是很多高校非计算机专业的计算机基础课程.分析了VFP课程的主要教学内容和体系结构,指出了目前存在的问题,从案例教学,知识体系、数据库与编程、上机实验和上机考核方式等几方面对教学改革进行了探讨,使学生掌握VFP数据库交互式操作和基本编程方法.

摘要：基于Ｉｎｔｅｒｎｅｔ。

摘要：面向对象为关系数据库设计提供了一些有用的方法．文中提出模式间的聚集依赖概念用以描述聚集模式间的网状联系．给出了聚集依赖的推理规则，证明这些规则是正确。

摘要：探索用基于公理语义的前后断言方法来刻划多线程程序的功能，设计了一个功能规格说明语言ＪＡＶＡＳＰＥＣ，用来形式地表达程序的功能规格说明。