×

贾斯

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文件

在1个字段中引用

5 计算机科学(68至XX)

按年份列出的引文