2019年5月22日
2019年北航OO第三单元（JML规格任务）总结
摘要： 一、JML简介 1.1 JML与契约式设计 说起JML，就不得不提到契约式设计（Design by Contract）。这种设计模式的始祖是1986年的Eiffel语言。它是一种限定了软件中每个元素所必需的责任与义务的开发模式，程序设计中的每个元素都需要用规范的语言精准地限定其前置条件（Precon 阅读全文
posted @ 2019-05-22 13:40 Sheryc 阅读(614) 评论(3) 推荐(0) 编辑