面向特征编程范式的形式化验证技术研究综述

• 作者: 叶俊 李暾 谭庆平
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 面向特征编程 形式化验证 模型检验
• 年，卷（期）: 2010,（9）
• 页码范围: 89-94
• 分类号: TP301.2
• 字数: 6383字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.09.024

摘要

以面向对象编程范式开发软件经常面临类(Class)与用户需求项无法直接对应的尴尬,面向特征编程范式(FOP)旨在解决这个问题,因此具有重要意义.本文首先简介了FOP编程范式的思想,它与面向方面编程范式的异同,以及它给相应的形式化验证技术带来的挑战; 然后综述了现有的FOP形式化验证方法以及我们所做的相关工作,比较了它们的优缺点; 最后讨论了FOP形式化验证今后可能的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭庆平	国防科学技术大学计算机学院	30	181	8.0	11.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	叶俊	国防科学技术大学计算机学院	6	31	3.0	5.0