摘要: BUAA-OO-Unit3 总结 (0) 写在前面 关于JML 围绕着本单元的一个核心的话题就是JML语言的大致理解,我觉得JML语言的要点是提出需求的一方和编写程序的一方之间达成的约定,而这种约定相比于自然语言,很少出现二义性,因此通过JML语言,课程组可以非常方便清晰地向我们传达作业的需求。 但 阅读全文
posted @ 2022-06-03 23:08 FlyingAns 阅读(90) 评论(1) 推荐(0) 编辑