一、JML语言的理论与应用工具链 JML语言是对一个方法、类、程序的外部可感知行为进行抽象表示的规格化语言，它具有两个重要的特征。第一点：JML语言是抽象的。它就如同一个方法、类、程序的说明书，它告诉你这个用这方法需要什么条件，使用了这个方法之后满足什么效果。但这样的效果任何实现，JML语言不进行描 ...
分类：
其他好文 时间：
2020-05-23 13:18:26
阅读次数：
49
WEB 开发是现在程序必会的技能，因为大部分软件都以 Web 形式提供，及时制作后台开发，或者只做前台开发，也需要了解 Web 开发的概念和特点。 由于 Python 是解释性脚本语言，用来做 Web 开发非常适合，而且 Python 有上百中 Web 开发框架，以及成熟的模板技术，使得Web开发如 ...
分类：
Web程序 时间：
2020-05-23 13:10:43
阅读次数：
62
[toc] 单元内容 本单元的内容是实现一个社交关系模拟系统，通过各类输入指令来进行数据的增删查改等交互，具体内容如下： 实现自己的 Person 和 Network 类，进行简单关系的模拟 实现自己的 Group 类，丰富 Network 类，增加对分组关系的模拟 丰富 Network 类，增加对 ...
分类：
其他好文 时间：
2020-05-23 11:35:46
阅读次数：
55
下载 各个版本Docker地址：https://download.docker.com/linux/static/stable/x86_64/ 1.上传、解压 mkdir /usr/local/docker mv docker-19.03.2.tgz /usr/local/docker tar zx ...
分类：
其他好文 时间：
2020-05-23 09:51:01
阅读次数：
646
转自：https://blog.csdn.net/weixin_36646275/article/details/83965621 详解drf中的ModelViewSet使用:# view.pyfrom rest_framework import viewsetsclass PersonalSet( ...
分类：
其他好文 时间：
2020-05-22 17:19:57
阅读次数：
158
@interface AFURLSessionManager : NSObject <NSURLSessionDelegate, NSURLSessionTaskDelegate, NSURLSessionDataDelegate, NSURLSessionDownloadDelegate, NSS ...
分类：
Web程序 时间：
2020-05-22 16:59:56
阅读次数：
64
C# Path.GetDirectoryName方法代码示例 本文整理汇总了C#中System.IO.Path.GetDirectoryName方法的典型用法代码示例。如果您正苦于以下问题：C# Path.GetDirectoryName方法的具体用法？C# Path.GetDirectoryNam ...
ingress做为k8s集群的入口非常重要，能实现ingress功能的软件很多，可根据自身需求选择。本篇博客主要使用nginx官方提供的nginx-ingress完成了http/https7层代理和tcp四层代理的环境配置。系统环境1，k8s的版本为1.8.22，dockerce的版本为19.03.8-33，五台主机操作系统版本为centos7，kernel版本3.10.0-9574，使用五台主机
分类：
Web程序 时间：
2020-05-22 09:42:18
阅读次数：
56
1. 基础类型 有12种 布尔值 let isDone: boolean = false; 数字 let dec: number = 6; 字符串 let name : string = 'bob'; 数组 let list: number[] = [1, 2, 3]; 元组 let x : [st ...
分类：
其他好文 时间：
2020-05-21 21:13:21
阅读次数：
79
1.官网下载eleasticsearch和kibana，两个版本应安装一致，否则会出现kibana连接不上eleasticsearch的情况(这里我以6.3.1为例) eleasticsearch的下载地址：https://www.elastic.co/cn/downloads/past-relea ...
分类：
系统相关 时间：
2020-05-21 21:07:31
阅读次数：
71
