码迷,mamicode.com
首页 >  
搜索关键字:工具链    ( 685个结果
CGO基础
#CGO基础 要使用CGO特性,需要安装C/C++构建工具链,在macOS和Linux下是要安装GCC,在windows下是需要安装MinGW工具。同时需要保证环境变量CGO_ENABLED被设置为1,这表示CGO是被启用的状态。在本地构建时CGO_ENABLED默认是启用的,当交叉构建时CGO默认 ...
分类:其他好文   时间:2020-05-28 21:54:13    阅读次数:74
MIT6.828准备:MacOS下搭建xv6和risc-v环境
本文介绍在MacOS下搭建Mit6.828/6.S081 fall2019实验环境的详细过程,包括riscv工具链、qemu和xv6,对于Linux系统同样可以参考。 介绍 只有了解底层原理才能写好上层应用,曾经几度想要系统地学习OS课程,尝试去看了《计算机操作系统》、《Operating Syst ...
分类:系统相关   时间:2020-05-27 10:33:51    阅读次数:114
OO-Unit3-总结
OO第三单元JML总结 一、JML理论基础与应用工具链 1、JML理论基础 JML是JAVA Modeling Language的简称,主要用于对java程序进行规格化设计,是一种基于Larch方法构建的行为接口规格语言。 JML的优点在于它的精准性与可读性。在设计规格时,如果使用自然语言,那么很有 ...
分类:其他好文   时间:2020-05-23 20:42:19    阅读次数:61
OO第三单元总结
OO第三单元总结 一、 JML语言的理论基础及应用工具链 (1)JML语言理论基础 1.原子表达式: \result表示非void类型的方法执行所获得的结果,即方法执行后的返回值。 \old(expr)用来表示一个表达式 expr 在相应方法执行前的取值。 \not_assigned(x,y,... ...
分类:其他好文   时间:2020-05-23 20:30:19    阅读次数:59
OO第三单元总结
JML语言的理论基础、应用工具链 JML语言 JML是一种面向JAVA,形式化的行为接口规格语言。 JML表达式 原子表达式 :方法执行后的返回值 :一个表达式 在相应方法执行前的取值 :返回 表示括号中的变量在方法执行过程中没有被赋值, 则表示被赋值 :限制括号中的变量在方法执行期间取值不发生变化 ...
分类:其他好文   时间:2020-05-23 20:25:38    阅读次数:59
OO第三单元总结
1.梳理JML语言的理论基础、应用工具链情况 JML简介: JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior Interface Specification Language, BISL),基于La ...
分类:其他好文   时间:2020-05-23 20:14:55    阅读次数:50
BUAA_OO_2020_Unit3_Summary
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计,而给代码实现者以明确、严谨的设计需求;也可以针对已有的代码给出规格,以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类:其他好文   时间:2020-05-23 20:01:29    阅读次数:54
OO第三单元——JML
OO第三单元——JML 一、梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言(Behavior Interface Speci?cation Language,BISL),基于Larch方法构建 。BISL提供了对方法和类型的规格定义 ...
分类:其他好文   时间:2020-05-23 18:50:55    阅读次数:48
OO第三单元总结
[TOC] OO第三单元总结 1 梳理JML语言的理论基础、应用工具链情况 1.1 理论基础 ? JML是用于对Java程序进行规格化设计的一种表示语言。使用JML,能够描述一个方法预期的功能而不管如何实现,先设计类和接口,推迟了过程性的思考。JML以javadoc注释的方式来表示规格,有两种注释方 ...
分类:其他好文   时间:2020-05-23 18:39:41    阅读次数:46
BUAA_OO_Unit3_Review
OO_Unit2_Review 一.JML语言的理论基础、应用工具链 1.JML语言的理论基础 Java Modeling Language(JML)是一种规范的注释语言,用于规定类的行为和接口。 JML的优点: 1、其规范性不仅使得注释更加准确。 2、同时凭此我们也可以借助JML的工具链来对某个类 ...
分类:其他好文   时间:2020-05-23 18:23:50    阅读次数:48
685条   上一页 1 ... 3 4 5 6 7 ... 69 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!