2022年5月31日
OO Unit3 SNS(Social Network Service)
摘要： OO Unit3 SNS(Social Network Service) 本篇文章从以下几个部分展开：对契约式编程的认识、性能与测试、SNS扩展JML、心得体会 契约式编程 Dbc(Designed by Contract)要求软件设计者为软件组件（通常是接口约束）添加正式的可验证的接⼝，在传统抽象 阅读全文
posted @ 2022-05-31 21:57 Lumyn 阅读(200) 评论(0) 推荐(0)