码迷,mamicode.com
首页 >  
搜索关键字:形式    ( 33313个结果
css基础
什么是css: css(层叠样式表)用来规定HTML文件的展示的形式 css声明: css属性和值使用冒号分隔,每条样式结束后加分号 选择器: class选择器 用来将多个元素归成一类,并且可以对这一类的元素应用样式,使用小数点 . 进项选择 id选择器: id的值不允许重复 标签选择器: h2 c ...
分类:Web程序   时间:2019-05-23 09:36:32    阅读次数:15
上下文管理器的重写以计算术运算对应的魔术方法
一、上下文管理器 概念:上下文管理器是一个Python对象,为操作提供了额外的上下文信息,这种额外的信息,在使用with语句初始化上下文,以及完成with 块中的所有代码是,采用可调用的形式。 实现一个上下文管理器需要实现两个方法:1. object._enter_(self) 输入与此对象相关的运 ...
分类:其他好文   时间:2019-05-23 00:26:43    阅读次数:16
Qt之容器类
Qt的顺序容器类:QList、QLinkedList、QVector、QStack和QQueue。 1、QList 以数组列表(array-list)形式实现,以下表索引方式对数据项进行访问。 对数据项的操作函数有:#include <QList> insert()、replace()、remove ...
分类:其他好文   时间:2019-05-22 22:29:45    阅读次数:17
OO第三单元总结
1.JML语言的理论基础,应用工具链情况 JML 预言是一种能够用于约束 Java 模块行为的行为接口规范语言。它以特殊格式的注释块形式写在java代码中,描述java类中各方法模块的行为,实现对java程序进行规格化设计的目的。 契约式设计(Design by Contract)要求软件设计者为软 ...
分类:其他好文   时间:2019-05-22 22:28:37    阅读次数:22
OO第三单元总结
梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规范语言,可以用于指定Java模块的行为。JML可以让我们对某个JAVA的行为进行规范,而不用真正地陷入到实现的细节中去。 JML的许多构造配合SMT Slover可以对代码进行形式化验证。 通过部署JMLUnitNG/JMLUnit可以 ...
分类:其他好文   时间:2019-05-22 20:56:09    阅读次数:17
OO第三次博客
1.JML语言的理论基础和应用工具链情况 1)概述 JML是一种行为接口规范语言,其体现的是一种契约方法设计,也即在声明方法的时候,对输入和输出进行了一些规定,而从形式上jml是以javadoc注释的方式来写的,也即在注释块中每行的开头都是@。 2)结构 一段完整的JML,往往有如下几个结构requ ...
分类:其他好文   时间:2019-05-22 20:48:26    阅读次数:11
OO第三单元总结 JML
OO第三单元总结 JML JML语言的理论基础、应用工具链情况 JML是一种形式化的,面向JAVA的行为接口规格语言,它结合了Eiffel的契约方法和Larch方法,以及细化演算的一些元素,有着坚实的理论基础。 JML最主要的语法有前置条件,后置条件,不变式,通过这些语法对输入和输出进行约束,也就是 ...
分类:其他好文   时间:2019-05-22 20:43:14    阅读次数:9
Tensorflow的安装和使用——Jetson Nano 初体验3
[TOC] 1.安装 Jupyter notebook 和 Jupyter Lab notebook 是 Donald Knuth 在 1984 年提出的文字表达化编程的一种形式。在文字表达化编程中,直接在代码旁写出叙述性文档,而不是另外编写单独的文档。 1.1 安装pip3 Jetson Nano ...
分类:其他好文   时间:2019-05-22 19:31:18    阅读次数:19
OO第三单元总结
OO第三单元总结 梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是一种行为规范接口语言,通过使用不会被编译的注释形式,和固定关键字的语法,指定Java模块代码的行为。大体上包括以下三种要求: 前置: @requires 子句定义了需要满足的条件。 过 ...
分类:其他好文   时间:2019-05-22 19:27:08    阅读次数:18
面向对象第三单元(JML)总结体会
一.JML语言 定义 Java建模语言(JML)是一种行为接口规范语言,可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计 和Larch 系列接口规范语言的基于模型的规范方法 。 理论基础 JML是契约式语言的一种具体表现形式。 契约(Contact):声明一个函数/方法的时候,对函 ...
分类:其他好文   时间:2019-05-22 19:06:38    阅读次数:11
33313条   1 2 3 4 ... 3332 下一页
© 2014 mamicode.com 版权所有 京ICP备13008772号-2
迷上了代码!