HTTP协议是无状态协议。但对于一个商业网站，它需要保持不同的页面间的会话信息。 如用户在网站注册过程中需要跳转页面，但又要保证之前填写的信息不丢失。 这种情况下 Cookie 很好的帮我们解决了问题。 Cookie 是如何工作的？ 几乎所有的网站设计者在进行网站设计时都使用了Cookie，因为他们 ...
分类：
其他好文 时间：
2020-05-23 18:11:40
阅读次数：
54
一、JML语言 1.理论基础 1.规格化设计 类是一个编程单位，类规格定义了类实现者和类使用者之间的契约：类实现者信任使用者能够确保所有前置条件都能被满足，类使用者信任设计者能够有效管理相应的数据和访问安全。通过这样规格契约的连接，系统的较低层次为系统的较高层次提供了服务接口，从而协同系统不同层次的 ...
分类：
其他好文 时间：
2020-05-23 18:05:26
阅读次数：
41
OO第三单元总结 一、JML理论基础 JML是设计者提供给开发者的说明书，除了消除自然语言的歧义和可供自动化测试，在大工程中规格注释可能是开发人员间效率最高的交流方式。 JML设定规格，同时有比较高的自由度，如类型规格不限制层次继承结构的设计（满足规格继承前提），抽象数据类型不限制实际使用的数据结构 ...
分类：
其他好文 时间：
2020-05-23 18:02:00
阅读次数：
58
oo第三单元总结 1.JML语言的基础理论、应用工具链情况 JML是Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为，从而避免了有关模块设计者意图的歧义。JML的目标是提供严格的形式语义，同时仍然可供任何Java程序员访问。可以利用JML的行为规范的各种工具。因为规范可以 ...
分类：
其他好文 时间：
2020-05-23 16:33:20
阅读次数：
46
JML语言的理论基础、应用工具链情况 JML 是用于 Java 的规格描述语言。我们使用 JML 来描述 Java 模块的行为，避免了对设计者意图的歧义。JML 的规格可以写到注释或者单独的文件中，所以带有 JML 规格的文件可以直接使用 Java 编译器来编译，而无需做出修改。 OpenJML 是 ...
分类：
其他好文 时间：
2020-05-22 19:07:48
阅读次数：
53
先看一下Java发展史。 Java诞生在1995年，对应的JDK工具是jdk1.0，jdk1.1。到了1999年推出了Java 2 EE （Java 2 Platform, Enterprise Edition），是一整套JAVA企业应用开发规范，对应的jdk是1.2，也叫J2EE 1.2, 此后陆 ...
分类：
其他好文 时间：
2020-05-14 10:44:40
阅读次数：
117
① Exception 和Error 都是继承了Throwable类，在Java中只有Throwable类型的实例才可以被抛出或者捕获，它是异常处理机制的基本类型。 ② Exception和Error体现了Java平台设计者对不同异常情况的分类。 ⑴Exception是程序正常运行中，可以预料的意外 ...
分类：
编程语言 时间：
2020-05-10 14:48:45
阅读次数：
89
SmartArt图形通过将文字、图形从多种不同布局、组合来表现内容和观点的逻辑关系，能够快速、有效地传达设计者的意图和信息。这种图文表达的视觉表示形式常用于PPT，Word，Excel等办公文档中。本篇文章以在PPT中创建SmartArt图形为例来介绍通过Java程序来实现的具体方法。工具：FreeSpire.PresentationforJava（免费版）Jar获取及导入：官网下载jar包，并解
分类：
编程语言 时间：
2020-05-08 09:47:09
阅读次数：
71
Photoshop是我们常用的设计软件，许多设计者为了让自己的作品更具创意性，都会下载许多的ps样式,psd素材,ps样式如何导入？接下来就一起看看吧！[dl]17-161[/dl]Photoshop插件导入教程——ps样式如何导入？小编以3D银色金属质感ps样式为例，具体步骤如下： ps样式的导入 ...
分类：
其他好文 时间：
2020-04-27 19:25:38
阅读次数：
224
github传送门为：https://nlohmann.github.io/json/ 简介 首先这个库不是奔着性能去的，设计者考虑的是：直观的语法（Intuitive syntax）、微小的整合（Trivial integration）、认真的测试（Serious testing） 至于内存效率和 ...
分类：
编程语言 时间：
2020-04-27 17:18:39
阅读次数：
77
