2020年5月21日
BUAA_OO_2020_Unit3_总结博客
BUAA_OO_2020_Unit3_总结 2020年春季学期第十三周，OO第三单元落下帷幕，对这个单元的内容JML有了更深的理解，但也有了一些疑惑，下做总结： 一、JML语言以及工具链 经过课上JML语言的学习，以及实验与课下作业自己实践的理解，我认为JML语言通过一个契约对一个待实现的功能进行了 Read More
posted @ 2020-05-21 10:26 Craaaaazy Views(280) Comments(0) Diggs(0) Edit