- 博客(5)
- 收藏
- 关注
原创 OO第四单元UML总结
本单元是oo的最后一单元,本单元的大体要求是设计一个图书馆管理系统,完成图书馆所支持的包括借书、预约书、捐书、还书等基本操作的模拟,本单元注重从UML到java代码的正向建模与开发,总体难度不大。
2024-06-17 19:24:09 1714
原创 OO第三单元JML总结
本单元的重点或者说想要实现的基础点应该是,学会阅读、理解和简单的写一写JML这种契约式编程,做类似工业上的从设计到正确性验证(助教替我们完成了)到写代码到写测试的全流程分析。对于JML这种语言本身我一向是不喜欢做太多评价的,不喜欢用就不用,未必是它本身的好坏。但是这种从自然语言到JML(认为是一类契约式语言)再到写测试这一个流程,却反倒让我期待以后自然语言编程了(x另外一点是,除了需要实现的基础点外,我们为了保证性能还会考虑很多的算法设计来减少时间复杂度。
2024-05-18 19:19:27 1520
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人