Validation of Software Property Specifications Using the TV Tool  

作　　者：Salamah Salamah 

机构地区：[1]College of Engineering, Embry Riddle Aeronautical University, Daytona Beach, Florida 32114, USA

出　　处：《通讯和计算机（中英文版）》2011年第4期300-306,共7页Journal of Communication and Computer

关 键 词：工具软件 验证 电视 规格 物业 软件开发 线性时序逻辑 系统可靠性 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论] TN941.1[自动化与计算机技术—计算机科学与技术]