OO第三单元——JML 一、梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言（Behavior Interface Speci?cation Language，BISL），基于Larch方法构建 。BISL提供了对方法和类型的规格定义 ...
分类：
其他好文 时间：
2020-05-23 18:50:55
阅读次数：
48
什么是 XML ? XML 指可扩展标记语言（eXtensible Markup Language）。 可扩展标记语言，标准通用标记语言的子集，一种用于标记电子文件使其具有结构性的标记语言。 它可以用来标记数据、定义数据类型，是一种允许用户对自己的标记语言进行定义的源语言。 它非常适合万维网传输，提 ...
分类：
其他好文 时间：
2020-05-23 18:43:44
阅读次数：
50
OO_Unit2_Review 一.JML语言的理论基础、应用工具链 1.JML语言的理论基础 Java Modeling Language（JML）是一种规范的注释语言，用于规定类的行为和接口。 JML的优点： 1、其规范性不仅使得注释更加准确。 2、同时凭此我们也可以借助JML的工具链来对某个类 ...
分类：
其他好文 时间：
2020-05-23 18:23:50
阅读次数：
48
这篇文章主要讲解：右键复制失效方法、菜单"文件"－"另存为"失效方法、防止查看源代码进行复制的方法、防止页面缓存的方法。来达到一定的代码保护效果 右键复制失效方法: 方法一： <script language="Javascript"> document.oncontextmenu=new Func ...
分类：
Web程序 时间：
2020-05-23 16:45:23
阅读次数：
57
摘自《编程大师访谈录》 8080 ：英特尔公司制造的一款微处理器芯片。许多早期的微型计算机都采用这款芯片。 ALGOL ：算法语言(ALGOrithmic Language)。一种用于表达和控制算术及逻辑过程的国际编程语言。 算法(ALGORITHM) ：以有限的步骤解决问题的一整套规划或过程。 A ...
分类：
其他好文 时间：
2020-05-23 16:36:06
阅读次数：
65
Part 1 JML总结 Section 1 理论基础 The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior ...
分类：
其他好文 时间：
2020-05-23 16:31:52
阅读次数：
40
当输入商品名称或所属分类及是否热门 查询其中的1个或者2个的时候都能查出； 第一步：让jsp在页面中显示出来 <%@ page language="java" pageEncoding="UTF-8"%> <%@ taglib uri="http://java.sun.com/jsp/jstl/co ...
分类：
编程语言 时间：
2020-05-23 15:04:08
阅读次数：
57
html 1.什么是html： 超文本：超级文本，包含出了文本其他的内容（音频，视频，图片，链接）(Hyper Text Markup Language) 标签由一组尖括号组成 语言 html有独有的语言规范 2. html是运行在浏览器上的，给用户呈现视图的 3. html的基本框架 4. htm ...
分类：
Web程序 时间：
2020-05-23 15:00:09
阅读次数：
76
第三单元总结 JML语言的理论与应用 （一）理论基础 The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior ...
分类：
其他好文 时间：
2020-05-23 13:31:44
阅读次数：
49
一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
