ArcAngel公司 swMATH ID: 1812 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 描述： ArcAngel：一种精炼的战术语言。Morgan的精化演算是一种以精确和一致的方式开发软件的成功技术。然而，这项技术可能很难使用，因为开发可能需要很长的时间和重复性。许多作者指出，通过确定常用的开发策略，将其记录为策略，并将其用作单一的转换规则，可以获得很多好处。此外，有一个描述导数的符号也很有用，这样可以对它们进行分析和修改。在本文中，我们提出了ArcAngel，一种用于定义这种细化策略的语言；我们介绍了语言，它的语义，以及它的一些代数定律。除了我们正在扩展的通用策略语言Angel之外，没有其他策略语言具有自己的指称语义和证明理论 主页： http://www.springerlink.com/content/m7rbdhg06xyu9vde/ 关键词： 形式化方法;项目开发;精化演算 相关软件： 马戏团;Z轴;电源保护;爪Z;罗丹;轻量级Java;ZRC公司;ArcAngelC公司;自动校对;JML公司;特征CbC;艾菲尔;VeriFast公司;VCC（沃尔沃汽车公司）;达夫尼;规格#;伊莎贝尔/霍尔;毫升;Matlab公司;HOL公司 引用于： 14文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 ArcAngel：一种精炼的战术语言。 Zbl 1093.68565号马塞尔·奥利维拉;安娜·卡瓦尔坎蒂;伍德科克，吉姆 2003 全部的 前5名25位作者引用 6 安娜·卡瓦尔坎蒂 三 马塞尔·奥利维拉 三 亚历克斯·波坦 三 托拜厄斯·隆格 三 伊娜·谢弗 三 泽达，弗兰克 2 大卫·阿斯皮纳尔 2 丹尼，尤恩 2 克里斯托弗·吕思 2 托马斯·图姆 1 塔比亚·博迪斯 1 菲尔·克莱顿 1 阿列克谢·伊利亚索夫 1 亚历山大·基特尔曼 1 莱比尼斯·利纳斯 1 佩特拉·马利克 1 科林·奥哈洛兰 1 佩德罗·里贝罗 1 亚历山大·罗曼诺夫斯基。 1 卢克瑟纳斯、里姆维达斯 1 马可·塞韦托 1 伊恩·汤恩 1 Elena A.Troubitsyna。 1 马克·乌廷 1 詹姆斯·C·P·伍德科克。 全部的 前5名7篇连载文章中引用 三 计算的形式方面 1 理论计算机科学 1 计算机程序设计科学 1 北欧计算机杂志 1 芝加哥理论计算机科学杂志 1 计算机科学中的数学 1 计算机科学中的逻辑方法 在2个字段中引用 14 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文