###
DOI:
Journal of Software:1994.5(8):37-46

XYZ/CFC与XYZ/PAD:图形一文本程序设计环境
龚洁,唐若鹰,王霄,唐稚松
(中国科学院软件研究所,北京 100080)
XYZ/CFC AND XYZ/PAD: THE GRAPHIC-TEXTUAL PROGRAM DESIGN ENVIRONMENTS
Gong Jie;,Tang Ruoying;,Wang Xiao,Tang Zhisong
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2610   Download 2661
Received:March 06, 1992    Revised:May 30, 1992
> 中文摘要: XYZ系统是一个CASE工具系统.它的核心是一个时序逻辑语言XYZ/E.XYZ/E有一基本的表示状态转换的低级形式XYZ/BE(或用于表示并发的XYZ/CE)及一个结构化的高级形式XYZ/SE.它们均有其相应的图形表示.XYZ/CFC与XYZ/PAD是分别以XYZ/BE(或XYZ/CE)及XYZ/SE用逐步求精方法进行程序设计的交互式的图形环境.每步均可由图形程序自动生成时序逻辑形式的程序.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

龚洁,唐若鹰,王霄,唐稚松.XYZ/CFC与XYZ/PAD:图形一文本程序设计环境.软件学报,1994,5(8):37-46

Gong Jie;,Tang Ruoying;,Wang Xiao,Tang Zhisong.XYZ/CFC AND XYZ/PAD: THE GRAPHIC-TEXTUAL PROGRAM DESIGN ENVIRONMENTS.Journal of Software,1994,5(8):37-46