Locke_Z - 博客园

OO第四次博客总结

摘要：测试和正确性论证的效果差异及优缺点可以看到，使用测试还是正确性论证取决于对程序测试完备性的要求和程序测试完成时间之间的trade-off。因此工业界的大多数项目倾向于采用测试，而航空航天类的程序对正确性要求更高，更可能采取正确性论证。调研OCL语言 OCL（Object Constraint L 阅读全文

posted @ 2018-06-25 11:21 Locke_Z 阅读(136) 评论(0) 推荐(0)

OO第三次博客总结

摘要： OO第三次博客作业阅读全文

posted @ 2018-05-29 16:58 Locke_Z 阅读(193) 评论(0) 推荐(0)

OO第二次博客总结

摘要： OO第二次博客作业阅读全文

posted @ 2018-05-02 11:23 Locke_Z 阅读(155) 评论(0) 推荐(0)

OO第一次博客总结

摘要： OO前三次作业总结阅读全文

posted @ 2018-04-03 23:55 Locke_Z 阅读(169) 评论(0) 推荐(0)

导航

2018年6月25日

2018年5月29日

2018年5月2日

2018年4月3日