05 2019 档案

2019年北航OO第三单元（JML规格任务）总结
摘要：一、JML简介 1.1 JML与契约式设计 说起JML，就不得不提到契约式设计（Design by Contract）。这种设计模式的始祖是1986年的Eiffel语言。它是一种限定了软件中每个元素所必需的责任与义务的开发模式，程序设计中的每个元素都需要用规范的语言精准地限定其前置条件（Precon 阅读全文
posted @ 2019-05-22 13:40 Sheryc 阅读(640) 评论(3) 推荐(0)
用Maven+IDEA+Eclipse组合获得最好的OpenJML体验
摘要：本文是针对北航OO规格化单元的Maven和Junit简单用法教程，希望能给大家带来更好的项目管理、OpenJML和单元测试体验~ 阅读全文
posted @ 2019-05-02 22:01 Sheryc 阅读(1014) 评论(0) 推荐(10)