Functional analysis; Extraction; Software engineering; Computer program verification; Automation;
机译:函数提取技术对程序理解的影响:受控实验
机译:比较OO-DFD和用例方法对功能要求进行建模对模型的理解和质量的影响:对照实验
机译:使用Z / eves验证Cics文件控件Api:已验证软件存储库中的一项实验
机译:软件验证域中专家系统布尔函数的BDD表示的启发式和实验
机译:豌豆蛋白 提取物 和 影响 的 结构和功能特性 的优化 和按比例增加
机译:通过使用特定于分析物的试剂和两种不同的提取方法对丙型肝炎病毒RNA定量分析的验证
机译:功能提取:航空软件验证和认证的自动行为计算