一、JML简介 1.1 JML与契约式设计 说起JML，就不得不提到契约式设计（Design by Contract）。这种设计模式的始祖是1986年的Eiffel语言。它是一种限定了软件中每个元素所必需的责任与义务的开发模式，程序设计中的每个元素都需要用规范的语言精准地限定其前置条件（Precon ...
分类：
其他好文 时间：
2019-05-22 14:03:16
阅读次数：
111
1.今天在配置java环境变量的时候发现一个，问题，配置好java_home,path,classpath，文件路径填写完全没问题的，cmd窗口运行Java -verson不能成功，但是去java文件jre\bin目录下是可以成功的，说明文件安装是没有问题的，然后百度得知，将下图中红色框中的路径删掉 ...
分类：
其他好文 时间：
2019-05-22 14:02:53
阅读次数：
114
ample a.足够的；宽敞的 amplitude n.广大；充足；振幅 amusement n.娱乐，消遣，乐趣 analogue n.类似物；同源语 analogy n.相似，类似；比拟 abbreviation n.节略，缩写，缩短 abide vt.遵守 vt.忍受 identificati ...
分类：
其他好文 时间：
2019-05-22 14:02:14
阅读次数：
123
由于asp的应用在国内是比较广泛的，也是非常容易学习的，用户也比较多。IIS它直接被Mcrosoft集成在OS上，所以也比较方便获得，且也非常容易操作。所以下面我详细说明在Windows 下用IIS如何配置jsp和php环境(在Windows 2000 Advanced Server下成功通过).二 ...
这篇文章主要介绍了Windows系统下nodejs、npm、express的下载和安装教程详解,非常不错，具有参考借鉴价值，需要的朋友可以参考下1、 node.js下载 首先进入http://nodejs.org/dist/，这里面的版本呢，几乎每个月都出几个新的，建议大家下载最新版本，看看自己的电 ...
es8的async await让异步变成了同步的写法，在vue中，可以通过封装axios，使得所有的请求都可以使用同步的写法。 新建一个api.js文件，全局创建api实例 使用可以参考如下 ...
分类：
移动开发 时间：
2019-05-22 13:59:39
阅读次数：
605
实现效果： 如何使用： 官网下载 https://www.pendrivelinux.com/yumi-multiboot-usb-creator/ 添加一个文件 移除一个或多个 ...
分类：
其他好文 时间：
2019-05-22 13:59:21
阅读次数：
261
适用场景： 比方说，你的代码已经提交到git库，leader审核的时候发现有个Java文件代码有点问题，于是让你修改，通常有2种方法： 方法1：leader 将你提交的所有代码 abandon掉，然后你回去 通过git reset …将代码回退到你代码提交之前的版本，然后你修改出问题的Java文件， ...
分类：
其他好文 时间：
2019-05-22 13:59:00
阅读次数：
480
Django的View（视图） 一个视图函数（类），简称视图，是一个简单的Python 函数（类），它接受Web请求并且返回Web响应。 响应可以是一张网页的HTML内容，一个重定向，一个404错误，一个XML文档，或者一张图片。 无论视图本身包含什么逻辑，都要返回响应。代码写在哪里也无所谓，只要它 ...
分类：
其他好文 时间：
2019-05-22 13:58:44
阅读次数：
107
Linux系统用户组的管理上一节我们讲解了linux系统用户账号的管理，小猿圈加加老师带你学习下一节 Linux系统用户组的管理 每个用户都有一个用户组，系统可以对一个用户组中的所有用户进行集中管理。不同Linux 系统对用户组的规定有所不同，如Linux下的用户属于与它同名的用户组，这个用户组在创 ...
分类：
系统相关 时间：
2019-05-22 13:58:25
阅读次数：
156
打开VS：工具 --> 选项 --> 调试-->符号接下来就是选择Microsoft，然后确认 ...
分类：
数据库 时间：
2019-05-22 13:57:59
阅读次数：
112
一：安装node.js 1.进入https://nodejs.org/en/中下载自己电脑相对应的node.js。 2.将下载下来的node.js进行安装。 3.利用管理员身份打开cmd，在里面输入npm -v，查看是否安装成功 二：改变原有的环境变量 1.改变原有的环境变量，配置npm的全局模块的 ...
分类：
Windows程序 时间：
2019-05-22 13:57:38
阅读次数：
1029
一、爬虫的概念： 打印结果如下： 六、爬虫中请求报文的需要注意的： 1. 如果我们的域名后的数据过长，那么为了美观我们难免要换行，这个时候就需要注意了，如果是以下这种三引号的方式（错误）来进行换行： 打印结果为： 很明显我们可以看到，我们自己写的报文被打印出来每个\r\n的后面都多个个\n，这会导致 ...
分类：
其他好文 时间：
2019-05-22 13:57:03
阅读次数：
100
概述 已经有了cadvisor、heapster、metric-server，几乎容器运行的所有指标都能拿到，但是下面这种情况却无能为力： 我调度了多少个replicas？现在可用的有几个？ 多少个Pod是running/stopped/terminated状态？ Pod重启了多少次？ 我有多少jo ...
分类：
其他好文 时间：
2019-05-22 13:56:29
阅读次数：
555
简单分享下vue项目的开发环境搭建流程~ 1、安装nodeJS vue的运行是要依赖于node的npm的管理工具来实现，下载地址https://nodejs.org/en/。安装完成之后以管理员身份运行cmd， 输入node -v，查看node版本号，出现版本号则说明安装成功。 2、安装淘宝npm镜 ...
分类：
其他好文 时间：
2019-05-22 13:56:07
阅读次数：
92
