%0 Journal Article
%T XYZ/CFC AND XYZ/PAD: THE GRAPHIC-TEXTUAL PROGRAM DESIGN ENVIRONMENTS<br>XYZ／CFC与XYZ／PAD：图形一文本程序设计环境
%A Gong Jie
%A Tang Ruoying
%A Wang Xiao
%A Tang Zhisong
%A <br>龚洁
%A 唐若鹰
%A 王霄
%A 唐稚松
%J 软件学报
%D 1994
%I 
%X XYZ system is a CASE tool system. Its kernel is a temporal logic languageXYZ/E which has a basic lower levels state-transition form XYZ/BE (or XYZ/CE forconcurrency) and a structured higher level form XYZ/SE. Each of them has a corresponding graphic representation. XYZ/CFC and XYZ/PAD are two interactive graphic environments to support programming with stepwise decomposition methodology by means ofXYZ/BE (or XYZ/CE) and XYZ/SE respectively. The Temporal logic form programs canbe generated automatically from the graphic programs at each step.
%K Temporal logic
%K operating semantics
%K consistency of semantics<br>时序逻辑，操作语义，语义一致性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=58D2D36782173D9D0CE2B759EF8945CF&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=5D311CA918CA9A03&sid=42425781F0B1C26E&eid=D997634CFE9B6321&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=8