2019年5月22日
Object-Oriented Programming Summary Ⅲ
摘要： JML单元作业博客 17373492 [toc] 作业详情： " " 1.1 梳理JML语言的理论基础 在JML的学习中我主要通过指导书和第一次作业中助教提供的链接学习，经过整理如下： 0. 前言 What JML? JML语言本身多用在严谨的软件工程领域内，达到需求与规格描述的准确的目的。 JML 阅读全文
posted @ 2019-05-22 21:55 CookieLau 阅读(392) 评论(1) 推荐(1) 编辑