电力生产管理系统的可信构造方法研究
现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构建、可信分析及升级演化建立坚实的基础.
软件工程、可信软件、可信构造、信息管理系统、电力生产
38
TP311.5(计算技术、计算机技术)
国家自然科学基金60973041;国家863高技术研究发展重点项目2009AA010314;吉林大学科学前沿与交叉学科创新项目200903176
2010-12-06（万方平台首次上网日期，不代表论文的发表时间）
共6页
2166-2171
