OOZE求精技术自动化的探讨

摘要

文中立足于一种Ｚ的面向对象扩充广谱语言ＯＯＺＥ，研究其从软件规格说明到可执行程序求精过程的自动化技术，重点讨论了数据求精技术，对Ｚ中的几种复合数据类型及其嵌套结构，ＯＯＺＥ中的类结构提出了相应的自动求精规则，同时给出了采用自动化技术进行操作求精的一般步骤。