×

贾斯

swMATH标识: 32265
软件作者: 医学博士巴特兹科、费舍尔、H。
说明: Jass-java和断言。Meyer为编程语言Eiffel提出的契约式设计(Design by Contract)是一种允许在运行时检查违反规范的情况及其在程序执行期间的处理的技术。Jass,Java with assertions,是一个针对Java的契约式设计扩展,允许以断言的形式用规范来注释Java程序。Jass工具是一个预编译器,它将带注释的程序转换为纯Java程序,在这些程序中,动态测试对规范的遵从性。除了经典程序验证中已知的标准契约式设计特性(例如前置和后置条件、不变量),Jass还支持精化,即子类型化、检查和trace断言的新概念。跟踪断言用于及时监视对象的动态行为。
主页: http://csd.informatik.uni-oldenburg.de/pub/Papers/jass.pdf
依赖项: 爪哇
相关软件: 吉咪;艾菲尔;规格#;循环;喀拉喀托;钥匙;电子稳定控制系统/Java;火花;JPAX公司;朱尼特;落叶松;努西姆;旋转;Z;J承包商;胡迪尼;简化;PVS公司;石匠;餐厅套房
引用于: 5种出版物

按年份列出的引文