文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

首页 >> 收录期刊 >> 软件学报 >> 正文


杂志中文名：软件学报杂志英文名：Journal of Software 主管单位：中国科学院主办单位：中国科学院软件研究所、中国计算机学会地址：北京海淀区中关村南4街4号中科院软件所(8718信箱) 邮编：100080 电话：010-62562563 ; Email：jos@iscas.ac.cn ISSN：1000-9825 主编：李明树

XYZ／CFC与XYZ／PAD：图形—文本程序设计环境

引用本文：

龚洁,唐若鹰.XYZ／CFC与XYZ／PAD：图形—文本程序设计环境[J].软件学报,1994,5(8):37-46.

作者姓名：

龚洁唐若鹰

摘要：

ＸＹＺ系统是一个ＣＡＳＥ工具系统，它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ。它们均有其相应的图形表示，ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境，每步均可由图形程序自动生成时序逻辑形式的程序。

关键词：

程序设计图形程序文本程序

本文献已被维普等数据库收录！