Department of Computer Science;
Department of Computer Science;
机译:RML:运行时监控语言:用于运行时验证的系统 - 不可止液DSL
机译:来自高级应用程序域(软件之外)的运行时验证挑战的调查
机译:纠正:从高级应用域(超越软件)的运行时验证挑战调查
机译:运行时监视领域的AOP:突破基于代码的模型
机译:在运行时支持多实验计算研究中使用应用程序领域知识。
机译:跨域的元认知:是算术和元认知监视域之间的关联吗?
机译:使用aOp进行详细的运行时监控仪器
机译:在多实验计算研究的运行时支持中使用应用领域知识