其它软件技术

• 来源期刊: 电子科技文摘
• 学科: 工学
• 关键词: 软件技术 质量行为 软件过程 面向对象 软件测试 VERIFICATION 软件复杂性 测试模型 软件工程环境 BEHAVIORAL
• 年，卷（期）: 2002,（7）
• 页码范围: 135-136
• 页数: 2页
• 分类号: TP311.52

摘要

【正】 Y2002-63079-31 0214143停止准则比较:高质量行为验证=Stopping criteriacomparison:towards high quality behavioral verification[会,英]/Hajjar.A.& Chen.T.//Proceedings of the2001 IEEE 2nd International Symposium on QuilityElectronic Design(IEEE ISQED 2001).—31～37(PE)