2021年5月28日
OO-unit3
摘要： 本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 阅读全文
posted @ 2021-05-28 23:09 Supercalifragilistic 阅读(70) 评论(0) 推荐(1) 编辑