-
第六章 函数和宏定义实验（2）
C程序设计实验报告 姓名：欧阳思健 实验地点：教学楼514 实验时间：2019年5月16日 一、实验目的与要求 1、利用复化梯形公式计算定积分 掌握C语言中定义函数的方法 掌握通过“值传递”调用函数的方法 2、计算Ackerman函数 掌握递归函数的设计方法 进一步练习阅读检查与调试修改C程序的方法 -
Scrum Meeting博客汇总
葫芦娃不想写代码团队 Scrum Meeting博客汇总 一、Scrum Meeting 1. Alpha阶段 1. " 【Alpha】Scrum Meeting 1 " 2. " 【Alpha】Scrum Meeting 2 " 3. " 【Alpha】Scrum Meeting 3 " 4. " -
【Beta】发布说明
再次号外！Visual Pytorch第二个版本上线了！ 目前的网址在这里(http://114.115.151.39/) 哦 有关上一版本的功能介绍说明请参考博客： "Visual Pytorch ——Alpha阶段发布说明" 而现在，你看到的是Visual Pytorch的 船新版本 ！ Alp -
冰多多团队Beta阶段发布说明
Bingduoduo 语音Coding(Beta)： "项目Github地址" Beta版本新功能介绍 在beta阶段我们很好地将alpha阶段已经设计好的编辑器和shell整合了起来，推出了一个完整的IDE 功能 首先是我们beta阶段最重要也是最具有难度的一项任务：shell和编辑器的整合，因为 -
第五次上机实验
1、补足程序，附上程序代码与运行截图 ； 补足程序（2），附上程序代码与运行截图： 。 2、选择法排序。附上程序代码与运行截图： 。 实验总结与体会： ①实验内容1中，对于数组名与指针变量，在实参写法上，两者保持一致；在形参写法上，前者为a[ ]，对数组的初始化，后者为*x，指向数组的第一个元素；函 -
第六章 函数和宏定义实验报告（2）
C程序设计实验报告 实验项目： 1、利用复化梯形公式计算定积分 2、计算Ackerman函数 3、编写计算x的y次幂的递归函数getpower(int x,int y)，并在主程序中实现输入输出 4、编写计算学生年龄的递归函数 5、编写递归函数实现Ackman函数 姓名：杨珺茹 实验地点：514 实 -
面向对象第三单元（地铁）总结
OO_JML 前言 这个单元的作业在形式上是根据JML规格完成代码，在内容上涉及数据结构与算法（特别是图论相关）的很多知识。 由JML规格给定需求，让同学们进行“契约式”设计，是一种很新颖的形式。和指导书中自然语言给出的需求相比，JML规格更加全面地规定了程序员必须要实现严格满足功能的哪些方法， -
JML契约式设计——第三单元学习小结
一、前言 本单元作业都是关于JML(Java Modeling Language)，JML是一种契约式设计(Design by Contract)的语言，契约式设计的主要目的是希望程序员能够在设计程序时明确地规定一个模块单元（具体到面向对象，就是一个类的实例）在调用某个操作前后应当属于何种状态，它强 -
2019面向对象程序设计第三单元总结
2019面向对象程序设计第三单元总结 [TOC] 写在前面 OO第三单元是对规格化设计的考验，规格化编程的核心是抽象，只体现“需求”而把具体的实现细节隐藏。三次作业层层递进，最终实现一个较为完善的地铁查询系统。在这一单元中，由于模块较多，所以学会利用JMLUnit单元测试有着重要的意义。 一.J -
第五次计算机实验
实验结论 1. 二分查找 形参是数组，实参是数组名 形参是指针变量，实参是数组名 2. 选择法排序 或者把temp定义为数组（然而我的第一反应还是偏向于较为熟悉的上边） 3. 用指针处理字符串 实验总结和体会 细想一下，上次做实验已经是很久以前了，实验的内容也显得有一些困难了，如果让我自己设计虽然没 -
Ohmr的JML作业
一、关于JML语言 1.1、JML概述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方法构建。BIS -
OO第三单元作业总结
你以为我是多线程，其实我是JML哒 上次电梯作业总结中，我如是说道： 虽然不知道下次作业是啥，但肯定和多线程脱不开干系 果然，我还是太年轻了，在多线程正如火如荼的时候立刻进入了新的篇章，而且三次作业中竟然没有和多线程扯上一丝一毫的关系。 说实话，这一单元应该算得上是比较亲民了，至少前两次作业的确比电 -
第三单元oo作业总结
第三单元oo作业总结 第一部分：梳理JML语言的理论基础、应用工具链情况 理论基础 JML语法梳理 关于jml具体语法的梳理在给出的指导书中给出的基本上已经足够应用，以下为一部分常用语句的梳理。 表达式：完成JML语句的编写 原子表达式：如\result, \old(expr)等等 原子表达式：如\ -
2019年北航OO第三单元（JML规格任务）总结
一、JML简介 1.1 JML与契约式设计 说起JML，就不得不提到契约式设计（Design by Contract）。这种设计模式的始祖是1986年的Eiffel语言。它是一种限定了软件中每个元素所必需的责任与义务的开发模式，程序设计中的每个元素都需要用规范的语言精准地限定其前置条件（Precon -
OO——第三单元JML规格编程总结
一、JML理论基础及应用工具链 JML存在的意义 1. 开展规格化设计，能够实现设计与实现分离，实现进行提前测试。 2. 方便程序代码的阅读和维护。 JML方法规格 requires —— pre-condition assignable —— side-effects，列出这个方法能够修改的类成员 -
Beta阶段测试报告
Beta阶段发现的Bug 博文的评论中，出现乱码，没有修饰html 部分博文的 Markdown 没有解析，部分公式解析不出来 匿名投票可以查看其他的投票 已经结束的投票还可以继续投 日程提醒中学生可以修改作业 通知提醒功能每次只能提醒一条 换了别人的账号，可以看之前那位同学的浏览记录 Alpha阶 -
OO第三单元总结——JML
目录 写在前面 JML理论基础 JML工具链 JMLUnitNG的使用 架构设计 Bug分析 心得体会 写在前面 OO的第三单元学习结束了，本单元我们学习了如何使用JML语言来对我们的程序进行规格化设计。并对openjml以及JMLUnitNG、JUnit等工具的使用有了初步的了解。 JML理论基础 -
OO的奇妙冒险3
OO的奇妙冒险3——JML与设计规范 目录 JML理论与工具 验证方法与报告 自动样例及其生成与评判 架构设计与重构 bug 心得体会 JML理论与工具 JML是一种通过形式验证，在实现代码之前就保证所写代码正确性的有效手段 总的来说，JML实现了这样一种功能，即设计与实现分离。构造JML的与写代码 -
面向对象第三单元作业总结
一、JML语言及其工具链 1.1 JML语法总结 a)语言框架结构 b) 关键字及其含义 \nothing 表示无 \result 表示返回结果 \forall 表示任意 \exsits 表示存在 pure 表示此方法不会修改任何值 public_spec 表示此属性或规格的公开的 also 连接两 -
第五次实验~~
实验结论： 1.二分查找： （1） （2） 2.选择排序法 3.用指针处理字符串 认真理解阅读后回答老师在代码里让我思考的问题： 我认为这里的条件表达式要这样写的原因是：让后续判断p是否为*号时从不是*号的第一个字符开始，其次这一个循环的作用就是先把第一个字符之前的*号全都复制到s[i]里去（这里表