一种用于软件包规格验证的交互式实证方法
An Interactive Empirical Approach to the Validation of Software Package Specifications
AI总结：
本研究开发了一套基于一致性检查、以功能/数据/数据类型为框架的交互式软件包规格验证系统，支持客户通过场景在实现前体验系统，并以GKS规格为典型验证对象。
摘要：
本研究的目标是开发一套实用系统，用于处理和验证软件包规格。所开发的验证流程基于一致性检查。此外，借助场景（scenarios），客户能够在系统实现之前以交互方式体验所规格定义的系统。功能、数据与数据类型构成了我们验证系统的框架。图形核心系统（Graphical Kernel System，GKS）的规格是待处理的目标软件包规格的典型示例。
英文摘要：
The objective of this research is the development of a practical system to manipulate and validate software package specifications. The validation process developed is based on consistency checks. Furthermore, by means of scenarios, the customer will be able to interactively experience the specified system prior to its implementation. Functions, data, and data types constitute the framework of our validation system. The specification of the Graphical Kernel System (GKS) is a typical example of the target software package specifications to be manipulated.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
