摘要: 项目 内容 班级:北航2020春软件工程 2020春季计算机学院软件工程 作业要求 2020BUAA软件工程结对项目作业 作业地址 软件工程结对项目作业 得知自己的结对项目获得黄衫奖励的唯一心情就是难以置信,甚至向助教反复确认分数是不是算错了,在看到分数统计后,发现得分高是因为程序而不是因为博客就更 阅读全文
posted @ 2020-07-03 01:00 syncline 阅读(191) 评论(2) 推荐(1) 编辑
摘要: 项目 内容 本作业属于北航软件工程课程 2020春季计算机学院软件工程(罗杰 任建) 本作业的要求请点击链接查看 提问回顾与个人总结 我在这个课程的目标 提高自身的代码能力、学习团队协作开发的过程 本作业帮助我实现目标的具体方面 总结课程收获 在学期开始的时候,我针对软件工程的方法提出了一些问题,提 阅读全文
posted @ 2020-06-15 15:43 syncline 阅读(406) 评论(10) 推荐(1) 编辑
摘要: 本次项目的前端部分使用vue框架+iview组件构建,其中IDE的文件树部分使用了iview的Tree组件,但是Tree组件本身的接口功能极其有限,网上的相关资料也不多,在使用时费了一番功夫才摸索清楚使用方法。在这里总结一下使用Tree组件实现各种文件树相关功能的方法和坑点。 代码地址:vLab-F 阅读全文
posted @ 2020-05-27 18:28 syncline 阅读(3376) 评论(2) 推荐(0) 编辑
摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "2020春季计算机学院软件工程(罗杰 任建)" | | 本作业的要求请点击链接查看 | "2020BUAA软件工程个人博客作业 软件案例分析" | | 教学班级 | 005 | | 我在这个课程的目标 | 提高自身的代码能力、 阅读全文
posted @ 2020-03-25 22:47 syncline 阅读(672) 评论(2) 推荐(0) 编辑
摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "2020春季计算机学院软件工程(罗杰 任建)" | | 本作业的要求请点击链接查看 | "2020BUAA软件工程结对项目作业" | | 教学班级 | 005 | | Github项目地址 | "https://github. 阅读全文
posted @ 2020-03-24 14:50 syncline 阅读(269) 评论(4) 推荐(0) 编辑
摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "2020春季计算机学院软件工程(罗杰 任建)" | | 本作业的要求请点击链接查看 | "2020BUAA软件工程个人项目作业" | | 教学班级 | 005 | | Github项目地址 | "https://github. 阅读全文
posted @ 2020-03-10 18:45 syncline 阅读(387) 评论(2) 推荐(0) 编辑
摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "2020春季计算机学院软件工程(罗杰 任建)" | | 本作业的要求请点击链接查看 | "2020BUAA软件工程个人博客作业" | | 我在这个课程的目标 | 提高自身的代码能力、学习团队协作开发的过程 | | 本作业帮助我 阅读全文
posted @ 2020-03-07 16:53 syncline 阅读(332) 评论(2) 推荐(0) 编辑
摘要: | 项目 | 内容 | | | | | 本作业属于北航软件工程课程 | "2020春季计算机学院软件工程(罗杰 任建)" | | 本作业的要求请点击链接查看 | "2020BUAA软件工程热身阅读作业" | | 我在这个课程的目标 | 提高自身的代码能力、学习团队协作开发的过程 | | 本作业帮助我 阅读全文
posted @ 2020-03-03 13:03 syncline 阅读(234) 评论(2) 推荐(0) 编辑
摘要: 总结本单元两次作业的架构设计 第一次作业 熟悉的场景,因为时间不够我选择了暴力Hashmap,对每一种从属关系都建立一个Hashmap<String, String>或Hashmap<String, ArrayList<String>>。每次执行查询方法时,就利用这些存储信息现场计算(每次查询都会计 阅读全文
posted @ 2019-06-23 22:51 syncline 阅读(209) 评论(1) 推荐(0) 编辑
摘要: 梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规范语言,可以用于指定Java模块的行为。JML可以让我们对某个JAVA的行为进行规范,而不用真正地陷入到实现的细节中去。 JML的许多构造配合SMT Slover可以对代码进行形式化验证。 通过部署JMLUnitNG/JMLUnit可以 阅读全文
posted @ 2019-05-22 20:29 syncline 阅读(174) 评论(0) 推荐(0) 编辑