高并发 Nginx+Lua OpenResty系列（10）——商品详情页 https://www.cnblogs.com/babycomeon/p/11109512.html 本章以京东商品详情页为例，京东商品详情页虽然仅是单个页面，但是其数据聚合源是非常多的，除了一些实时性要求比较高的如价格、库存 ...
分类：
其他好文 时间：
2020-05-27 15:17:47
阅读次数：
69
团队项目之需求规格说明书 一.题目 高校调查问卷管理系统 二.任务描述及目的 任务描述 根据需求分析阶段性成果物 ，编制完整的需求规格说明书 任务目的 一方面锻炼需求分析文档编写能力，另一方面通过对内容评价，掌握需求分析方法 三.团队分工 引言部分及阶段报告 叶鸿（主要） 其他成员参与讨论 项目概述 ...
分类：
其他好文 时间：
2020-05-25 21:01:42
阅读次数：
93
虚幻2 hint：1. 汉信码 2. 图片要转转 3. 暴力修补 知识点 先知道汉信码长啥样 4个脚是定位点，圈出来的辅助定位点一圈是白的 题解 得31 31规格的码，对照一下，不一样？整体逆时针旋转90度，得到： 后来看fz大佬的wp，那样不行，转转转不会那么简单随便 将res.png逆时针旋转1 ...
分类：
其他好文 时间：
2020-05-24 09:27:03
阅读次数：
80
一、理论基础 1.什么是JML JML，即Java Modeling Language，是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口 、规格语言（Behavior Interface Speci?cation Language，BISL），基于Larch方法构建。BISL提 ...
分类：
其他好文 时间：
2020-05-23 21:52:12
阅读次数：
56
JML语言的理论基础 什么是JML？ JML是一种形式化的、面向JAVA的行为接口规格语言。 JML拥有坚实的理论基础。 JML使用Javadoc的注释方式。 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annot ...
分类：
其他好文 时间：
2020-05-23 21:51:39
阅读次数：
61
OO第三单元JML总结 一、JML理论基础与应用工具链 1、JML理论基础 JML是JAVA Modeling Language的简称，主要用于对java程序进行规格化设计，是一种基于Larch方法构建的行为接口规格语言。 JML的优点在于它的精准性与可读性。在设计规格时，如果使用自然语言，那么很有 ...
分类：
其他好文 时间：
2020-05-23 20:42:19
阅读次数：
61
1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 ...
分类：
其他好文 时间：
2020-05-23 20:40:22
阅读次数：
58
JML语言的理论基础、应用工具链 JML语言 JML是一种面向JAVA，形式化的行为接口规格语言。 JML表达式 原子表达式 ：方法执行后的返回值 ：一个表达式 在相应方法执行前的取值 ：返回 表示括号中的变量在方法执行过程中没有被赋值， 则表示被赋值 ：限制括号中的变量在方法执行期间取值不发生变化 ...
分类：
其他好文 时间：
2020-05-23 20:25:38
阅读次数：
59
1.梳理JML语言的理论基础、应用工具链情况 JML简介： JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL)，基于La ...
分类：
其他好文 时间：
2020-05-23 20:14:55
阅读次数：
50
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
