摘要: OO第三单元总结 摘要 Homework9、10、11:本次作业最终需要实现一个社交关系模拟系统。可以通过各类输入指令来进行数据的增删查改等交互。 前言 本单元主要学习根据课程组提供的接口中的JML规格,实现自己的方法。 JML是一种形式化的、面向JAVA的行为接口规格语言,起初会比较陌生,但是在熟 阅读全文
posted @ 2021-05-30 20:46 E_Shout 阅读(353) 评论(1) 推荐(0)