|
|||||
|
|
| XYZ／CFC与XYZ／PAD：图形—文本程序设计环境 | |
| 引用本文： | 龚洁,唐若鹰.XYZ／CFC与XYZ／PAD：图形—文本程序设计环境[J].软件学报,1994,5(8):37-46. |
| 作者姓名： | 龚洁 唐若鹰 |
| 摘 要： | ＸＹＺ系统是一个ＣＡＳＥ工具系统，它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ。它们均有其相应的图形表示，ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境，每步均可由图形程序自动生成时序逻辑形式的程序。 |
| 关 键 词： | 程序设计 图形程序 文本程序 |
| 本文献已被 维普 等数据库收录！ | |
