为了能到远方,脚下的每一步都不能少.|

Max_Season

园龄:3年11个月粉丝:2关注:4

05 2021 档案

OO第三单元总结
摘要:第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言,其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制,来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性,通过针对已有的代码写出其JML规格,有利于维护该代码。 在本文中,
56
1
0
点击右上角即可分享
微信分享提示
深色
回顶
收起