%0 Journal Article
%T AN APPROACH TO EXECUTABLE SPECIFICATIONS BASED ON FORMAL SOURCE TO SOURCE CONVERSION<br>基于形式源级转换的可执行规格说明技术
%A Zhang Xinger
%A Zhu Xiaojun
%A <br>张幸儿
%A 朱晓军
%J 软件学报
%D 1992
%I 
%X The paper proposes a new technique for executable specifications, which directly converts a specification into a program in a programming language by taking advantage of the idea of source-to_source conversion which is based on the rules defined formally and the canonical abstract syntax trees. The technique and the corresponding supporting system possess the following virtues: supporting rapid prototyping and getting the effects of rapid prototypes well.
%K 规格说明
%K 形式源级转换
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E6D07B79A9E0EBF2906F45CAF9B6209E&yid=F53A2717BDB04D52&vid=38B194292C032A66&iid=38B194292C032A66&sid=27746BCEEE58E9DC&eid=7C3A4C1EE6A45749&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=6