AOP; interface protocol; runtime verification;
机译:使用反射和元对象协议进行面向方面的编程
机译:使用程序转换为JML优化生成的面向方面的断言检查代码:一项实证研究
机译:标准化模型,编程接口和协议对舰船动力系统的影响
机译:使用面向方面的编程检查界面交互协议
机译:终端套接字:Microsoft(RTM)DOS的传输控制协议/ Internet协议(TCP / IP)网络编程接口规范的终端仿真器。
机译:targetHub:miRNA与基因相互作用的可编程接口
机译:在面向方面的程序中加入点接口以进行模块化推理
机译:检查代理设计与早期缺陷定位的交互协议的一致性