第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
? Python作为一种编程语言近年来越来越受欢迎，它为什么这么火？ 其中一个重要原因就是因为Python的库丰富——Python语言提供超过15万个第三方库，Python库之间广泛联系、逐层封装。几乎覆盖信息技术所有领域，下面简单介绍下数据分析与可视化、网络爬虫、自动化、WEB开发、机器学习常用的 ...
分类：
编程语言 时间：
2021-06-02 16:28:33
阅读次数：
0
c语言中数组的名称原则上为数组的第一个元素的指针。（当sizeof和&应用数数组名除外）。 当p为第一个元素的指针时， p + i 为第一个元素后的第i个元素的指针，则 p + i等价于 &a[i]. 程序如下： #include <stdio.h> int main(void) { int i; ...
分类：
编程语言 时间：
2021-06-02 16:19:29
阅读次数：
0
免安装版的Mysql MySQL关是一种关系数据库管理系统，所使用的 SQL 语言是用于访问数据库的最常用的 标准化语言，其特点为体积小、速度快、总体拥有成本低，尤其是开放源码这一特点，在 Web 应用方面 MySQL 是最好的 RDBMS(Relational Database Managemen ...
分类：
数据库 时间：
2021-06-02 16:11:25
阅读次数：
0
写在源文件中的源代码是人类可读的源。它需要"编译"，转为机器语言，这样 CPU 可以按给定指令执行程序。C 语言编译器用于把源代码编译成最终的可执行程序。这里假设您已经对编程语言编译器有基本的了解了。 (一).安装 1.为了在 Windows 上安装 GCC，需要到MinGW 的主页 ，进入 Min ...
#关于博客 以前的博客是这样的： 标题 发布状态 评论数 阅读数 操作 操作 c语言学习教程1之预定义代码 (2021-01-26 19:39) 已发布 0 36 编辑 删除 C语言基础教程一之#include 仅自己 (2020-07-11 18:05) 已发布 0 0 编辑 删除 Python3 ...
分类：
其他好文 时间：
2021-06-02 15:35:39
阅读次数：
0
BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L ...
分类：
其他好文 时间：
2021-06-02 15:32:43
阅读次数：
0
/* 斐波拉契序列 1 1 2 3 5 8 13 .。 。。。。。 除了1，2之外，每一项是前两项的和*/#include<stdio.h>//在vc2010中是以c的后缀来用c语言文件的void main(void)//int main(void) 注意不返回任何值的话要在main的括号里面加入v ...
分类：
其他好文 时间：
2021-06-02 15:22:43
阅读次数：
0
DHTML 百科名片 DHTML是Dynamic HTML的简称，就是动态的html，是相对传统的静态的html而言的一种制作网页的概念。所谓动态HTML(Dynamic HTML，简称DHTML)，其实并不是一门新的语言，它只是HTML、CSS和客户端脚本的一种集成，即一个页面中包括html+cs ...
分类：
Web程序 时间：
2021-06-02 15:20:12
阅读次数：
0
Python 完全可以满足数学建模的需要。 Python 是数学建模的最佳选择之一，而且在其它工作中也无所不能。 『Python 数学建模 @ Youcans』带你从数模小白成为国赛达人。 1. 数学建模新手入门 『Python 数学建模 @ Youcans』 系列 是专门为学习数学建模、准备数模竞 ...
分类：
编程语言 时间：
2021-06-02 15:18:29
阅读次数：
0
