第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
Linux中cp命令用来赋值文件或者目录，其常用的命令选项如下: 下面是cp命令的一些使用示例: 默认情况下，cp命令赋值出来的权限或者属性通常来源自操作者本身。比如上面在root身份在执行cp命令，将/var/log/wtmp赋值到/tmp/wtmp，此时/tmp/wtmp文件的权限与所属群组已经 ...
分类：
系统相关 时间：
2021-06-02 16:06:40
阅读次数：
0
面向对象设计的6大原则： 1.单一职责原则 原则思想：一个方法只负责一件事情。 描述：单一职责原则很简单，一个方法 一个类只负责一个职责，各个职责的程序改动，不影响其它程序。 这是常识，几乎所有程序员都会遵循这个原则。 优点：降低类和类的耦合，提高可读性，增加可维护性和可拓展性，降低可变性的风险。 ...
分类：
其他好文 时间：
2021-06-02 16:06:21
阅读次数：
0
INSTR用法 INSTR方法的格式为：INSTR(源字符串, 要查找的字符串, 从第几个字符开始（默认为1）, 要找到第几个匹配的序号（默认为1）)返回找到的位置，如果找不到则返回0.例如：INSTR('CORPORATE FLOOR','OR', 3, 2)中，源字符串为'CORPORATE F ...
分类：
数据库 时间：
2021-06-02 16:04:24
阅读次数：
0
1.bin bin目录主要是用来存放tomcat的命令，主要有两大类，一类是以.sh结尾的（linux命令），另一类是以.bat结尾的（windows命令）。 重要： 很多环境变量的设置都在此处，例如可以设置JDK路径、TOMCAT路径 startup 用来启动tomcat shutdown 用来关 ...
分类：
其他好文 时间：
2021-06-02 16:00:31
阅读次数：
0
环境设置 安装 Spring 框架之前在你的机器上需安装 JDK，Tomcat 和 Eclipse。 下载Spring的基础jar包 目前 Spring 框架的最新版本是 5.1.8，本教程是基于 Spring 的稳定版本 3.2.13 进行讲解的。读者可以通过网址 http://repo.spri ...
分类：
编程语言 时间：
2021-06-02 15:42:17
阅读次数：
0
BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L ...
分类：
其他好文 时间：
2021-06-02 15:32:43
阅读次数：
0
解决办法有两种： 1、去掉默认密钥环的密码： 打开应用程序－>附件－>密码和加密密钥（如果你的没有，在终端中输入 seahorse），切换到密码选项卡，会看到一个密码密钥环（我的密钥环是 login）， 右击－>更改密码，然后在“旧密码”中填入系统登录密码，其他不用填，直接确定，并选择“使用不安全的 ...
分类：
其他好文 时间：
2021-06-02 15:29:39
阅读次数：
0
运行模拟器出错 上述错误是因为需要JAVA环境 JAVA 环境下载网址 https://www.oracle.com/java/technologies/javase-jdk16-downloads.html GUI Guider是恩智浦提供的基于开源LVGL图形库的一种用户友好的图形用户界面开发工 ...
分类：
编程语言 时间：
2021-06-02 15:09:51
阅读次数：
0
#es6中的块级作用域let consat ##相对于es5，es5只有var。没有作用域，相当于是全局作用域。而es6中let 和consat都是有作用域的 <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <title> ...
分类：
其他好文 时间：
2021-06-02 15:08:50
阅读次数：
0
