机译:针对面向对象代码的编程逻辑建模和跨程序缺陷检测方法
State Key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering University Zhengzhou 450001 China;
State Key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering University Zhengzhou 450001 China;
State Key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering University Zhengzhou 450001 China;
State Key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering University Zhengzhou 450001 China;
The School of Computing Newcastle University Newcastle upon Tyne NE4 5TG UK;
Method constraint relationship; programming logic; code defect; hypothesis test;
机译:针对面向对象代码的编程逻辑建模和跨程序缺陷检测方法
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:面向对象程序中示例驱动模式检测的逻辑元编程基础
机译:面向对象方法从编程代码逆向工程的演变
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:面向对象程序中示例驱动模式检测的逻辑元编程基础
机译:使用面向对象编程方法的本构模型和状态方程