[toc] 前言 你以为你学的是JML，你以为你在学规格，你以为你上的课程叫OO。 哦，这些都没有错。 什么程序不能掺点算法题呢？\\ _ / 关于JML JML是什么 JML（java modeling language）是一种描述代码行为的语言，包括前置条件、副作用等等。JML是一种行为接口规格 ...
分类：
其他好文 时间：
2020-05-22 21:03:00
阅读次数：
60
那么JML(Java Modeling Language)到底是什么呢？“在面向对象编程中，一个重要原则就是尽可能地 推迟对于“过程”的思考 。”在每次编写程序后，想好了整体架构，搭建好了类和接口，之后面对的就是每一个方法。这个时候，我们思考的是这个方法能给我带来什么 预期结果 ，之后再考虑如何实现 ...
分类：
其他好文 时间：
2020-05-22 12:49:33
阅读次数：
57
1 <%@ page language="java" import="java.util.*" pageEncoding="utf-8"%> 2 <%@taglib prefix="c" uri="http://java.sun.com/jsp/jstl/core" %> 3 <%-- 4 JSTL ...
分类：
Web程序 时间：
2020-05-20 20:17:59
阅读次数：
74
下载路径： http://yd01.siweidaoxiang.com:8070/jmeter_52z.com.zip 配置汉化中文： 找到jmeter的安装目录：打开 \bin\jmeter.properties 文件 修改37行,去掉# 改为 language=zh_CN 压力测试 启动 jme ...
分类：
其他好文 时间：
2020-05-20 18:32:45
阅读次数：
53
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 ...
分类：
其他好文 时间：
2020-05-20 12:36:25
阅读次数：
79
OO第三单元总结 JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言(Behavior Interface Specification Language，BISL),基于Larch方法构建。JML以javadoc注释的方式来表示规格，每行都以@起头。而JM ...
分类：
其他好文 时间：
2020-05-20 00:19:58
阅读次数：
73
MySQL 数据操作 DML DML（Data Manipulation Language 数据操纵语言） DML是用来对数据库里的数据进行操作的语言。DML需要 commit。 当使用 mysql 客户端操作数据库时，这些语句都会自动提交，不用执行 commit。 插入数据（增加） 基础语法 /* ...
分类：
数据库 时间：
2020-05-18 14:37:32
阅读次数：
76
YAML 是 "YAML Ain't a Markup Language"（YAML 不是一种标记语言）的递归缩写。在开发的这种语言时，YAML 的意思其实是："Yet Another Markup Language"（仍是一种标记语言）。 YAML 的语法和其他高级语言类似，并且可以简单表达清单、 ...
分类：
其他好文 时间：
2020-05-16 22:24:23
阅读次数：
86
angular2-inline This extension replaces the language-vscode-javascript-angular2 extension. This package is a language extension for Microsoft Visual S ...
分类：
其他好文 时间：
2020-05-16 20:39:38
阅读次数：
128
<%@ page contentType="text/html;charset=UTF-8" language="java" %> <html> <head> <title>Title</title> <script src="statics/js/jquery-3.5.1.js"></script ...
分类：
编程语言 时间：
2020-05-16 18:56:25
阅读次数：
49
