OO_Lab2总结博客
一、单元内容 本单元内容为规格化设计，即通过参考已经完成的JML描述实现一个社交网络相关功能。 本单元整体来说难度不大，但是却是我最惨的一次作业，所以本博客可能 ......SE_Work1_阅读构建之法&项目管理实践
项目 内容 课程：北航-2020-春-软件工程 博客园班级博客 要求：阅读《构建之法》并回答问题 个人博客作业 我在这个课程的目标是 提升团队管理及合作能力，开 ......![]()
【C】C中使用GDAL3（一）：Windows下超详细编译C版GDAL3.3.0（VS2015+.NET 4+32位/64位）
转载请注明原文地址：https://www.cnblogs.com/litou/p/15004877.html 目录 一、介绍 二、编译准备 三、编译SQLite 四、编译LibTiff 五、编译PROJ 六、 ......![]()
OO Unit3 总结
OO Unit3 总结 OO课Unit3人际关系网JML应用技术回顾 BUAA.1823.邓新宇 2020/5/23 方法规格 JML中，同一个方法在不同的条件下会产生不同的行为，这种行为分为正常 ......2020年OO助教工作总结
随着这学期课程的落幕，我一学期的OO助教工作也宣告结束。这学期我的工作主要在系统组，和OO后台的数据库打交道。 作业查重 我几乎每周都会做的例行工作，是对每周的h ......OO2020 助教工作总结
1 我的初衷 这一学期的OO助教工作是我一段宝贵的经历，在其中我学习了很多、见识了很多，收获满满。当时报名OO的初衷主要有三方面。首先，我想说OO是我所上过的最好的 ......2020-BUAA OO-面向对象设计与构造-HW11中对ageVar采用缓存优化的等价性证明（包括溢出情况）
HW11中对ageVar采用缓存优化的等价性证明（包括溢出情况） 我们知道，第三次作业里age上限变为2000，而如果缓存年龄的平方和，2000*2000*800 > 2147483647，会溢出。但 ......OOUnit3Summary
jml语言基础 JML的全称是Java Modeling language，是一种行为接口规格语言，通过JML及其支持工具，不仅可以基于规格自动构造测试用例，还可用SMT Solver等工具以静态 ......![]()
北航OO第三单元总结
JML基础梳理及工具链 JML的全称是Java Modeling language，即Java建模语言。JML是一种行为接口规格。它为严格的程序设计提供了一套行之有效的方法。通过JML不仅可 ......![]()
oo第三单元学习总结
OO第三单元小结 一.JML语言理论基础及工具链梳理 在本单元我们学习了JML语言的一些基础知识，能够让我们看懂简单的JML规格并写出对应代码， 主要用到的知识点 ......
↓ 按住下拉
V2AS = Way To Ask
V2AS 一个技术分享与创造的静土
手机扫一扫
移动阅读更方便
近15日热搜文章