.png){kind=icon}
返回
A formally specified prototyping system
.png){kind=icon}
PRE
AI
DOI：10.1016/0164-1212(95)00066-6.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The intent of this research is to cast the prototyping method in a formal setting and to demonstrate the feasibility of such a formalization. To grasp the nature of prototyping, as opposed to traditional methods, concepts and issues that form the essence of prototyping are identified. These are: linguistic framework, formality, and abstraction levels. A multilevel system based on three languages, each at an appropriate level of abstraction, is developed. Denotational semantics and a corresponding implementation are used to formalize the notion of transformation from one level to the next.
Keyword:
SPECIFICATIONS
SEMANTICS
ALGEBRA
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.4K
被引数:
8.4K
机构
暂无机构信息
引用论文
Joint Feature Selection and Time Optimal Path Parametrization for High Speed Vision-Aided Navigation
PREAI
分享收藏分享收藏
Integration of poly(3-hexylthiophene) conductive stripe patterns with 3D tubular structures for tissue engineering applications.png)
RSC Advances
RSC AdvancesIF0
PREAI
分享收藏Effect of metastable Cr(Mo)s/Cr(Mo)a powders on mechanical alloying the immiscible Cu–Mo–Cr system
PREAI
分享收藏 没有更多内容
没有更多内容