在面向对象课程中的第三章，我尝试了基于JML语言的规格化设计，按照AppRunner中的接口文件实现了中的接口文件
阅读背景：
当代码遇到数理逻辑——面向对象设计与构造第三章总结
来源：互联网
分享到：
