Global Development via Local Observational Construction Steps

Global Development via Local Observational Construction Steps
复制标题

通过本地观测建设步骤进行全球发展

DOI：
--
复制
发表时间：
2002
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
通讯作者：
A. Tarlecki
A. Tarlecki
中科院分区：
--
文献类型：
--
作者：
M. Bidoit;D. Sannella;A. Tarlecki

文献摘要

被引文献

相似文献

的方式，细化的个别“本地”组件的规范涉及到一个“全球”系统的发展，从规范的要求进行了探讨。对规范和细化的观察性解释增加了表达能力和灵活性，同时也带来了一些微妙的问题。结果在Casl架构规范的上下文中实例化。
The way that refinement of individual "local" components of a specification relates to development of a "global" system from a specification of requirements is explored. Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems. The results are instantiated in the context of Casl architectural specifications.