%0 Journal Article
%T 阅卷信息的形式化描述及其应用
%A 金炳尧
%A 马永进
%A 骆红波
%A 吴樟兴
%J 计算机科学
%D 2005
%I 
%X 本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势，并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性，延长其生命周期，并可广泛应用于其他领域。
%K 阅卷信息
%K 形式化描述
%K 分析求解系统
%K 可扩充性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=75C7D3D563126C98&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=CA4FD0336C81A37A&sid=F24949CFDB502409&eid=D767283A3B658885&journal_id=1002-137X&journal_name=计算机科学&referenced_num=6&reference_num=2