%0 Journal Article
%T Design rationale for a wide spectrum specification language FGSPEC<br>Design Rationale for a Wide Spectrum Specification Language FGSPEC
%A Lu Jian
%A Xu Jiafu
%A <br>Lu Jian
%A Xu Jiafu
%J 计算机科学技术学报
%D 1993
%I 
%X FGSPEC is a wide spectrum specification language intended to facilitate the software specification and the expression of transformation process from the functional specification which describes “what to do” to the corresponding design (operational) specification which describes “how to do”. The design emphasizes the coherence of multi-level specification mechanisms and a tree structure model is provided which unifies the wide spectrum specification styles from “what” to “how”.
%K Specification language
%K software development automation
%K transformation
%K HOS-methodology
%K algorithm design automation<br>软件开发自动化
%K 软件质量
%K 软件生产率
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=68D2C8BEB8A990849EC6E3D6275A36E4&yid=D418FDC97F7C2EBA&vid=5D311CA918CA9A03&iid=0B39A22176CE99FB&sid=09E495F616948E78&eid=A020552C37306588&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=8