BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述，精确地描述了代码的功能，并且为测试设计提供了严密的依据。尤其在多人协同开发的时候，相比可能带有内在模糊性的自然语言描述，JML能过更清晰地 ...
分类：
其他好文 时间：
2020-05-22 12:43:52
阅读次数：
55
场景1 CMD ["java", "-jar", "app.jar"] 这时候java程序的PID=1也就是容器的主进程 执行docker stop <container> 也就等于 kill -15 1，这时候只要java程序能够处理SIGTERM信号即可 场景2 CMD ["/home/defa ...
分类：
系统相关 时间：
2020-05-22 11:24:38
阅读次数：
167
第三单元我们对JML进行了学习，并加深了对形式化设计的理解。本单元通过给定的JML来实现了一个人际关系网，最后实现了一个人际关系管理网络，表示了人与人之间的关系，人所在群组，人与人之间的借贷关系，以及离散数学中的连通，强连通，最短通路等关系。 一、JML理论基础 JML是对java程序进行规格化设计 ...
分类：
其他好文 时间：
2020-05-22 11:17:54
阅读次数：
53
1、java虚拟机：解析，执行java程序，java虚拟机可运行在各种操作系统上。 2、jdk类库：基础java类，各种使用类，如：java.long、java.io、java.util、java.awt、javax.swing、java.sql 3、开发工具：可执行的程序，如：javac.exe（ ...
分类：
其他好文 时间：
2020-05-22 09:41:28
阅读次数：
83
本篇文章 idea 来自 "用了这么多年的泛型，你对它到底有多了解？" ,恰好当时看了「深入 Java 虚拟机的第三版」了解泛型的一些历史，感觉挺有意思的，就写了写 Java 版的泛型。 作为一个 Java 程序员，日常编程早就离不开泛型。泛型自从 JDK1.5 引进之后，真的非常提高生产力。一个简 ...
分类：
编程语言 时间：
2020-05-22 09:27:24
阅读次数：
56
本文介绍通过Java程序在PDF文档中创建多种不同类型的标记，包括箭头、云朵、椭圆、矩形和连接线条等形状的标记。需要使用PDF类库工具（Spire.PDFforJava），下载解压Jar包后，将lib文件夹下的Spire.Pdf.jar文件导入Java程序；或者也可以通过Maven仓库下载导入。导入结果如下：importcom.spire.pdf.*;importcom.spire.pdf.ann
分类：
编程语言 时间：
2020-05-22 00:22:13
阅读次数：
74
SpringBoot是由Pivotal团队提供的全新框架，其设计目的是用来简化新Spring应用的初始搭建以及开发过程。该框架使用了特定的方式来进行配置，从而使开发人员不再需要定义样板化的配置。通过这种方式，SpringBoot致力于在蓬勃发展的快速应用开发领域（rapidapplicationdevelopment）成为领导者。从最根本上来讲，SpringBoot就是一些库的集合，它能够被任意项
分类：
编程语言 时间：
2020-05-21 19:47:02
阅读次数：
57
SpringBoot是由Pivotal团队提供的全新框架，其设计目的是用来简化新Spring应用的初始搭建以及开发过程。该框架使用了特定的方式来进行配置，从而使开发人员不再需要定义样板化的配置。通过这种方式，SpringBoot致力于在蓬勃发展的快速应用开发领域（rapidapplicationdevelopment）成为领导者。从最根本上来讲，SpringBoot就是一些库的集合，它能够被任意项
分类：
编程语言 时间：
2020-05-21 18:56:33
阅读次数：
59
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
诺禾-诺禾编程：为什么要放弃 JSP？ 小Hub领读： 现在主流前后端分离了，vue都是后端的必懂技能了，想当年，小Hub刚学java的时候，jsp当道，现已物是人非~ 来源：水车 cnblogs.com/xuange306 前言 以前的项目大多数都是 Java 程序猿又当爹又当妈，既搞前，又搞后端 ...
分类：
Web程序 时间：
2020-05-21 10:35:31
阅读次数：
67
