Iowa State University, Ames, IA, USA;
modular reasoning; translucid contracts;
机译:面向方面的编程,可改善面向对象应用程序的模块化
机译:面向方面的编程,可改善面向对象应用程序的模块化
机译:面向方面的编程,可改善面向对象应用程序的模块化
机译:通过半透明合同实现面向表达方面的模块化推理
机译:面向方面的程序中用于模块化推理的设计学科和语言功能。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通过半透明合同实现面向表达方面的模块化推理