2019年5月22日
OO第三单元总结
摘要： 一、梳理JML语言的理论基础、应用工具链情况 JML以javadoc注释的方式来表示规格，每行以@起头。其中行注释为“//@annotation”，块注释为“/*@ annotation... @*/”。 常用表达式有以下几种： \public normal_behavior：表达方法在正常情况下应 阅读全文
posted @ 2019-05-22 21:49 Ruby7 阅读(143) 评论(1) 推荐(0)