搜索结果: 1-2 共查到“计算机科学技术 Static Analysis Techniques”相关记录2条 . 查询时间(0.078 秒)
Static Analysis Techniques for Predicting the Behavior of Active Database Rules
Static Analysis Techniques Predicting Behavior Active Database Rules
2016/5/24
Methods are given for statically analyzing sets of database production rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique nal database state, and (3) ...
Improving Processes Using Static Analysis Techniques
Fault tree analysis Finite state verification Process improvement
2014/12/18
Real-world processes often undergo improvements to meet certain goals, such as coping with changed requirements, eliminating defects, improving the quality of the products, and reducing costs. Identif...