distributed object oriented logic programming; enterprise modelling; multi agent systems; organization modelling;
机译:针对面向对象代码的编程逻辑建模和跨程序缺陷检测方法
机译:针对面向对象代码的编程逻辑建模和跨程序缺陷检测方法
机译:使用线性时间时序逻辑建模和测试面向对象的分布式系统
机译:24分布式面向对象定向逻辑编程作为企业建模的工具
机译:对有关工程设计产品的不断发展的信息进行建模:一种结合了描述逻辑和面向对象的建模的以对象为中心的方法。
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:分布式面向对象逻辑编程作为企业建模工具
机译:分布式逻辑编程作为面向对象系统规范和实现的工具