# 数据处理 ## 一、前置处理器 ### 1、Example1: 拼接Sign签名 接口地址 http://{{host}}/api2/OpenAccountApi.getUserToken 请求方式 POST 请求参数 ?_app_key=[]&_time=[]&_sign=[] 请求正文 {“ ...
分类：
其他好文 时间：
2020-05-25 19:32:21
阅读次数：
59
web框架推导过程 1 纯手撸web框架 1.1 前置知识点 1.2 实现思路 2 半手撸web框架(借助于wsgiref模块) 2.1 wsgiref模块 通过wsgiref模块 便捷的建立服务端,专注于写核心的业务逻辑代码(视图函数以及url与视图函数的对应关系) 2.2 动静态网页 2.2.1 ...
分类：
Web程序 时间：
2020-05-24 23:57:43
阅读次数：
101
前置 希望通过这篇文章帮助你很好的适配移动端项目，如有不足，恳请指点一二！ 单位 分辨率: 单位面积显示像素的数量，和 css 无关 DPI：图像每英寸长度内的像素点数（1 英尺=30.48 厘米） css 的 px: 96 DPI 的单像素的物理大小 物理像素：在由一个数字序列表示的图像中的一个最 ...
分类：
移动开发 时间：
2020-05-24 09:32:57
阅读次数：
102
一、JML语言 1.理论基础 1.规格化设计 类是一个编程单位，类规格定义了类实现者和类使用者之间的契约：类实现者信任使用者能够确保所有前置条件都能被满足，类使用者信任设计者能够有效管理相应的数据和访问安全。通过这样规格契约的连接，系统的较低层次为系统的较高层次提供了服务接口，从而协同系统不同层次的 ...
分类：
其他好文 时间：
2020-05-23 18:05:26
阅读次数：
41
第三单元总结 一、JML理论基础、应用工具链 1.1 理论基础 1.1.1 简述 JML是实现数据抽象的一种规格语言，通过前置条件、后置条件、副作用、异常行为等来约束方法的预期功能，在实现方法代码前完成约束和设计。 1.1.2 基本语法 前置条件 表示调用一个方法前所必须满足的要求，该要求需要由方法 ...
分类：
其他好文 时间：
2020-05-23 18:02:53
阅读次数：
53
冒泡排序 前置知识 确定数组需要传入两个参数： 数组的首地址和数组元素的个数 冒泡规则，假设一个 int a[5] 的数组，升序规则如下 ? 第一次排序 : 1. a[0]与a[1]比较，大的值放在a[1]，小的值放在a[0]; 2. a[1]与a[2]比较，大的值放在a[2]，小的值放在a[1]; ...
分类：
编程语言 时间：
2020-05-23 12:56:43
阅读次数：
52
JML单元总结 JML理论基础及应用工具链 理论基础 JML设计源自契约式设计的需要，我个人的理解是它是一种功能要求的表述，要求写程序的人按照这个要求去实现功能。 1.方法规格 前置条件： 后置条件： 副作用：放在 之后，表示需要被修改的对象属性及类静态变量 pure方法：使用 ，表示该方法可以被其 ...
分类：
其他好文 时间：
2020-05-23 00:37:22
阅读次数：
55
在软件开发中针对用户的输入往往不是我们所期待的那样（不满足前置条件），有时候软件内部往往也会出现一些我们不易察觉的错误，针对这种情况，一些人持有乐观的态度，而另外一些人则从一个其他的事情中得到了启发：即由防御式驾驶而想到的防御式编程。 所谓防御式编程，指的就是这样一件事情：即我们假定使用者都是白痴， ...
分类：
其他好文 时间：
2020-05-22 22:57:42
阅读次数：
96
[toc] 前言 你以为你学的是JML，你以为你在学规格，你以为你上的课程叫OO。 哦，这些都没有错。 什么程序不能掺点算法题呢？\\ _ / 关于JML JML是什么 JML（java modeling language）是一种描述代码行为的语言，包括前置条件、副作用等等。JML是一种行为接口规格 ...
分类：
其他好文 时间：
2020-05-22 21:03:00
阅读次数：
60
JML理论基础 基本概念 以下内容来自我~~瞎~~翻译的维基百科： JML是一种java的 规约语言 ，使用了Hoare风格的 前置，后置，和不变量 约束条件，用来遵守 契约式设计 的要求。 这里面指出了JML的几个特点： 是java使用的规约语言~~（递归查询Specification Langu ...
分类：
其他好文 时间：
2020-05-22 09:30:01
阅读次数：
61
