jml

OO第三次博客作业

一、JML基础梳理JML语言的理论基础、应用工具链情况。语言介绍JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。
Potassium·2020-05-20 00:00

BUAAOO Unit3 形式化规格约束下进行编程

§3形式化规格约束下进行编程S1JML相关梳理P0作用1）描述方法的功能，参数要求和输出结果，异常和正常行为2）结合JML检查工具可以检测代码是否实现了预期功能，或者自动生成测试样例P1语法0）注释格式
TwoBeNo_0·2020-05-19 23:00

BUAA_OO_2020_Unit3_Overview

JML理论梳理与工具链分析JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。
LittleNyima·2020-05-19 22:00

北航OO（2020）第三单元博客作业

北航OO（2020）第三单元博客作业目录北航OO（2020）第三单元博客作业JML语言总结理论基础规格变量的声明常用表达式方法规格类型规格应用工具链情况OpenJML验证情况ParsingandType-checkingExtendedStaticCheckingRuntimeAssertionCheckingJMLUnitNG
__ref·2020-05-19 20:00

BUAA_OO_2020_第三单元总结

BUAA_OO_2020_第三单元总结JML理论基础简介JML(JavaModelingLanguage)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为
圆*·2020-05-19 16:00

第三单元博客总结

第三单元博客总结这一单元，主要是进行的JML的使用，以及考察了对于容器，对于算法选择时候的时间复杂度的控制。
润羽るしあ单推人·2020-05-19 14:00

0102《说话的魅力》第4遍 70%

JML的投诉一直处理的磕磕绊绊，虽然明知对方配合态度欠妥，却只能憋着火慢慢推进。LCQ的材料一直没到位，我再也忍不住在群里发飙了。ATI的发货像挤牙膏，我像风箱里的老鼠，两头受气。
高小蔚·2019-12-31 02:20

BUAA-OO第四单元小结

从第一单元的多项式的求导，到第二单元的电梯，再到第三单元的JML规格的理解与应用，最后到第四单元的解析UML，循序渐进，使我对java面向对象的的认识更加透彻理解更加深刻。
17373033·2019-06-24 17:00

Ohmr的UML作业

第四次作业以UML图为核心，借助官方解析库，将UML图中的信息提取出来反馈给评测机，整体架构与第三次作业（JML）大同小异。
Ohmr·2019-06-24 12:00

Object-Oriented Programming Summary Ⅲ

JML单元作业博客17373492目录JML单元作业博客1.1梳理JML语言的理论基础0.前言WhatJML?WhyJML?howJML?
CookieLau·2019-05-22 21:00

OO第三单元总结

一、梳理JML语言的理论基础、应用工具链情况JML以javadoc注释的方式来表示规格，每行以@起头。其中行注释为“//@annotation”，块注释为“/*@annotation...@*/”。
Ruby7·2019-05-22 21:00

OO第三单元作业小结

一.梳理JML的语言基础和应用工具链情况。（1）JML语言理论基础。第三单元的任务主要是基于JML规格实现某些类中的某些方法，因此，读懂JML就成了完成此次作业的第一步。
Luocx·2019-05-22 21:00

OO第三单元总结——JML规格

一、JML简介1.JML语言的理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
favourLZH·2019-05-22 20:00

OO第三单元总结

一、JML语言理论基础，应用工具链情况1.1JML语言的理论基础JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
1506zzn·2019-05-22 20:00

OO第三次博客作业

OO第三次博客作业jml基础知识梳理jml工具运用jmluniting/jmlunit第三单元架构迭代分析代码实现&bug修复规格撰写体会(1)jml基础知识梳理：常用：pure：纯粹查询，无任何副作用
HugeGun·2019-05-22 20:00

OO第三单元博客作业

一、JML语言及工具JML是javamodelinglanguage的缩写，用于对Java程序进行规格化设计的一种表示语言，可以用来描述一段代码的具体行为，比如前置条件、副作用、后置条件等。
kezi~·2019-05-22 20:00

面向对象第三单元总结

前言第三单元的三次作业围绕JML语言展开，和前两个单元一样是难度递进的模式，下一次作业都是上一次作业的扩展和丰富，但是因为有了JML语言的支撑，我对规格化思想和契约式设计有了更深的感受。
Morino·2019-05-22 19:00

OO2019第三单元作业总结

JML语言基础及应用工具链1.1JML语言基础JML是对java程序进行规格化设计的一种表示语言。它主要有两种用途：（1）开展规格化设计（2）针对已有代码实现，书写规格，增加代码可维护性。
GYF325·2019-05-22 18:00

OO第三单元作业总结

一、JML的理论基础应用工具链JML是用于对Java程序进行规格化设计的一种表示语言。基于Larch方法构建。(1)注释JML以javadoc注释的方式来表示规格，每行都以@起头。
无名咸鱼·2019-05-22 18:00

OO第三单元——JML规格化设计

OO第三单元——JML规格化设计JML语言的理论基础以及应用工具链情况理论基础JML是对JAVA程序进行规格化设计的一种表示语言，是一种行为接口规格语言。
zhyiuxan·2019-05-22 17:00

oo第三单元总结

一、JML理论基础JML就是用于对JAVA程序设计逻辑的预先约定的一种语言，以便正确严格高效地完成程序以及展开测试，是一种行为接口规格语言。
hurryup·2019-05-22 17:00

OO 2019 第三单元博客作业

1.JML语言的理论基础&应用工具链情况JML概述Java建模语言（JML）是Java程序的规范语言，它使用Hoare风格的前后条件和不变量，遵循契约范式的设计。
Michael_张金源·2019-05-22 16:00

2019年北航OO第三单元（JML规格任务）总结

一、JML简介1.1JML与契约式设计说起JML，就不得不提到契约式设计（DesignbyContract）。这种设计模式的始祖是1986年的Eiffel语言。
Sheryc·2019-05-22 13:00

第三次博客作业

目录JML语言与工具链JUnit部署与使用三次作业架构分析代码实现中的bug和修复情况心得体会JML语言与工具链什么是JMLTheJavaModelingLanguage(JML)isabehavioralinterfacespecificationlanguagethatcanbeusedtospecifythebehaviorofJavamodules.Itcombinesthedesignb
yzy11235·2019-05-22 12:00

OO第三单元总结

JML理论基础JML是对Java程序进行规格化设计的一种表示语言。一般而言，JML有两种主要的用法：开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。
MountVoom·2019-05-22 12:00

OO第三单元单元总结

目录JML知识梳理部署JMLUnitNG/JMLUnit按照作业梳理自己的架构设计，并特别分析迭代中对架构的重构按照作业分析代码实现的bug和修复情况阐述对规格撰写和理解上的心得体会JML知识梳理JML
Aackkom·2019-05-22 10:00

OO第三单元总结——JML

一、梳理JML语言的理论基础、应用工具链情况理论基础：JML(JavaModelingLanguage)是用于对Java程序进行规格化设计的一种表示语言。
Zf_Wan·2019-05-22 00:00

OO第三单元——规格化设计与地铁系统——总结

OO第三单元——JML的使用与地铁系统梳理JML语言的理论基础、应用工具链情况JMLTheJavaModelingLanguage(JML)isaspecificationlanguageforJavaprograms
login256·2019-05-22 00:00

第三单元总结：JML规格定义下的程序设计、验证与测试

JML语言及工具JML语言理论JML语言利用前置条件、后置条件、不变式等约束语法，描述了Java程序的数据、方法、类的规格，是一种契约式程序设计的实现工具。
weixin_30458043·2019-05-21 23:00

面向对象设计与构造2019 第三单元总结博客作业

面向对象设计与构造2019第三单元总结博客作业作业回顾3.1JML（Path，PathContainer）3.2JML+（Graph）3.3JML++（RailwaySystem）一、JML语言的理论基础和工具链
sharinka·2019-05-21 23:00

OO第三单元总结——规格不易

目录JML的理论基础和应用工具链SMT验证JMLUnitNG测试架构设计Bug分析心得体会一、JML的理论基础和应用工具链：理论基础：JML是一种基于Larch方法构建的行为接口规格语言。
Nemory·2019-05-21 23:00

BUAAOO-Third-Summary

目录从DBC到JMLSMTsolver使用JMLtoolchain的可视化输出和我的测试结果规格的完善策略架构设计debug情况心得体会一、从DBC到JML契约式设计（DesignbyContract）
I_love_SE_forever·2019-05-21 22:00

面向对象第三单元感想

第一次作业丝毫不了解JML，在实现规格要求的时侯没能正确理解规格的要求。在逐渐熟悉JML的过程中，之后的两次作业所分配的时间都用来填补第一次作业的坑了，第二次作业也仅完成大半。
许文广·2019-05-21 21:00

面向对象第三单元总结

一、JML语言的理论基础和应用工具链理论基础JML是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。
柠檬草Ian·2019-05-21 19:00

面向对象第三单元总结

面向对象第三单元总结作业要求一、JML语言理论基础及其工具链1、JML语言理论基础JML是用于对Java程序进行规格化设计的一种表示语言，是一种行为接口规格语言，基于Larch方法构建，BISL提供了对方法和类型的规格定义手段
到下面玩跑步·2019-05-21 19:00

【面向对象】第三单元总结

面向对象第三次作业总结JML基础梳理及工具链注释结构行注释：//@annotation块注释：/*@annotation@*/两种注释方法均适用@开头，并将JML注释放在被注释成分的近邻上部。
MagicJim·2019-05-21 09:00

阿里云linux系统centOS版本服务器安装jdk8

工具：上传tomcat到服务器工具，连接给你自行下载：上传工具(提取码：9oeq)linux版本的jdk8：jdk8(提取码：jml2)远程连接服务器操作服务器的工具：远程操作服务器的工具(提取码：6q70
Lonely || Soul·2018-12-07 12:13

网络15软工个人作业5——软件工程总结

原文链接：http://www.cnblogs.com/JML1225/p/9195225.html一、请回望开学时的第一次作业，你对于软件工程课程的想象1.对比开篇博客你对课程目标和期待，“希望通过实践锻炼
ai13767662383·2018-06-18 16:00

局部刷新的js分页插件

（一）splitPage.js分页插件直接copy就能使用/****功能:局部刷新分页显示表格内容*作者:JML*版本:1.0*备注:自己封装的局部刷新分页插件,主要是想了解一下分页插件是如何运作的*缺陷
dwl假行僧·2016-07-01 20:41

局部刷新的js分页插件

（一）splitPage.js分页插件直接copy就能使用：/****功能:局部刷新分页显示表格内容*作者:JML*版本:1.0*备注:自己封装的局部刷新分页插件,主要是想了解一下分页插件是如何运作的*
Admin_king·2016-07-01 20:00

局部刷新的js分页插件

（一）splitPage.js分页插件直接copy就能使用：/*** *功能:局部刷新分页显示表格内容 *作者:JML *版本:1.0 *备注:自己封装的局部刷新分页插件,主要是想了解一下分页插件是如何运作的
Admin_king·2016-07-01 20:00

局部刷新的js分页插件

（一）splitPage.js分页插件直接copy就能使用：/****功能:局部刷新分页显示表格内容*作者:JML*版本:1.0*备注:自己封装的局部刷新分页插件,主要是想了解一下分页插件是如何运作的*
Admin_king·2016-07-01 20:00

局部刷新的js分页插件

（一）splitPage.js分页插件直接copy就能使用：/****功能:局部刷新分页显示表格内容*作者:JML*版本:1.0*备注:自己封装的局部刷新分页插件,主要是想了解一下分页插件是如何运作的*
Admin_king·2016-07-01 20:00

【Ansible】02、Ansible深入

一、简介YAML语言（发音/jml/）的设计目标，就是方便人类读写。它实质上是一种通用的数据串行化格式。它的基本语法规则如下。
xiexiaojun·2016-01-18 18:14

Active MQ技术文章(JMS)

nbsp;http://huangrongyou.iteye.com/blog/1533129   将已经有的MQ的Demo代码发送到博客上 如何部署自己部署MQ   JML
·2015-11-02 18:00

WAS7.0安装补丁升级程序无法替换文件 java/docs/autorun.inf解决办法

OS：Win7 64bit WAS版本：WASND_7.0_Windows_x64_C1G2JML.zip WAS补丁升级程序版本：7.0.0.13-WS-UPDI-WinAMD64 异常信息：
·2015-10-27 14:38

AMQ资料

JML理论 WSAD环境下JMS异步通信全攻略（1） 学习其对JMS说明部分使用ApacheGeronimo和JMS构建事件驱动的框架JMS基本可靠性机制和事务机制 配置参数： Activemq安全机制以及稳定
dlyss·2015-01-30 11:08

AMQ资料

JML理论 WSAD环境下JMS异步通信全攻略（1） 学习其对JMS说明部分使用ApacheGeronimo和JMS构建事件驱动的框架JMS基本可靠性机制和事务机制 配置参数： Activemq安全机制以及稳定
dlyss·2015-01-30 11:08

myeclipse中tomcat7内存大小的设置

  转载地址：http://hi.baidu.com/jml0912/item/3f1d103c6d43d5b0134b14a2http://blog.sina.com.cn/s/blog_7fa2bcf50100zfi3
极品小涩狼·2012-08-29 14:00

myeclipse中tomcat7内存大小的设置

  转载地址：http://hi.baidu.com/jml0912/item/3f1d103c6d43d5b0134b14a2http://blog.sina.com.cn/s/blog_7fa2bcf50100zfi3
极品小涩狼·2012-08-29 14:00
上一页 1 2 3 4 5 6 7 8 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他