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

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

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

叶俊，谭庆平，李暾

A Survey on the Formal Verification of FeatureOriented Programming

YE Jun，TAN Qingping，LI Tun

J4 . 2010, (9): 89 -94 . DOI: 10.3969/j.issn.1007130X.2010.