Specware（特殊软件） swMATH编号： 11715 软件作者： Srinivas，Y.，Jullig，R。；瓦尔迪格，R。 描述： Specware是一种自动生成高保证软件的软件工程工具。Specware是一种先进的自动化软件开发系统，允许用户精确指定其应用程序的所需功能，并根据这些要求生成可证明正确的代码。Specware中设计过程的核心是逐步细化，用户从一个简单、抽象的问题模型开始，反复细化这个模型，直到它唯一、具体地描述了他们的应用程序。 主页： http://www.specware.org/doc.html 相关软件： PVS公司;Nuprl公司;CASL公司;莫德;伊莎贝尔;测试程序集;数学软件;MMT公司;赫茨;系统建模语言;自动筛选;简化;SciNapse公司;伊莎贝尔/HOL;TAME公司;经验证的校准仪;存档正式证据;能源监管局;配套元件;NQTHM公司 引用于： 25文件 全部的 前5名44位作者引用 3 迈克尔·J·希利。 2 克里斯托夫·克里茨 2 基思·威廉姆森 1 Stuart F.艾伦。 1 安德鲁斯，彼得·B·。 1 伊冯·比扬 1 马修·毕晓普 1 乍得·布朗·爱德华 1 托马斯·考德尔。 1 亚历山德罗·科利奥 1 罗伯特·J·科尔文。 1 罗伯特·李，警察 1 弗朗西斯科·杜兰 1 理查德·伊顿 1 哈特穆特·埃里格 1 尤斯特布鲁克，尤塔 1 皮埃尔·弗莱纳 1 亚历克斯·M·加西亚。 1 杰里米·吉本斯 1 亨森·格雷夫斯 1 马丁·格罗·罗德 1 爱德华·赫尔曼·海尔 1 罗伯特·J·霍尔。 1 伊恩·海耶斯。 1 埃纳尔·布罗赫·约翰森 1 格温·克莱恩 1 科瓦列夫，谢尔盖·普罗塔索维奇 1 谢尔盖·科瓦利约夫。 1 Leuştean，Laurenţiu 1 洛里戈，洛里 1 克里斯托夫·吕斯 1 马其顿，雨果·丹尼尔 1 何塞·梅塞盖尔·瓜伊塔 1 凯瑟琳·奥里亚特 1 弗洛里安·拉贝 1 格里高·罗什乌 1 亚斯敏·沙罗达 1 道格拉斯·史密斯。 1 保罗·A·斯特罗珀。 1 杰西·托马西克 1 拉姆·普拉萨德·文凯特桑 1 Jerzy M.韦曼。 1 乔恩·惠特尔 1 Uwe E.沃尔特。 全部的 前5名9篇连载文章中引用 2 理论计算机科学 2 数学与人工智能年鉴 1 神经网络 1 自动化和远程控制 1 应用分类结构 1 数学科学杂志（纽约） 1 函数编程杂志 1 并行与计算：实践与经验 1 萨达纳 全部的 前5名在6个字段中引用 23 计算机科学（68至XX） 4 范畴理论；同调代数（18-XX） 2 数学逻辑和基础（03-XX） 2 系统论；控制（93至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文