...
机译:细粒型软件检测工具的设计与实现
GrammaTech Inc. Ithaca NY USA;
program slicing; program verification; software quality; inspection; software tools; data flow graphs; software metrics; fine-grained software inspection tool; software quality; program understanding; program slicing; program chopping; software model checking; program static analysis; static-semantic representation; call graph; program pointer analysis; dependence graph; software complexity;
机译:细粒度的软件检查工具的设计和实现
机译:细粒度的软件检查工具的设计和实现
机译:细粒型软件检测工具的设计与实现
机译:用于在复杂组件上设计和实现分阶段数组UT检查技术的高级软件工具
机译:FGP对用户结构化数据的细粒度持久性:一种工具及其软件设计。
机译:重用现有HIS工具和常规患者数据的患者招募系统通用软件体系结构的设计和多中心实现
机译:使用细粒度的比较评估技术来理解和设计软件可视化工具