预测语义相关硕士博士期刊学术论文 - 搜论网

预测语义相关论文

一种基于MaC的运行时验证框架的研究

介绍一种基于Monitoring and Checking（MaC）的运行时验证框架。受预测语义概念及一种比较成熟的运行时验证工具MaC的启发,通过研究Ma......

期刊

MAC 运行时验证预测语义 MaC runtime verification anticipatory semantics

基于AOP的软件运行时验证关键技术研究

随着信息社会的发展，计算机软件已渗透到日常生活的各个方面，提高计算机软件的可靠性和安全性，以保证其按照人们期望运行的要求变得十......

学位

运行时验证面向方面编程运行时监控器冲突检查预测语义

看过本文同时还关注