%0 Journal Article
%T 基于形式源级转换的可执行规格说明技术
%A 张幸儿？
%A 朱晓军？
%J 软件学报
%P 33-39
%D 1992
%X 本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型的效果。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19920305&flag=1