未找到相关数据
XYZ／CFC与XYZ／PAD：图形一文本程序设计环境
被引：0
|作者：
龚洁，唐若鹰，王霄，唐稚松
机构：
[1] 中国科学院软件研究所
来源：
关键词：
时序逻辑，操作语义，语义一致性;
D O I：
10.13328/j.cnki.jos.1994.08.006
中图分类号：
TP311 [程序设计、软件工程];
学科分类号：
摘要：
ＸＹＺ系统是一个ＣＡＳＥ工具系统．它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ．它们均有其相应的图形表示．ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步求精方法进行程序设计的交互式的图形环境．每步均可由图形程序自动生成时序逻辑形式的程序．
引用
收藏
页码：37 / 46
页数：10
相关论文