OO第三单元——JML 一、梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言（Behavior Interface Speci?cation Language，BISL），基于Larch方法构建 。BISL提供了对方法和类型的规格定义 ...
分类：
其他好文 时间：
2020-05-23 18:50:55
阅读次数：
48
当设计好原理图，PCB导入网络表之后有时候有器件跑到可视界面外，并且很难手动拉回来，如图： 解决办法： 1.在编辑菜单栏下，“选中”→“区域外部”，快捷键“SO” 2.这时候鼠标会变成一个十字光标，只需要在板子画一个区域，AD软件会自动选中你所画区域外部的所有对象。 3.选中之后，选择区域内排列器件 ...
分类：
其他好文 时间：
2020-05-23 16:32:10
阅读次数：
87
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
最近学习python，安装网上教程一步一步的安装，网上很多帖子都写的非常详细，不由深深感慨多谢各位不辞辛苦的记录，指导着来自新入门的同学。 但是实际安装中，最理想莫过于一次性安装成功，但自己安装就出现各位幺蛾子的事情，我也不知道是什么原因。下面我总结了下我在安装python中遇见的问题和找到解决方案 ...
分类：
移动开发 时间：
2020-05-14 10:28:53
阅读次数：
827
方法一： 在pcb文件视图下，按下字母L，弹出如下框， 选择view options 在single layer mode 勾选ON，就可以隐藏其他层 单层显示效果如下图： 方法二：shitf+s快捷键 ...
分类：
其他好文 时间：
2020-05-13 20:23:10
阅读次数：
174
1、打开powerDesigner 按Ctrl+Shift+X 打开脚本编辑器,也可以去菜单中找(Tools --> Excute commands --> Edit/Run Script). 2、复制脚本执行即可 Option Explicit ValidationMode = True Inte ...
分类：
数据库 时间：
2020-05-08 12:51:55
阅读次数：
105
原文: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
