Rapide公司 swMATH ID: 1249 软件作者: 大卫·C·勒克姆。 描述: Rapide:一种通过事件的偏序模拟分布式系统的语言和工具集Rapide™Language致力于开发用于构建大规模分布式多语言系统的新技术。该技术基于新一代计算机语言,称为可执行体系结构定义语言(EADL),以及一个创新的工具集,支持EADL在大规模系统的进化开发和严格分析中的使用。Rapide™旨在利用架构定义作为开发框架,支持大型多语言系统的基于组件的开发。Rapide®采用了一种新的分布式、时间敏感系统的基于事件的执行模型——“定时偏序集模型”Posets为构建早期生命周期原型设计工具和后期生命周期工具提供了迄今为止最详细的形式基础,用于分布式时间敏感系统的正确性和性能分析。 主页: http://complexevents.com/stanford/rapide/ 关键词: RAPIDE公司;系统架构;因果事件模拟 相关软件: HOL公司;伊萨尔;伊莎贝尔/HOL;伊莎贝尔;ArchJava建筑;歧管;Xtext(扩展文本);里奥;架构设计模式;动态体系结构;FACTum公司;存档正式证据;共性;FDR3公司;NuSMV公司;伊莎贝尔/伊萨尔;Coq公司;卡斯珀;CADP公司;方面J 引用于: 31文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Rapide:通过事件的部分顺序模拟分布式系统的语言和工具集。 Zbl 0883.68002号大卫·C·勒克姆。 1997 全部的 前5名61位作者引用 三 乔治·帕帕佐普洛斯。 2 肯德拉·库珀 2 弗拉维奥·科拉迪尼 2 戴丽蓉 2 邓毅 2 保拉·因弗拉迪 2 迭戈·马姆斯勒 2 伊曼·哈菲兹·波尔莫莫 2 罗夫·罗伊斯纳(Ralf H.Reussner)。 2 海因茨·威廉·施密特 2 亚历山大·沃尔夫。 1 亚历山德罗·阿尔迪尼 1 法哈德·阿尔巴 1 杜珊·巴莱克 1 马可·贝尔纳多 1 安德烈亚·克拉克·布拉夏利 1 安东尼奥·布罗吉 1 卡洛斯·卡纳尔 1 伊曼纽尔·切切特 1 程尚文 1 塞尔吉奥·科尔彻 1 比较一下,丹尼尔 1 雷达尔·康拉迪 1 克里斯托弗·达布罗夫斯基 1 德塞尔,约格 1 艾登,阿姆农·H·。 1 大卫·加兰 1 哈布托姆·卡西·吉迪 1 马里奥·格雷舍尔 1 安东尼奥·塔迪·阿泽夫多·戈麦斯 1 何旭东 1 约翰·霍斯特(John A.Horst)。 1 黄惠民 1 Jean-Pierre Hubaux 1 Jens H.扬克。 1 托马斯·卡利贝拉 1 Andrew J.孔帕内克。 1 X·洛根。 1 大卫·C·勒克汉姆。 1 阿加提·默塞隆 1 埃琳娜·梅西纳。 1 阿里·莫瓦加尔 1 帕帕彼得鲁,奥德赛 1 埃内斯托·皮门特尔 1 弗朗蒂舍克·普拉舍尔 1 奎玛,薇薇安 1 费雷东·沙姆斯·阿利耶 1 梅赫兰·沙拉菲 1 路易斯·费尔南多·苏亚雷斯。 1 亚里士多斯·斯塔夫鲁 1 阿索曼·Sünbül 1 何塞·玛丽亚·特罗亚 1 彼得·特马 1 佛朗哥·都灵 1 伯恩哈德·韦斯特费赫特尔 1 大卫·S·怀尔。 1 向、黎明 1 徐宝文 1 杨宏基 1 乌韦兹敦 1 赵建军 全部的 前5名8篇连载文章中引用 7 计算机程序设计科学 1 《计算机杂志》。A部分/B部分 1 并行计算 1 计算的形式方面 1 FGCS。未来一代计算机系统 1 逻辑与代数程序设计杂志 1 并行与计算:实践与经验 1 软件维护与进化杂志。研究与实践 在1个字段中引用 31 计算机科学(68至XX) 按年份列出的引文