2022年6月3日
BUAA_OO_Unit3_总结
摘要： 一、JML及数据构造 在本单元的学习中，我们首次接触到了JML语言 (Java Modeling Language)，即java建模语言。它以一种数学语言的方式，明确了所需求的规格，消除了自然语言的歧义性。它通过前置条件、后置条件、作用范围等来对每个所需要的方法进行限制和描述，以一种不变的格式和状态 阅读全文
posted @ 2022-06-03 01:58 locnxe 阅读(66) 评论(3) 推荐(2) 编辑
站长工具：