长达16周的面向对象程序设计A课程也是终于圆满结课了，从最开始的对象和类，到继承、多态、抽象类、接口、异常处理、文本I/O、以及JavaFX。这16周我们也是一步步的从初步认识Java过渡到了熟悉使用Java，本次博客就分享一下本学期学习Java过程中的感想。 还未开始接触Java时，我就对这门陌生 ...
分类：
编程语言 时间：
2020-06-06 23:16:33
阅读次数：
77
OO课程学期总结 〇、前言 经过一整个学期的学习，这一门面向对象编程（Java）课程也已经接近尾声。在老师的带领和同学的帮助下，我从一个非常菜逼的程序员变成了一个菜逼程序员，不过，正如我第一篇随笔所写的，比起编程能力的提升，私以为思想上的改变才是更重要的——面向对象不仅一种编程方式，更是一种思维方式 ...
分类：
其他好文 时间：
2020-06-06 21:27:54
阅读次数：
88
一、理论基础 1.什么是JML JML，即Java Modeling Language，是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口 、规格语言（Behavior Interface Speci?cation Language，BISL），基于Larch方法构建。BISL提 ...
分类：
其他好文 时间：
2020-05-23 21:52:12
阅读次数：
56
JML语言的理论基础 什么是JML？ JML是一种形式化的、面向JAVA的行为接口规格语言。 JML拥有坚实的理论基础。 JML使用Javadoc的注释方式。 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annot ...
分类：
其他好文 时间：
2020-05-23 21:51:39
阅读次数：
61
OO第三单元JML总结 一、JML理论基础与应用工具链 1、JML理论基础 JML是JAVA Modeling Language的简称，主要用于对java程序进行规格化设计，是一种基于Larch方法构建的行为接口规格语言。 JML的优点在于它的精准性与可读性。在设计规格时，如果使用自然语言，那么很有 ...
分类：
其他好文 时间：
2020-05-23 20:42:19
阅读次数：
61
1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 ...
分类：
其他好文 时间：
2020-05-23 20:40:22
阅读次数：
58
OO第三单元总结 一、 JML语言的理论基础及应用工具链 （1）JML语言理论基础 1.原子表达式： \result表示非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... ...
分类：
其他好文 时间：
2020-05-23 20:30:19
阅读次数：
59
JML语言的理论基础、应用工具链 JML语言 JML是一种面向JAVA，形式化的行为接口规格语言。 JML表达式 原子表达式 ：方法执行后的返回值 ：一个表达式 在相应方法执行前的取值 ：返回 表示括号中的变量在方法执行过程中没有被赋值， 则表示被赋值 ：限制括号中的变量在方法执行期间取值不发生变化 ...
分类：
其他好文 时间：
2020-05-23 20:25:38
阅读次数：
59
1.梳理JML语言的理论基础、应用工具链情况 JML简介： JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL)，基于La ...
分类：
其他好文 时间：
2020-05-23 20:14:55
阅读次数：
50
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
