参考文献
[1]左继红,王千祥,梅宏.一种基于模型的特征交互检测方法[J].软件学报,2007,18(1):94104.
[2]李文翔.Petri网在 Email 系统中特征交互检测的应用[J].安庆师范学院学报:自然科学版,2012,18(4):4448.
[3]Gorse N,Logrippo L,Sincennes J.Detecting Feature Interaction in CPL[J].Software & System Modeling,2006,5(2):121134.
[4]Jouve H,Gall P L,Coudert S.An Automatic Offline Feature Interaction Detection Method by Static Analysis of Specifications[C]//Proceedings of the 8th International Conference on Feature Interactions in Telecommunications and Software Systems.Amsterdam,the Netherlands:IOS Press,2005:131146.
[5]卜磊,解定宝.混成系统形式化验证[J].软件学报,2014,25(2):219233.
[6]彭成,王盼卿.软件形式化开发方法的选择策略研究[J].电子设计工程,2014,22(15):3032,36.
[7]缪淮扣,陈海怡.软件形式规格说明语言——Z[M].北京:清华大学出版社,2012.
[8]Zafar N A.Formal Model of Aircrafts Safety Separation[J].International Journal of Innovative Computing,Information and Control,2014,10(4):14011412.
[9]Barreto L,Andrade A,Duran A,et al.Abstract Specification and Formalization of an Operating System Kernel in Z[J].ACM SIGOPS Operating Systems Review,2011,45(1):156160.
[10]Khalafinejad S,MirianHosseinabadi S H.Translation of Z Specifications to Executable Code:Application to the Database Domain[J].Information and Software Technology,2013,55(6):10171044.
[11]孙茂华,缪淮扣,高洪皓.Web应用中数据库交互行为验证[J].计算机工程,2012,38(16):5256.
[12]闫智,詹静.面向行为可信的大数据安全系统形式化描述[J].电信科学,2014,30(7):3238.
[13]张娟,童维勤,蔡立志.基于Z规格说明的可复用测试用例形式化描述[J].计算机工程,2012,38(16):4448.
[14]王吉茂,尹平,张慧颖.基于Z语言的测试用例形式化描述方法研究[J].计算机测量与控制,2013,21(12):31753177.
[15]Meisels I.Software Manual for Windows Z/EVES Version 2.3:TR97550504h[R].ORA Canada,2004.
编辑金胡考 |