E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
应用工具
Matlab Simulink系统仿真(01)
Matlab简介Matlab基本界面介绍Matlab的主要特点1.具有丰富的数学功能2.具有很好的图视系统3.可以直接处理声音和图形文件4.具有若干功能强大的
应用工具
箱5.使用方便,具有很好的扩展功能6
高山流水123a s d
·
2020-06-23 14:23
matlab
Butterknife快速入门应用
Butterknife快速入门
应用工具
和版本创建于2018-01-20当前butterknife版本8.8.1'androidstudio版本3.0背景BindAndroidviewsandcallbackstofieldsandmethods.butterknife
侯念懵
·
2020-06-23 13:22
2019北航面向对象第三单元总结
一、JML语言的理论基础及
应用工具
链1.1JML语言的理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
denglili2090
·
2020-06-23 03:56
【面向对象】第三单元规格化设计总结——JML
目录一、梳理JML语言的理论基础、
应用工具
链情况关于JML(JavaModelingLanguage)JML语法JML相关工具链openJML的使用转机二、部署SMTSolver三、实现自动生成测试用例使用
aiqs2012
·
2020-06-22 13:43
BUAA面向对象设计与构造——第三单元总结
BUAA面向对象设计与构造——第三单元总结1.JML语言及
应用工具
链JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
a5a5a554321
·
2020-06-22 11:25
希沃亮相第二届郑州教博会,新品方案引聚焦
开幕式希沃致辞:专注于教育这一件事开幕式在上午举行,希沃校务事业部总经理李政涛代表优秀企业进行致辞:“作为教育信息化
应用工具
提供
seewo希沃
·
2020-06-21 22:26
Java线程
多线程程序GUI
应用工具
耗时I/O处理服务器程序游戏Thread的start方法启动新线程调用run方法并发当只有一个CPU时,并发实际上可以当成顺序执行当有多个CPU时可以当成并行执行线程的启动利用Tread
writeInTime
·
2020-06-21 20:18
数据挖掘与数据分析
数据挖掘和数据分析的不同之处:1、在
应用工具
上,数据挖掘一般要通过自己的编程来实现需要掌握编程语言;而数据分析更多的是借助现有的分析工具进行。
qq2648008726
·
2020-06-21 08:49
#
数据科学
Data_Science
&
Statistics
蜕变记之目标管理7
太原沙龙结束,整理复盘整个沙龙的收获,不止一次,老师在做沙龙的时候有说到,性格色彩做为一门
应用工具
的基础工具而存在,先学习人性,了解人性,再去学习一些沟通类、管理类的课程,对自己帮助会很大;比如性格色彩的洞见
虫儿蛹
·
2020-06-21 08:34
特斯拉“令人意外”
正因如此,诸如微软
应用工具
和远程视频公司Zoom市值出现了较快增长。但若远程在家办公的趋势一直持续的话,消费者们对于汽车的需求将肯定会出现一定程度的下滑。首当其冲的特斯拉肯定会受到影响。
DoNews
·
2020-06-04 00:00
OO第三单元总结
一.JML理论基础及
应用工具
链1.理论基础原子表达式\result:表示一个非void的方法执行后的返回值。
darewolf
·
2020-05-23 21:00
OO第三单元作业总结
一、JML语言的理论基础、
应用工具
链情况JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
18373126
·
2020-05-23 21:00
OO第三次作业总结
OO第三次作业总结梳理JML语言的理论基础、
应用工具
链情况JML语言有点类似于离散数学,用规范化的方式去描述类的属性以及方法。
yummy_taro
·
2020-05-23 21:00
第三单元作业总结
OO第三单元总结一、JML语言基础及
应用工具
链JML语言是为了明确、清晰描述行为而诞生的,其表述逻辑清晰,并且最重要的是没有二义性。
联会与分离
·
2020-05-23 21:00
面向对象第三单元总结博客
一、JML语言理论基础及
应用工具
链情况(1)JML的程序语言理论JML(java建模语言)是一种行为接口规格语言(behavioralinterfacespecificationlanguage),用于指定
17373128
·
2020-05-23 21:00
面向对象第三单元总结与心得体会
一、JML理论基础以及
应用工具
链(一)什么是JMLJML全称JavaModelingLanguage,是一种描述模块规格的语言。
zzy122530
·
2020-05-23 21:00
BUAAOOUnit3总结分析
OOUnit3总结分析目录OOUnit3总结分析JML理论基础注释结构JML表达式方法规格类型规格
应用工具
链OpenJMLJMLUnitNGJMLUnitNG/JMLUnit部署架构设计Task1Task2Task3BUG
JChris
·
2020-05-23 21:00
OO第三单元总结
梳理JML语言的理论基础、
应用工具
链情况首先我们说一下契约式设计,契约式设计(DesignbyContract)是一种开发软件的新思路。
dzcq
·
2020-05-23 20:00
第三单元总结
2、JML
应用工具
链JML常用有三个工具链:OpenJML:检查JML规格是否正确SMTSolve
white8
·
2020-05-23 20:00
OO第三单元总结
OO第三单元总结一、梳理JML语言的理论基础、
应用工具
链情况1、JML语言的理论基础JML语言确实是个好东西,JML是一种规格化的语言,JML采用了一种信任机制,通过JML语言,实现者信赖使用者一定是按照规格规定的条件来使用的
RiverTan
·
2020-05-23 20:00
OO Unit3 总结
OOUnit3总结OO课Unit3人际关系网JML应用技术回顾BUAA.1823.邓新宇2020/5/23梳理JML语言的理论基础、
应用工具
链情况方法规格JML中,同一个方法在不同的条件下会产生不同的行为
SnowPhoenix
·
2020-05-23 20:00
OO_UNIT3_Summary
目录一、JML语言的理论基础与
应用工具
链JML语法二、JMLUnitNG/JMLUnit三、作业分析第一次作业第二次作业第三次作业总结四、bug与修复五、心得体会一、JML语言的理论基础与
应用工具
链JML
h789
·
2020-05-23 19:00
OO第三单元总结
1.JML理论基础及
应用工具
链:JML表达式:原子表达式\result表达式:表示一个非void类型的方法执行所获得的结果,即方法执行后的返回值。\old(expr)表达式:用来表示
Laffird
·
2020-05-23 19:00
OO第三单元总结
OO第三单元总结一、JML语言的理论基础及
应用工具
链(1)JML语言理论基础1.原子表达式:\result表示非void类型的方法执行所获得的结果,即方法执行后的返回值。
困于街头
·
2020-05-23 19:00
OO第三单元总结
1.梳理JML语言的理论基础、
应用工具
链情况JML简介:JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
lyx1837
·
2020-05-23 19:00
OO第三单元总结
JML语言的理论基础、
应用工具
链JML语言JML是一种面向JAVA,形式化的行为接口规格语言。
菓菓果子
·
2020-05-23 19:00
OO-Unit3-总结
OO第三单元JML总结一、JML理论基础与
应用工具
链1、JML理论基础JML是JAVAModelingLanguage的简称,主要用于对java程序进行规格化设计,是一种基于Larch方法构建的行为接口规格语言
陆开翔
·
2020-05-23 19:00
BUAA_OO_2020_Unit3_Summary
JML语言的理论基础、
应用工具
链情况JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
Zhao_xc
·
2020-05-23 18:00
OO第三单元总结
1.理论基础与
应用工具
链1.1.理论基础1)注释结构以@开头,行注释//@,块注释/*@@*/,纯粹查询方法/*@pure@*/。规格中每个子句都必须以;结尾。
18231002
·
2020-05-23 18:00
OO第三单元总结
JML理论基础和
应用工具
链JML定义JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
lpc??
·
2020-05-23 18:00
OO第三单元总结——JML
OO第三单元总结——JML一、梳理JML语言的理论基础、
应用工具
链情况JML语言理论基础JML是一种形式化的、面向JAVA的行为接口规格语言(BehaviorInterfaceSpecificationLanguage
kkk7777
·
2020-05-23 17:00
OO第三单元作业总结
梳理JML语言的理论基础、
应用工具
链情况JML语言是一种用于对Java程序进行规格化设计的表示语言,JML主要用于开展规格化设计、提高代码的可维护性。
jlysll
·
2020-05-23 17:00
BUAA_OO_Unit3_Review
OO_Unit2_Review一.JML语言的理论基础、
应用工具
链1.JML语言的理论基础JavaModelingLanguage(JML)是一种规范的注释语言,用于规定类的行为和接口。
Hofie
·
2020-05-23 17:00
OO第三单元总结
目录OO第三单元总结1梳理JML语言的理论基础、
应用工具
链情况1.1理论基础1.1.1表达式1.1.2方法规格1.1.3类型规格1.2
应用工具
链情况1.2.1openJML1.2.2JMLUnitNG2
AhaSokach
·
2020-05-23 17:00
OOUnit3
第三单元总结一、JML理论基础、
应用工具
链1.1理论基础1.1.1简述JML是实现数据抽象的一种规格语言,通过前置条件、后置条件、副作用、异常行为等来约束方法的预期功能,在实现方法代码前完成约束和设计。
のはら塩
·
2020-05-23 17:00
OO_UINT3_2020
OO_UNIT3_SUMMARY一:JML语言的理论基础、
应用工具
链情况1)JML理论基础:常用JML表达式:\result表达式:表示一个非void类型的方法执行所获得的结果,即方法执行后的返回值\old
ScorpioWZ
·
2020-05-23 16:00
OO第三单元总结
OO第三单元总结目录OO第三单元总结一、JML理论总结表达式方法规格类型规格二、
应用工具
链三、JMLUnitNG部署四、架构分析第一次作业第二次作业第三次作业五、bug分析与修复六、心得体会本单元的内容是根据课程组给出的
18231143
·
2020-05-23 16:00
Unit 3 Summary
Unit3Summaryby刘登元目录Unit3SummaryJMLJML语言理论基础表达式方法规格类型规格
应用工具
链openjmlSMTSolverJMLUnitNG部署SMTSolver部署JMLUnitNG
Stitch11752
·
2020-05-23 16:00
OO第三单元博客
一、JML的语言基础、
应用工具
链的情况1.1JML理论基础JML是对JAVA程序进行规格化设计的一种表示语言。可以用来开展规格化的设计,也可以针对已有的代码写出其规格,从而方便进行维护和提高可读性。
whitering
·
2020-05-23 16:00
OO第三单元总结
一、梳理JML语言的理论基础、
应用工具
链情况JML以javadoc注释的方式来表示规格,每行以@起头。其中行注释为“//@annotation”,块注释为“/*@annotation...@*/”。
Ruby7
·
2020-05-23 16:00
OO第三单元总结
oo第三单元总结1.JML语言的基础理论、
应用工具
链情况JML是Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为,从而避免了有关模块设计者意图的歧义。
shmoo
·
2020-05-23 15:00
面对对象编程 之 第三单元总结
面向对象编程之第三单元总结针对第三单元的三次作业和课程内容,在独立思考的前提下在博客园完成技术博客的撰写(1)梳理JML语言的理论基础、
应用工具
链情况(2)(选做,能较为完善完成的酌情加分)部署SMTSolver
daytripper
·
2020-05-23 14:00
OO第三单元总结
OO第三单元总结一、JML理论基础及
应用工具
链1.JML理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
OmedetoHe
·
2020-05-23 14:00
OO第三单元小结
一、JML理论基础及
应用工具
链1、JML理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
林间九月
·
2020-05-23 13:00
OO第三单元总结
OO第三单元总结目录OO第三单元总结一、JML理论基础、
应用工具
链情况JML理论基础JML
应用工具
链情况二、部署JMLUnitNG三、架构设计工程结构算法设计三、出现的BUG以及测试方式我出现的BUG我
Stranger130
·
2020-05-23 13:00
北航oo第三单元总结
JML理论基础,
应用工具
链情况理论基础JML是用于对Java程序进行规格化设计的一种表示语言。从理论角度,JML要求方法和数据类型在特定的时刻满足特定的谓词逻辑,因此JML语言没有二义性。
言-午
·
2020-05-23 12:00
BUAA_OO_Unit3_Summary
一.JML语言理论基础与
应用工具
链1.JML简介JML(JavaMudelingLanguage)是一种语言行为规范,通过规范化的语句描述,约束了模块的行为。
罗毅轩-18373760
·
2020-05-23 12:00
OO第三单元——JML之破分大法
一.Jml总结及
应用工具
链总的来说,jml就是对java程序进行规格化设计的一种表示语言,其中最核心的就是规格化,将代码要实现的功能和各项要求与约束不是通过自然语言,而是通过严密的逻辑语言来表达,这样让代码实现人员看的更加简洁明了
B-two-W
·
2020-05-23 12:00
OO_2020_Unit3总结
一、JML语言的理论与
应用工具
链JML语言是对一个方法、类、程序的外部可感知行为进行抽象表示的规格化语言,它具有两个重要的特征。第一点:JML语言是抽象的。
marvinhehehe
·
2020-05-23 12:00
OO第三单元总结
梳理JML语言的理论基础、
应用工具
链情况理论基础JML是用来对JAVA程序进行规格化描述的表示语言。规格变量声明:如//@publicstaticmodelnon_nullint[]elements。
Zars19
·
2020-05-23 11:00
上一页
3
4
5
6
7
8
9
10
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他