码迷,mamicode.com
首页 >  
搜索关键字:体会    ( 5739个结果
OO第三单元总结
第三单元总结 一、JML JML的语法课上讲的很清楚,我就谈谈自己阅读JML规格的体会。 requires和ensures成对出现,可以看作对应一个if块。requires就是if块的条件,ensures就是这个if块将要实现的功能。 单就阅读JML规格而言,体验不是很好,因为这个语言非常严谨,总是 ...
分类:其他好文   时间:2020-05-22 16:57:10    阅读次数:7
20174321王柏舟 Exp8 Web基础
目录 一、实践目标 二、基础知识 三、实践步骤 四、基础问题回答 五、实践体会 一、实践目标 1.1实践内容 Web前端: HTML、Javascipt Web后端: MySQL基础、编写PHP网页 SQL注入: XSS攻击测试 1.2实践要求 Web前端:HTML 能正常安装、启停Apache 理 ...
分类:Web程序   时间:2020-05-21 19:37:24    阅读次数:8
OO_第三单元总结
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计(Design by Contract, DbC)。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化,抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样,DbC可以说是一种方法学,一种软件开发 ...
分类:其他好文   时间:2020-05-21 19:02:25    阅读次数:8
BUAAOOUnitThree总结分析
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义: JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类:其他好文   时间:2020-05-21 16:20:01    阅读次数:6
随笔(二)
我在远方,思你如故 秋风,摇曳着半城轩窗如凉,澜澜的夜空一抹雨声中嘀嗒嘀嗒。我在远方,愁思无端晕染着诗笺,瘦如骨,思如故,心潋滟在字里行间,浣起一朵静香的幽兰。随季节流转,十里长亭望眼欲穿,屏住呼吸,放养一袭水湄中的清然。 在这深秋的时节,看晨曦把黄昏遍染,掬一捧春梦缱绻,结一回天涯咫尺的缘,漫过忧 ...
分类:其他好文   时间:2020-05-21 13:18:59    阅读次数:11
【2020-05-21】人与人之间的差距
08:00 我与我周旋久,宁作我! ——殷浩 连续两晚的持续奋斗,也获得了一些认可。这事在大部分人眼里都认为是不可能完成的任务,虽然最终也让我们团队给完成了,但这个短暂的过程还是很值得我去反思。按正常步骤来说,我们做事情之前,会认真收集各方的全面消息,然后对事情进行一次全方位的风险评估。然而,事后的 ...
分类:其他好文   时间:2020-05-21 11:51:33    阅读次数:9
人月神话多后感01
本书第一章就明确的讲述了编程职业的乐趣,无论是创建事物的乐趣,还是简单学习的乐趣,还是驾驭介质之上的乐趣,还是开发了对人类有用的产品的乐趣等等。这些是每一个编程人或多或少都会体会到的乐趣。当然我相信各行各业也都会有各自的苦恼,编程人当然也不例外。书中的一句话,我就体会尤为深刻。这就不曾使我想起之前自 ...
分类:其他好文   时间:2020-05-19 18:36:15    阅读次数:11
python Click的使用
Click 是 Flask 的团队 pallets 开发的开源项目,它使命令行数据处理变得更简单。 方法功能 command:用于装饰一个函数,使得该函数作为命令行的接口 option:用于装饰一个函数,主要功能是为命令行添加选项 echo:用于输出结果,由于print函数在2.x和3.x之间存在不 ...
分类:编程语言   时间:2020-05-18 14:17:42    阅读次数:28
Docker从入门到放弃
为什么要学习 docker 呢?深有体会,由于一些原因只能在他人电脑上搭建环境,明明在自己电脑上的程序跑的好好的,在他人的电脑上就是死活出错。折磨人呀!!!!!可是能怎么办,工作还得继续,曲线救国呗,折腾了一天终于搞好了,那么以后呢?想到了之前搭建靶机时候用到的docker,时间长了也忘了,准备好好 ...
分类:其他好文   时间:2020-05-17 13:02:16    阅读次数:22
用现代化的方式开发一个图片上传工具
对于图片上传,大家一定不陌生。最近工作中遇到了关于图片上传的内容,借此机会认真研究了一番,遂一发不可收拾,最后琢磨了一个东西出来。在开发的过程中有不少的体会,于是打算写一篇文章分享一下心得体会。本文将会以这个名为Dolu的项目为例子,一步步介绍我是如何进行环境搭建、代码设计以及实际开发的。内容较多, ...
分类:Web程序   时间:2020-05-16 00:58:53    阅读次数:39
5739条   上一页 1 2 3 4 ... 574 下一页
© 2014 mamicode.com 版权所有 京ICP备13008772号-2
迷上了代码!