2021年6月1日
Object-oriented_第三单元总结
摘要： Object-oriented_第三单元总结 本博客为面向对象课程第三单元的作业总结。 引言 第三单元的OO课程，致力于培养JML规格思想，达到根据规格进行开发、熟练理解JML的需求。在本单元中，实现JML规格的方式，是以开展规格化设计的形式，即通过具有严密逻辑的规格，而非模糊的自然语言描述来实现具 阅读全文
posted @ 2021-06-01 10:52 勍盧 阅读(83) 评论(0) 推荐(0)