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.

翻译：本研究旨在开发一套处理并验证软件包规范的实际系统。所开发的验证过程基于一致性检查。此外，通过场景演示，客户能够在系统实施前以交互方式体验所指定的系统。函数、数据及数据类型构成了本验证系统的框架。图形核心系统（GKS）的规范即为待处理的目标软件包规范的典型实例。