摘要:
【Testing VS Programming Correctness Proof】 Testing can help find and reveal errors in the program, which is an important means to ensure the reliabili 阅读全文
摘要:
【History & Significance of Specification Language】 In the last 40 years, a large number of sepcification language have been proposed for the software 阅读全文
摘要:
These three weeks we have suffered from projects on Multiple Thread. Here is my summary of these three projects. 【1】ALS Elevator (version 2) (1) Desig 阅读全文
摘要:
【1】Previous Coding Analysis (1) Poly Add (2) Idiot Elevator (3) ALS Elevator COMMENTS: Cyclomatic complexity is a software metric, used to indicate th 阅读全文