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