摘要：一引言结构化分析/结构化设计(SA/SD)是一种成熟且广泛使用的软件分析设计方法,目前存在大量用这种方法开发的系统.SA/SD以功能分解为指导思想,分析设计的结果适合用结构化程序设计语言来实现.SA/SD中最重要的文档是数据流图(DFD)和数据字典(DD)

摘要：线性逻辑作为一种动作逻辑,有很强的表达能力和很好的可构造性,线性逻辑式程序设计语言为表达操作语义、并发规范等提供了新的工具和框架,Girard对线性逻辑所作的“定义”概念的扩充对状态变迁系统中模拟和双模拟提供了证明论框架,本文综述了这方面的成果。

摘要：本文讨论一个高效的面向数据采集的数据库管理系统（ＬＮＤＢＭＳ）的设计与实现，它采用ＣＬＩＥＮＴ／ＳＥＲＶＥＲ体系结构，并支持ＭＵＬＴＩ－ＳＥＲＶＥＲ．ＬＮＤＢＭＳ是开放系统，用户能通过它透明地访问其它多个异构数据库，并已在一个具有多个服务器的大型智力竞赛系统中得到应用，性能良好。

摘要：基于Internet数据的大量涌现,而且Internet上的数据不是一种规则的、有结构的数据。这种数据被称为半结构化数据。半结构化数据可能有以下特征: ·数据是不规则的,不符合严格的模式。半结构化数据是传统的数据库难以管理的。在关系模式中,处理非规则数据的方式是用空值代替。在面向对象数据库系统中,虽然复合类型、继承机制提供更多的灵活性,但设计出合适的面向对象模式来容纳非规则数据仍然是困难的;

摘要：广州赛马场赛马智力竞赛电脑系统是一个大型的实时数据采集、处理和控制系统．本文介绍了该系统的主要设计思想，说明了该系统的系统控制机的设计及其基于ＶＭＳ的实现．该系统提出的系统控制机是解决Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算系统中进程同步问题的一种新思路．

摘要：本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。

摘要：一、引言超媒体系统的潜力在于组织和管理结构化、非结构化的信息,它为用户在包含各种媒体的信息仓库中进行浏览或信息检索提供了方便的手段,允许用户在小块的信息(节点)之间通过任意连接(链)来扩充自己的信息空间。人们通常使用一些特定的软件包处理与工作相关的数据。例如,文字编辑,发送、

摘要：本文介绍并讨论CCIRS 中进行数据库设计的多级方法DBD/MLM,及其在PDM 数据库设计中的应用.

摘要：介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．

摘要：设计和实现企业级信息网———ＩＮＴＲＡＮＥＴ的技术姚鹏（广州市电信局）姚卿达（中山大学）ＩＮＴＲＡＮＥＴ是建立于公司（企业）内部的Ｉｎｔｅｒｎｅｔ网，它采用的网络技术和超文本浏览器等技术，并利用Ｉｎｔｅｒｎｅｔ设施，使公司在全球范围内的部门和销售点，...