形式规范与程序生成

形式规范和程序生成是自动程序设计的两个关键问题,通过形式规范的引导可以正确地生成程序。本文首先讨论与形式规范相关的三个问题:形式规范方法,形式规范生成和形式规范正确性;然后讨论从形式规范生成目标程序的技术以及程序正确性问题。     

微机网上的分布式专家联合系统UNION(上)

本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。     

微机网上的分布式专家联合系统UNION(下)

本文描述微机网上的分布式专家联合系统UNION的实现方法和技术。UNION是继1985年陆汝钤提出分布或专家系统的概念及其设计思想之后于 次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Support1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。