一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
一．Jml总结及应用工具链 总的来说，jml就是对java程序进行规格化设计的一种表示语言，其中最核心的就是规格化，将代码要实现的功能和各项要求与约束不是通过自然语言，而是通过严密的逻辑语言来表达，这样让代码实现人员看的更加简洁明了，更极大地提高了代码的可维护性。 Jml这一大内容主要分为4个板块， ...
分类：
其他好文 时间：
2020-05-23 13:02:20
阅读次数：
44
JML理论 jml是对java程序进行规格化设计的一种表示语言。jml主要运用在：(1)开展规格化设计；(2)针对已有的代码书写规格，增强代码的可维护性。 需要注意的是：jml描述的是我们的程序在什么样的情况下会正确执行，预期的返回值满足什么样的条件，一言以蔽之：jml描述的是程序能用什么样的原料做 ...
分类：
其他好文 时间：
2020-05-23 11:12:06
阅读次数：
40
软件开发目录规范 软件开发目录规范的作用 为了提高程序的可读性与可维护性，我们应该为软件设计良好的目录结构，这与规范的编码风格同等重要。软件的目录规范并无硬性标准，只要清晰可读即可， 项目示例 项目示例 PerfectProject/ |-- bin/ | |-- run.py | |-- api/ ...
分类：
其他好文 时间：
2020-05-23 00:26:10
阅读次数：
72
封装 为什么要使用封装？ 1、比如打电话，我们只要按键拨打就可以，不需要知道手机的内部结构，也不需要知道怎么打出去 2、比如给手机充电，只要通过手机提供的接口，就可以，不需要知道怎么把电冲进去的 封装的含义？ 隐藏对象内部的复杂性，只对外公开简单的接口，便于外界使用，从而提高系统的扩展性、可维护性 ...
分类：
编程语言 时间：
2020-05-21 14:39:46
阅读次数：
67
OO第三单元总结 规格JML和社交关系系统 一、JML语言概况 1.1 理论基础 JML是一种形式化面向JAVA的行为接口规格语言 作用 1. 开展规格化设计与测试。将逻辑严格的规格交给代码实现人员。 2. 针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 JML语法 JML表达式 \ ...
分类：
其他好文 时间：
2020-05-21 09:23:52
阅读次数：
63
java注解篇 什么是注解？ 注释是给开发者看的，可以提升代码的可阅读性和可维护性，但是对于java编译器和虚拟机来说是没有意义的，编译后的字节码文件中没有任何注释信息。 而注解和注释有些类似，不过注解是给编译器和虚拟机看的。编译器和虚拟机可以在运行过程中获取注解信息，然后根据注解信息做各种想做的事 ...
分类：
编程语言 时间：
2020-05-20 09:42:39
阅读次数：
53
一、概念 面向对象：对于软件开发模式有两种，一种是面向对象，一种是面向过程。面向过程：只完成自己所需要的操作，但是这种设计缺少可维护性。面向对象：本质上是组件化的设计（模块化设计），方便局部维护但是设计上的要求规范比较多，也就是模块化的设计最重要的就是标准，以及整个项目的整体把控。 面向对象的概念实 ...
分类：
其他好文 时间：
2020-05-19 00:51:20
阅读次数：
85
常用模块 什么是模块 ？ 在计算机程序的开发过程中，随着程序代码越写越多，在一个文件里代码会越来越长，越来越不容易维护。 为了编写可维护的代码，我们把很多的函数分组，分别放到不同的文件里，这样每个文件包含的代码就相对较少了，很多编程语言都采用了这种组织代码的方式。在Python中，一个.py文件就可 ...
分类：
其他好文 时间：
2020-05-18 14:18:06
阅读次数：
53
一、了解浏览器兼容的前缀 Firefox 的 -moz-、 IE 的 -ms-、 Opera 的 -o- Safari 和 Chrome 的 -webkit- 二、减少代码重复性，使得可维护 按钮的代码如下，但若需要mini，small，medium，等不同尺寸版本的按钮，就得改动很多处代码 pad ...
分类：
Web程序 时间：
2020-05-17 23:09:48
阅读次数：
128
