摘要: OO第三单元表达式求导作业总结 一、JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。在我的理解中,规格的目的是为了摒弃自然语言描述的诸多弊端,试图通过形式化建模语言来描述需求并未Junit等测试提供依据。其能在团队开发中起到重要 阅读全文
posted @ 2020-05-23 21:46 BettyRay 阅读(149) 评论(2) 推荐(0) 编辑