1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 ...
分类：
其他好文 时间：
2020-05-22 21:38:10
阅读次数：
77
模板接口 package design_pattern.template; /** * 模板设计模式 * * 抽取一个抽象模板类，同时定义模板方法 对于模板方法的实现，在子类中去实现 * * @author 陈彦斌 * */ public abstract class GetTimeTemplate ...
分类：
其他好文 时间：
2020-05-22 00:09:59
阅读次数：
32
log4j定义了8个级别的log（除去OFF和ALL，可以说分为6个级别），优先级从高到低依次为：OFF、FATAL、ERROR、WARN、INFO、DEBUG、TRACE、 ALL。 ALL 最低等级的，用于打开所有日志记录。 TRACE designates finer-grained info ...
分类：
其他好文 时间：
2020-05-21 19:48:37
阅读次数：
65
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
从原始数据创建新特征是改进模型的最佳方法之一 例如，数据有很长连续时间的，我们可以把最近一周的提取出来作为一个新的特征 1. 组合特征 最简单方法之一是组合特征 例如，如果一条记录的国家/地区为"CA"，类别为"Music"，则可以创建一个新值" CA_Music" 可以从所有分类特征中构建组合特征 ...
分类：
其他好文 时间：
2020-05-21 16:11:40
阅读次数：
58
参考地址：https://design-patterns.readthedocs.io/zh_CN/latest/read_uml.html#id4 从一个示例开始 车的类图结构为<<abstract>>，表示车是一个抽象类； 它有两个继承类：小汽车和自行车；它们之间的关系为实现关系，使用带空心箭头 ...
分类：
其他好文 时间：
2020-05-20 12:06:33
阅读次数：
74
rpx是微信小程序新推出的一个单位，按官方的定义，rpx可以根据屏幕宽度进行自适应，在rpx出现之前，web页面的自适应布局已经有了多种解决方案，为什么微信还捣鼓出新的rpx单位？在解释这个单位前，我们先简单了解一下目前的主流的自适应布局解决方案： 响应式（Responsive web design ...
分类：
微信 时间：
2020-05-19 20:29:30
阅读次数：
101
官网链接： Configuring a DbContext https://docs.microsoft.com/en-us/ef/core/miscellaneous/configuring-dbcontext Design-time DbContext Creation https://docs ...
分类：
数据库 时间：
2020-05-19 12:47:34
阅读次数：
85
在多数业务情况下，Ant Design需要在设计区域内解决大量信息收纳的问题，因此在 12 栅格系统的基础上，我们将整个设计建议区域按照 24 等分的原则进行划分。 划分之后的信息区块我们称之为『盒子』。建议横向排列的盒子数量最多四个，最少一个。『盒子』在整个屏幕上占比见上图。设计部分基于盒子的单位 ...
分类：
其他好文 时间：
2020-05-19 10:57:28
阅读次数：
118
