摘要： 一、JML 1. 简介 JML是为Java专门设计的一个行为接口语言，使用了前置条件，后置条件和断言三者来描述方法的功能，并通过这些规范审查程序并差错。JML是为程序员而设计的，它描述方法的代码以注释的方式出现在Java源程序中，与源程序有机的综合在一起，一定程度的增加了代码的模块化，更方便程序员编 阅读全文

摘要： 主要是正则表达式的学习和基础的java语法。 在写之前，需要花一定的时间写出正确的正则表达式，这样能大大减少之后debug的时间。 写出来的正则表达式是这样的： "(\\+|\\-)(\\s)*(\\+|\\-)?"+"(((((\\d+)(\\s)*(\\*)(\\s)*)|\\s*)(x)"+" 阅读全文

摘要： 第五次作业 第一次接触多线程编程，一开始拿到指导书的时候手足无措，不知道从哪开始下手。然后吸取了之前写电梯时候没有从基础开始的教训，先从网上找了一些最基本的例子（如KFC点餐、龟兔赛跑、银行存钱等），对着例子上的代码一行行抄，思考每一行的代码的功能，以及观察运行的过程，才好不容易对于多线程有了最最基 阅读全文

摘要： 第一次作业 上学期没有选先导课，寒假也没有好好自学java，于是在这学期与它的第一次正面对峙中就一整个失败了。 于是一开始就先用c写了一遍，然后翻译成java。翻译过程大概就是： 诶，要识别输入？输入是啥语法，百度一下，好的敲上去。然后是分解字符？分解用啥函数来着，哦好的，（一个个字符敲）。输出是啥 阅读全文