2021年5月30日
OO第三单元——JML
摘要： OO第三单元总结 刘兆薰 19373345 设计策略 JML相当于一份规格严肃的针对程序员的说明书，相比自然语言描述更加严谨，但也更加冗长且具有专业性。自然语言通常能显式地描述类与方法、方法与方法之间的层次关系（如调用关系、继承关系）。但是JML通常不能很好地体现出上述关系，需要程序员自己去挖掘；如 阅读全文
posted @ 2021-05-30 22:22 SprLau 阅读(115) 评论(1) 推荐(0)