规格# swMATH ID: 4598 软件作者: 迈克·巴奈特(Mike Barnett);K.Rustan M.Leino;沃尔夫拉姆·舒尔特 描述: Spec#编程系统是一种新的尝试,旨在以更具成本效益的方式开发和维护高质量的软件。本文描述了Spec#编程系统的目标和体系结构,包括面向对象的Spec#编程语言、Spec#编译器和Boogie静态程序验证程序。该语言包括用于编写规范的构造,这些规范捕获程序员关于如何使用方法和数据的意图,编译器发出运行时检查以强制执行这些规范,验证器可以检查程序与其规范之间的一致性。 主页: http://dl.acm.org/citation.cfm?id=2131549 相关软件: JML公司;电子稳定控制系统/Java;布吉;z3型;卡拉卡拉;Why3号机组;艾菲尔;简化;VCC公司;VeriFast公司;达夫尼;Caduceus公司;Coq公司;凯伊;Frama-C公司;ACSL公司;PVS公司;伊莎贝尔/HOL;火花;cvc3型 引用于: 111文件 全部的 前5名235位作者引用 10 Leino,K.Rustan M。 6 戴维·诺曼(David A.Naumann)。 5 克劳德·马奇 5 格雷格·莫里塞特 5 阿列克桑达尔·纳内夫斯基 4 拉尔斯·比克达尔 4 拉希里、舒文杜·库马尔 4 彼得·米勒 4 伊娜·谢弗 4 托马斯·图姆 三 安妮迪亚·班纳吉 三 莱昂纳多·德·莫拉 三 雷纳·哈内尔 三 Gary T.Leavens。 三 弗朗西斯科·洛戈佐 三 豪尔赫·索萨·品托 三 托拜厄斯·隆格 三 沃尔夫拉姆·舒尔特 三 沃尔夫,伯克哈特 2 尼古拉·S·比约纳。 2 Böhme,萨沙 2 玛丽亚·保拉(Maria Paola Bonacina) 2 理查德·布贝尔 2 帕特里斯·沙林 2 魏恩根·钦 2 索菲亚·克洛伊·德罗索波卢 2 苏珊·艾森巴赫 2 马里克,Huisman 2 巴特·雅各布斯 2 亚历山大·克努佩尔 2 直纪小林 2 克里斯托弗·林奇(Christopher A.Lynch)。 2 米查·莫斯卡尔 2 乔纳森·奥斯特罗夫。 2 Owe、Olaf 2 马修·帕金森。 2 弗兰克·皮森斯 2 亚历克斯·波坦 2 沙兹·卡迪尔 2 秦胜超 2 阿夫拉罕·辛纳 2 托马斯·怀斯 1 马库斯·阿德霍尔德 1 阿马尔·艾哈迈德 1 沃尔夫冈·阿伦特 1 艾切尔尼格,伯恩哈德·K。 1 阿夫申·阿米吉 1 阿明,纳达 1 伊戈尔·谢尔盖维奇(Igor’Sergeevich Anureev) 1 安德烈·阿鲁索艾 1 阿里·阿亚德 1 何塞·巴塞拉尔·阿尔梅达 1 回来了,拉尔夫·约翰 1 鲍尔,托马斯 1 克什蒂吉班萨尔 1 鲍玉燕 1 曼纽尔·巴博萨 1 迈克·巴奈特 1 何塞·伯纳多·巴罗斯 1 伯恩哈德·贝克特 1 米歇尔·比多特 1 安妮特·比纽萨 1 安德烈亚斯·拉斐尔·布拉斯 1 斯特凡·布隆 1 弗朗索瓦·博博特 1 弗洛里安·博尔 1 西尔维·博尔多 1 塔比亚·博迪斯 1 博斯特罗姆,蓬图斯 1 查尔斯·布伊拉盖 1 Bouillaguet,昆汀 1 西尔万·博尔梅 1 曼弗雷德·布罗伊 1 阿希姆·D·布鲁克。 1 罗伯特·布鲁托梅索 1 克里斯蒂亚诺·加尔卡尼奥 1 Cañete-Valdeón,JoséM。 1 陈一云 1 陈振邦 1 皮埃尔·奇夫利埃 1 杰苏斯·莫里西奥·奇曼托 1 Adam J.Chlipala。 1 亚历山德罗·西马蒂 1 Sylvain Conchon公司 1 杰里米·康迪特 1 帕特里克·库索特 1 拉迪亚·库索特 1 达妮拉·达克鲁兹 1 赛义德·达拉比 1 梅迪·达斯坦尼(Mehdi M.Dastani)。 1 克里斯蒂娜·大卫 1 吉姆·戴维斯 1 德波尔(Frank S。 1 Din、Crystal Chang 1 约翰·多夫兰 1 埃米,迈克尔 1 吉登·恩斯特 1 戴维·费特尔森 1 Jean-Christophe Filliátre 1 玛丽亚·乔昂·弗雷德 …还有135位作者 全部的 前5名19篇连载文章中引用 12 计算的形式方面 6 自动推理杂志 三 理论计算机科学 三 计算机程序设计科学 三 系统设计中的形式化方法 2 信息学学报 2 符号计算杂志 2 函数编程杂志 1 倒排索引综述 1 计算机科学与技术杂志 1 信息与计算 1 美国计算机学会期刊 1 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)联合公报。系列:计算机科学 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 110 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 三 信息与通信理论、电路(94-XX) 2 数值分析(65-XX) 1 总体主题;集合(00-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文