基于Petri网的图标编程系统

为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统。本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生成算法；最后，结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程。该系统原型在ＳＧＩ图形工作站ＵＮＩＸ环境中的运行试验表明：与时态逻辑相比，无论在编程阶段还是程序运     

催化反应路径生成知识库系统中知识的表示

反应路径知识可分为三类:化合物结构、化学定律、经验性知识。化学知识的表示是化学知识库系统的关键技术。1.化合物结构的表示常见的表示方法是结合行列式,但这种方法耗费过多的存贮空间,且不便于推理机的     

SE-FDP:一个软件自动生成环境

SE-FDP 是一个基于自动化的软件开发环境.它集成了多种软件工具,能实现软件开发过程的自动化,从而可大幅度提高软件的生产率,保证软件的质量.本文介绍 SE-FDP 的设计思想、关键技术、系统组成以及功能特点.     

管理信息系统自动生成集成环境autoMIS

本文在分析现有ＭＩＳ软件开发工具和开发环境的基础上，介绍了一个面向ＭＩＳ的应用系统自动生成集成开发－ａｕｔｏＭＩＳ的设计思想、总体框图、功能概述以及部分实现技术。ａｕｔｏＭＩＳ从数据库管理本身的特点和ＭＩＳ的共同点及动态性出发，进行了抽象和总结。使ａｕｔｏＭＩＳ与具体的ＭＩＳ无关，具有普遍的通用性。     

支持功能模块动态装卸的通用菜单系统API

本文在分析现有菜单(MENU)辅助设计工具的缺陷的基础上,详细论述了一个通用菜单系统应用程序接口(API)软件包的设计思想、特点和有关实现技术,并给出了该API软件包的函数列表和应用示例。     

直观的函数分割型程序设计系统VFDP

本文提出一种直观的函数分割型程序设计系统ＶＦＤＰ。     

支持功能模块动态装卸的通用菜单系统API

本文在分析现有菜单（ＭＥＮＵ）辅助设计工具的缺陷的基础上，详细论述了一个通用菜单系统应用程序接口（ＡＰＩ）软件包的设计思想，特点和有关实现技术，并给出了该ＡＰＩ软件包的函数列表和应用示例。该ＡＰＩ软件包采用抽象程序设计技术，支持功能模块的动态装卸和菜单系统的动态维护，并首次采用动态接口挂接技术，大大增加了系统的灵活性和维护性，提高了软件开发效率。     

分割图描述的正确性验证

提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。     

一种新的软件模型及其开发支撑环境FDPE

提出并介绍了一种新的软件模型──二阶段软件模型（即将软件过程分为：由需求形成规范和由规范变换为程序等两个阶段）。且实现了一个支持这种模型开发的以软件过程自动化为目标的集成化ＣＡＳＥ环境ＦＤＰＥ。利用它可实现计算机系统对软件过程的支持，从而可大大提高软件产品的质量和生产率。文中描述了ＦＤＰＥ的组成、功能及特点。