计算机的发展影响着社会的方方面面,教育系统也不例外。学生的成绩是学生学习和教师劳动的体现,也是国家、社会选拔人才的参考材料之一。本着为提高阅卷教师的工作效益、评卷质量、真正体现公平、合理、正确的评卷系统的目的,我参加了贵州省科技厅工业攻关科技攻关计划——基于互连网的远程无纸化阅卷系统的研究。我在系统中完成主观题评阅模块的B/S架构的设计,功能模块划分及部分模块的详细设计和代码编写。完成阅卷教师的实时评阅质量监控。定义了阅卷系统中评价教师阅卷质量的评价指标之一——吻合指数。在系统开发过程中,结合Hoare和何积丰的统一程序理论(Unifying Theories of Programming,简称UTP),使用Java风格的对象系统精化演算语言[32](Refinement Calculus of Object Systems,简称rCOS)探讨描述面向对象的多线程规范,对多线程的语义在rCOS的基础上进行扩展。