马克·安德烈;格雷戈·恩格斯;阿内格丽特·哈贝尔;伯特霍尔德·霍夫曼;汉斯·约尔格·克鲁斯基;萨宾·库斯克;丰满,细节;安迪·舒尔;加布里埃尔·坦泽尔 用于规范和编程的图形转换。 (英语) 兹比尔0933.68022 科学。计算。程序。 34,第1期,1-54页(1999年). 摘要:图形转换框架将图形和规则两者的潜力和优势结合到一个单一的计算范式中。在本文中,我们介绍了将图形转换应用于系统、语言和工具的规范和开发的基于规则的框架方面的一些最新进展。在回顾了图转换的基本特征之后,我们讨论了一些应用程序,包括函数表达式的求值、交互式图形工具的规范、抽象数据类型的示例规范以及可视化数据库查询语言的定义。案例研究表明,需要适当的结构原则,这些原则独立于特定的图形转换方法。为此,我们提出了转换单元的概念,它允许基于图形转换进行系统化和结构化的规范和编程。 引用于14文件 MSC公司: 68号01 软件理论的一般主题 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:基于规则的规范;图形变换 软件:海伊+;DACTL公司;进展;迭戈 PDF格式BibTeX公司 XML格式引用 \textit{M.Andries}等人,科学。计算。程序。34,第1号,1--54(1999;Zbl 0933.68022) 全文: 内政部