2021年5月31日
BUAA_OO_UNIT3_单元总结
摘要： 本单元要求我们基于给出的JML规格实现一个社交关系网络，并可以通过各种指令实现数据的增删改查。 一、实现规格所采取的设计策略 相较于前两个单元对于架构设计的整体性及可扩展性的考察，本单元对于需要实现的类都给出了相应的抽象类或接口，类中需要实现的方法也都给出了JML描述，相当于已经定好了整体框架，我们 阅读全文
posted @ 2021-05-31 20:29 polaris123 阅读(60) 评论(0) 推荐(0)