Processing math: 100%
会员
周边
众包
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
StyWang
博客园
首页
新随笔
联系
订阅
管理
随笔 - 4 文章 - 1 评论 - 1 阅读 -
209
<
2025年7月
>
日
一
二
三
四
五
六
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
昵称:
StyWang
园龄:
3年3个月
粉丝:
1
关注:
0
搜索
常用链接
我的随笔
我的评论
我的参与
最新评论
我的标签
随笔档案
2022年6月(2)
2022年5月(1)
2022年3月(1)
阅读排行榜
1. 第一单元总结(68)
2. 第二单元总结(58)
3. 第三单元总结(38)
4. 第四单元总结(28)
评论排行榜
1. 第一单元总结(1)
推荐排行榜
1. 第四单元总结(1)
2. 第三单元总结(1)
3. 第二单元总结(1)
4. 第一单元总结(1)
最新评论
1. Re:第一单元总结
博客写的很用心,对oop的理解和思考也有深度,第二单元加油!
--pipipiboy
2022年6月29日
第四单元总结
摘要: 第四单元总结 本单元实现了一个UML解析器,支持对UML类图、状态图、顺序图的解析,以及简单的规范性验证。 1. 架构设计 本单元中仍然进行了层次化设计。由于输入的UMLElement是无层次结构的元素集合,因此架构重点是根据类图、状态图、顺序图的各种元素的逻辑关系,为他们进行建模,重新组织起层次化
阅读全文
posted @ 2022-06-29 14:35 StyWang
阅读(28)
评论(0)
推荐(1)
2022年6月6日
第三单元总结
摘要: 本单元主要进行基于规格的层次化设计,在给定JML规格的基础上实现一个社交网络模拟系统。 1. 测试 在本单元的测试中,我选择了传统的随机生成数据的测试方法,事实证明我的这种选择是一把双刃剑。 1.1 两种测试方法对比 传统的随机数据方法的优点有: 测试过程不依赖于对JML规格的理解,只要对拍的人员内
阅读全文
posted @ 2022-06-06 14:22 StyWang
阅读(38)
评论(0)
推荐(1)
2022年5月2日
第二单元总结
摘要: 第二单元总结 1. 作业分析 模拟多线程实时电梯系统,支持换乘。 2. 架构设计 对每个楼层、每个楼座单独构建一个等待队列(PassengerGroup的实例),5个座、10层,共构建15个等待队列。每个等待队列负责该楼层或楼座的全部乘客,该楼层或楼座的所有电梯共享一个等待队列。 Controlle
阅读全文
posted @ 2022-05-02 01:45 StyWang
阅读(58)
评论(0)
推荐(1)
2022年3月25日
第一单元总结
摘要: 第一单元总结 目录 作业分析 本单元三次作业的任务是,输入一个满足形式化定义的字符串
E
x
p
r
e
,按数学意义将其解读,并拆去所有括号。可能含有自定义函数、求和函数、三角函数、幂函数。 第三次作业的形式化定义如下: \[ \begin{aligned} Expre &\rightarrow [+|-
阅读全文
posted @ 2022-03-25 20:55 StyWang
阅读(68)
评论(1)
推荐(1)
点击右上角即可分享