Specification and Development of Reactive Systems (Invited Paper)
Specification and Development of Reactive Systems (Invited Paper)
复制标题
反应式系统的规范和开发（特邀论文）
DOI：
10.1007/978-3-540-74827-4_106
复制
发表时间：
1986
影响因子：
5.9
通讯作者：
A. Pnueli
中科院分区：
文献类型：
--
作者：
A. Pnueli
本文提出了一个新的研究方向：建立理论网格作为合作共享的形式化理论在一个虚拟的组织，然后实现了一个群体的自动推理程序工作的基础上的理论网格，作为群体的智慧网格理论家有能力发现新的定理，并提出新的问题自动或半自动。本文还介绍了网格理论和网格理论家的体系结构，以及网格理论和网格理论家在实施过程中面临的主要科学挑战和技术问题。
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement a crowd of automated reasoning programs working based on the Theory Grid such that as the wisdom of crowds a grid theorist has the ability to find new theorems and propose new questions automatically or semi-automatically. The paper also presents an architecture of the Theory Grid and grid theorists, and major scientific challenges and technical issues in the implementation of the Theory Grid and grid theorists.