运行时验证论文

基于运行时验证的列控系统形式分析
论文摘要列车运行控制系统是轨道交通信号系统的重要组成部分之一,是保证列车运行安全的主要因素之一。随着计算机技术在列车运行控制系统中的应用,安全问题显得越发的重要和复杂,传统的测...
基于AOP的业务约束运行时检测
论文摘要伴着计算机的迅猛发展，计算机软件已渗透到日常生活的各个方面。为了满足社会及人民的各种需求，应用软件的规模不断扩大，从而导致复杂度也不停地提高。在许多关键性的领域，计算机...