%0 Journal Article %T 电力生产管理系统的可信构造方法研究 %A 包铁 %A 刘淑芬 %A 王晓燕 %J 电子学报 %P 2166-2171 %D 2010 %X 现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构建、可信分析及升级演化建立坚实的基础. %K 软件工程 %K 可信软件 %K 可信构造 %K 信息管理系统 %K 电力生产 %U http://www.ejournal.org.cn/CN/abstract/abstract200.shtml