摘要：面向对象程序设计与构造第三单元总结 初次接触规格的感想体会 本次作业是我第一次接触JML规格，初次接触规格带给我的感受和第一次作业初次使用java以及面对电梯第一次感受多线程好太多太多了。理解JML语言的过程并没有带给我什么烦恼，不过接触规格之后确实让我对我的编程学习有了一个新的认识。 第一次看到规 阅读全文