OO第三阶段作业总结

时间 2020-12-29

原文原文链接

一、JML语言的理论基础与应用工具链 1.理论基础 JML（Java Modeling Language）是一种规格化设计的语言，它为程序猿之间的交流提供了一种能规避二义性的通用规范。对于代码设计而言，规格化设计提供了严密的设计逻辑描述；对于代码扩展而言，规格化提高了代码的可维护性。 2.应用工具链　　使用openjml可进行规格检查。其中，-check选项检查JML语法规范，-esc选项对代码

>>阅读原文<<

1. OO第三阶段总结
2. OO第二阶段作业总结
3. OO第三阶段做业总结
4. OO第二阶段做业总结
5. OO第一阶段做业总结
6. OO第二阶段总结
7. OO第一阶段总结
8. OO第四阶段总结
9. OO第三次阶段性总结
10. OO第三次阶段总结
更多相关文章...
• Scala 高阶函数 - Scala教程
• Markdown 段落 - Markdown 教程
• RxJava操作符（三）Filtering
• 算法总结-双指针