2017年9月21日
[2017BUAA软工]第1次个人作业
摘要： 快速看完整部教材，列出你不懂的5-10个问题，发布在你的个人博客上。 1. 为什么说软件是人类创造的最复杂的系统类型？大型建筑、飞行器甚至长篇小说的结构也可以非常复杂，并且容易变得难以理解和维护，认为软件系统十分复杂是不是因为软件工程还没有充分发展？ 2. 用形式逻辑的方法验证需要高可靠性的大型软件 阅读全文
posted @ 2017-09-21 22:20 hitaku 阅读(436) 评论(5) 推荐(1) 编辑