一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
1：泛型类、泛型方法、泛型接口、泛型委托 /// <summary> /// 泛型方法 /// </summary> public class GenericTest { public static void Show<T>(T tParameter) { Console.WriteLine("Th ...
分类：
其他好文 时间：
2020-05-22 19:00:23
阅读次数：
51
BUAA_OO_2020_UNIT3_Summary ? 本单元在阅读并理解JML规格的基础上，完成一个简单社交网络系统的迭代开发，该系统为实时在线系统，输入给出指令，需要及时给出正确的输出。训练重点为对规格的理解，数据结构和算法的选择，程序复杂度和时间的控制。 一、JML理论基础与应用工具链梳理 ...
分类：
其他好文 时间：
2020-05-22 17:20:50
阅读次数：
42
BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述，精确地描述了代码的功能，并且为测试设计提供了严密的依据。尤其在多人协同开发的时候，相比可能带有内在模糊性的自然语言描述，JML能过更清晰地 ...
分类：
其他好文 时间：
2020-05-22 12:43:52
阅读次数：
55
简易JSON字符串转换 1 /// <summary> 2 /// Json 字符串 To DataTable数据集合 3 /// </summary> 4 /// <param name="json"></param> 5 /// <returns></returns> 6 public stat ...
分类：
Web程序 时间：
2020-05-21 16:11:55
阅读次数：
58
public class ConvertDBCAndSBC { /// <summary>半角转成全角 /// 半角空格32,全角空格12288 /// 其他字符半角33~126,其他字符全角65281~65374,相差65248 /// </summary> /// <param name="in ...
可发送邮件 <?xml version="1.0" encoding="UTF8"?> <project name="ant-jmeter" default="run" basedir="."> <property name="jmeterPath" value="D:\apache-jmeter- ...
分类：
其他好文 时间：
2020-05-21 10:25:23
阅读次数：
57
Summary 在阿里云申请免费证书，得到如下三个文件 Demo # 安装软件 yum install mod_ssl openssl httpd -y # 修改配置文件/etc/httpd/conf.d/ssl.conf，将上述文件传到指定的位置上，然后修改如下配置值即可。 SSLCertific... ...
分类：
Web程序 时间：
2020-05-21 09:57:08
阅读次数：
78
Summary 在访问异常的时候展示错误页面。 Demo1 内容根据需求写，如果404.html的小于512字节的话，那么IE会认为这个错误页面不够“友好”，会忽视掉的！ 必须放置在网站根目录(www/)中 # 在httpd.conf中设置对目录开启。 AllowOverride All # 然后在... ...
分类：
Web程序 时间：
2020-05-21 09:46:56
阅读次数：
64
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 ...
分类：
其他好文 时间：
2020-05-20 12:36:25
阅读次数：
79
