.png){kind=icon}
返回
Where do operations come from? A multiparadigm specification technique
.png){kind=icon}
PRE
AI
DOI：10.1109/32.538607.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We propose a technique to help people organize and write complex specifications, exploiting the best features of several different specification languages. Z is supplemented, primarily with automata and grammars, to provide a rigorous and systematic mapping from input stimuli to convenient operations and arguments for the Z specification. Consistency analysis of the resulting specification is based on the structural rules. The technique is illustrated by two examples, a graphical human-computer interface and a telecommunications system.
Keyword:
formal methods
multiparadigm specification
consistency analysis
telecommunications
graphical human-computer interfaces
Z
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
没有更多内容
没有更多内容