2022年6月3日
BUAA OO 第三单元总结
摘要： BUAA OO 第三单元总结 JML及数据构造： JML的理解 在本单元的学习中，我们认识了规划化的JML语言，它以类形式化的语言描述了接口的规格，能够有效消除自然语言的二义性。利用JML语言对方法的前置、后置条件进行约束，规定好作用范围等，来有效规定所要实现的规格。 数据构造 本单元数据构造较为容 阅读全文
posted @ 2022-06-03 17:23 刘鸿睿SC 阅读(37) 评论(0) 推荐(0) 编辑