formal verification; object-oriented programming; program slicing; program testing; aspect-oriented programming; base program; problem slicing; regression test; woven program;
机译:使用面向方面的编程的云服务的运行时可重用编织模型:与安全性相关的方面
机译:面向方面的编程对新手程序质量的影响:比较研究
机译:通过面向方面的编程和全程序分析,使L4微内核针对软错误进行加固
机译:面向方面编程中织造的影响分析
机译:通过声明性推理对面向方面的程序进行理解和更改影响分析
机译:编织本地Web:使用社交网络分析来证明一个民族职业发展计划的价值
机译:面向方面编程的动态编织