Part 1 JML总结 Section 1 理论基础 The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior ...
分类：
其他好文 时间：
2020-05-23 16:31:52
阅读次数：
40
第三单元总结 JML语言的理论与应用 （一）理论基础 The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior ...
分类：
其他好文 时间：
2020-05-23 13:31:44
阅读次数：
49
OO第三单元总结 JML理论基础 JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言(Behavior Interface Specification Language，BISL),基于Larch方法构建。JML以javadoc注释的方式来表示规格，每行都以@起头。而JM ...
分类：
其他好文 时间：
2020-05-20 00:19:58
阅读次数：
73
scroll-behavior属性 当用户手动导航或者 CSSOM scrolling API 触发滚动操作时，CSS 属性 scroll-behavior 为一个滚动框指定滚动行为，当用户通过鼠标滑轮滚动或者手机触屏滚动，不受这个属性的影响。在根元素中指定这个属性时，它反而适用于视窗。 scrol ...
分类：
Web程序 时间：
2020-05-15 20:06:36
阅读次数：
89
原文:Behavior Behavior翻译是行为 在WPF中Behavior的使用时必须引用Blend的程序集。 ?C:\Program Files (x86)\Microsoft SDKs\Expression\Blend\.NETFramework\v4.5\Libraries\System.... ...
分类：
其他好文 时间：
2020-05-06 01:35:59
阅读次数：
71
快捷键：Ctrl + Shift + S 路径：File（文件） --> Settings（设置） 进入 Appearance & Behavior 点击 System Settings 取消勾选 Reopen last project in startup ...
分类：
Web程序 时间：
2020-04-27 22:49:02
阅读次数：
75
什么叫事务传播行为？ 听起来挺高端的，其实很简单。 即然是传播，那么至少有两个东西，才可以发生传播。单体不不存在传播这个行为。 事务传播行为（propagation behavior）指的就是当一个事务方法被另一个事务方法调用时,这个事务方法应该如何进行。 例如：methodA事务方法调用metho ...
分类：
编程语言 时间：
2020-04-05 18:22:53
阅读次数：
131
1.IDEA 界面字体设置 File | Settings | Appearance & Behavior | Appearance ,设置的是椭圆里面的字体大小 2. 代码字体的大小 File | Settings | Editor | Font 3.全局编码格式的设置 File | Settin ...
分类：
其他好文 时间：
2020-04-01 01:08:44
阅读次数：
627
1.谈谈对WEB标准和W3C的理解？web标准有哪些优点？ WEB标准不是某一个标准，而是一系列标准的集合。网页主要由三部分组成：结构（Structure）、表现（Presentation）和行为（Behavior）。对应的标准也分三方面：结构化标准语言主要包括XHTML和XML，表现标准语言主要包 ...
分类：
Web程序 时间：
2020-03-22 01:44:57
阅读次数：
122
不知道大家会不会跟我一样遇到这样的问题，在之前做的力导向图的基础上加上缩放功能的时候，拖动节点时整体会平移不再是之前酷炫的效果（失去了拉扯的感觉！）。天啊，简直不能接受如此丑X的效果。经过不懈的努力终于解决了这个问题。 以下是事情发生的原因及解决的代码： var zoom = d3.behavior ...
分类：
Web程序 时间：
2020-03-13 10:20:47
阅读次数：
545
