- 博客(2)
- 收藏
- 关注
RSS订阅原创 这个暑假
这个暑假就提前开始了研究生的学习。 老板是做软件体系结构级的软件测试技术的。 这个暑假我粗略了解了： 软件体系结构描述语言，构件，连接件。 形式化方法， 模型检测 协议（连接件）设计与验证 程序切片技术 测试集自动生成，测试集约简 Z语言 时间自动机 时间输入输出自动机 混成自动机 实时系统的验证和测试 分布式系统描述 太多太杂，有点把我不住。 论文有好几百篇，很痛苦，但是很快乐。 我终于做了自己
2004-09-26 17:14:00
503
原创 我大学时候的书架
数学 《数学分析习题集》6册 好像是山东科技出版社吧，想不起来啦，一进校老师要求的。 《离散数学》左孝凌 上海科技文献出版社 《组合数学》卢开澄 清华大学出版社 英语 《英语中级口语》北京外语与教学研究出版社 《英语科研论文写作概要》上海外语教育出版社 《英语词汇学高级教程》上海外语教育出版社 《牛津高阶英汉双解词典》商务印书馆，算是英语初级和中级水平的人晋级必备吧。 词汇 《突破英语专业四级80
2004-09-26 16:57:00
747
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人