2019年5月20日
面向对象第三单元作业总结
摘要： 面向对象第三单元作业总结 JML语言和工具链 JML的基本语法 契约式设计或者Design by Contract (DbC)是一种设计计算机软件的方法。这种方法要求软件设计者为软件组件定义正式的，精确的并且可验证的接口，这样，为传统的抽象数据类型又增加了先验条件、后验条件和不变式。这种方法的名字里 阅读全文
posted @ 2019-05-20 22:00 edward-crazy 阅读(279) 评论(0) 推荐(0) 编辑