zhangxinmiao

摘要： 在这一周我们主要完成了给定JML规格编写Path类和PathContainer类/Graph类/RailwaySystem类，并完成基于两个类上的各种增删查改功能。三次作业难度递增，依次扩展。为了性能的优化，不仅需要建立以上的类，在更高的难度上（例如Graph类/RailSystem类）的相关功能实现上我们还需要建立缓存类。对一些中间结果进行保存以减少查询次数和难度。从这几次作业中我能够体会到JML语言形成的规格给我们编写程序带来的好处以及特点；在性能优化的部分我也能体会到在程序开发中性能与功能性的折中与平衡。 阅读全文