一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
对于图片上传，大家一定不陌生。最近工作中遇到了关于图片上传的内容，借此机会认真研究了一番，遂一发不可收拾，最后琢磨了一个东西出来。在开发的过程中有不少的体会，于是打算写一篇文章分享一下心得体会。本文将会以这个名为Dolu的项目为例子，一步步介绍我是如何进行环境搭建、代码设计以及实际开发的。内容较多， ...
分类：
Web程序 时间：
2020-05-16 00:58:53
阅读次数：
82
工作两个多月了，反思记录心得体会。 不要总是问。尽量一天三个问题，这可以保证每个问题都是经过思考的，并获得别人尊重，剩下的问题基本都能靠百度解决，只是时间问题。 探索代码框架，一直很被动的原因就是不了解框架，因此不知道怎么入手，不知道从哪来到哪去，探索框架主要靠导师讲解，其次自己主动探索，再其次补充 ...
分类：
其他好文 时间：
2020-05-11 22:05:28
阅读次数：
57
1.内容小结 数据结构第四章学习的是串，数组和广义表。重点学习了串和串的模式匹配和数组的压缩存储 两个串模式匹配算法 1.BF算法 BF算法的思想就是将目标串第一个字符与模式串的第一个字符进行匹配，若相等，则继续比较的第二个字符； 若不相等，则比较原字符串的第二个字符和模式串的第一个字符，依次比较下 ...
分类：
其他好文 时间：
2020-05-05 23:10:52
阅读次数：
74
RATE MAX alpha冲刺第九天 组员讨论成果规划 |组员|昨日成果|今日计划&进度（尽量详细）|存在问题|心得体会（困难）|解决方案| | |: : |: : |: : |: : |: : | |洪楷滨|编写管理员部分接口（app端）|测试模块功能、修改bug|前端代码版本多样及交互冲突|| ...
分类：
其他好文 时间：
2020-05-05 00:55:55
阅读次数：
72
RATE MAX alpha冲刺第十天 组员讨论成果规划 |组员|昨日成果|今日计划&进度（尽量详细）|存在问题|心得体会（困难）|解决方案| | |: : |: : |: : |: : |: : | |洪楷滨|测试各个模块的功能、整合|整合代码发布到github|||测试人员统一版本测试发布| | ...
分类：
其他好文 时间：
2020-05-05 00:25:47
阅读次数：
95
一、内容小结 数据结构第四章学习的是串，数组和广义表 串的定义其实在c++学习中就有所接触，串的逻辑结构和线性表极为相似，区别仅在于串的数据对象约束为字符集。在线性表的基本操作中，大多以“单个元素” 作为操作对象，在串的基本操作中，通常以“串的整体”作为操作对象， 重点说的是两个串模式匹配算法 1. ...
分类：
其他好文 时间：
2020-05-04 19:38:42
阅读次数：
89
一、本章学习小结：第四章主要学习了串、数组和广义表，与以前学习的区别在于，本章将它们视为线性表。 1）串是内容受限的线性表，考虑到存储效率和算法方便性，一般采用顺序存储结构；考虑到串变量相差较大，可采用动态分配的方法；为了便于操作，可增设尾指针。 串的主要应用场景是模式匹配，其中有BF算法和KMP算 ...
分类：
其他好文 时间：
2020-05-04 12:59:26
阅读次数：
68
我最近从Web安全开始学习二进制安全，分享一下自己学习过程的收获和心得体会 ...
分类：
其他好文 时间：
2020-04-23 19:30:46
阅读次数：
88
