%0 Journal Article
%T 一种基于模型的软件系统监测方法
%A 邵  津  邓  芳  王千祥
%J -
%D 2010
%X 软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软..
%K [软件维护
%K 软件质量保障
%K 软件系统监测
%K 运行时验证
%K 约束
%K 模型
%K software maintenance
%K assurance of software quality
%K integrity
%K software monitoring and verification
%K constraint
%K model]
%U http://crad.ict.ac.cn/CN/Y2010/V47/I7/1175