从操作式规格说明到程序的自动转换

本文简述了操作式规格说明和程序转换，提出了一种由操作式规格说明自动生成可执行程序的转换技术，同时，介绍了该技术在新型软件开发环境－ＣＨＩＯＳＡＴ中的具体实现。