贾斯 swMATH ID: 32265 软件作者: Bartetzko,医学博士,Fischer,C.,Wehrheim,H。 描述: 带有断言的Jass-java。Meyer为编程语言Eiffel提出的契约式设计(Design by Contract)是一种允许在程序执行期间对规范冲突及其处理进行运行时检查的技术。Jass,Java with assertions,是Java的契约式设计扩展,允许以断言的形式用规范注释Java程序。Jass工具是一个预编译器,它将注释转换为纯Java程序,在纯Java程序中动态测试是否符合规范。除了经典程序验证中已知的标准契约式设计功能(例如前置和后置条件、不变量)外,Jass还支持细化,即子类型、检查和跟踪断言的新概念。跟踪断言用于及时监视对象的动态行为。 主页: http://csd.informatik.uni-oldenburg.de/pub/Papers/jass.pdf 依赖项: Java语言 相关软件: JML公司;艾菲尔;规格#;回路;卡拉卡拉;凯伊;电子稳定控制系统/Java;火花;日本运通银行;JUnit公司;落叶松;NuSMV公司;自旋蛋白;Z;j承包商;PVS公司;胡迪尼;简化;就餐套房;泥瓦匠 引用于: 5文件 全部的 前5名11位作者引用 1 帕克·阿伯克龙比 1 帕特里斯·沙林 1 陈冯 1 保罗·塞勒姆·达席尔瓦 1 德梅洛,安娜·克里斯蒂娜·维埃拉 1 穆拉特·卡拉曼 1 迈克尔·莫勒 1 奥尔德罗格,恩斯特·吕迪格 1 霍尔格·拉什 1 格里高·罗什乌 1 海克·卫尔海姆 引用于2个系列 2 计算的形式方面 1 系统设计中的形式化方法 在1个字段中引用 5 计算机科学(68至XX) 按年份列出的引文