机译:从Java程序推断可视合约
Department of Computer Sciences, University of Leicester;
Department of Computer Sciences, University of Leicester;
Institut für Informatik, Humboldt-Universität zu Berlin;
Visual contracts; Graph transformation; Model extraction; Dynamic analysis; Reverse engineering; Specification mining;
机译:野外契约:Java程序研究
机译:Java API(应用程序编程接口)计算和可视化簇的系统发育
机译:十大编程语言的安全漏洞:C,Java,C ++,Objective-C,C#,PHP,Visual Basic,Python,Perl和Ruby
机译:从Java程序中提取视觉契约
机译:基于合同的多线程Java程序同步。
机译:中华绒螯蟹诱导胆汁发育初期爪哇大头菜发育程序的重编程
机译:从Java应用程序推断视觉协定