Adaptation models; Engines; Generators; ISO standards; Testing; Unified modeling language; Model-based testing (MBT); UML Testing Profile (UTP); automated test design; test design techniques; test generation;
机译:启发式粒子滤波器:将抽象技术应用于视觉跟踪算法的设计
机译:集成抽象技术以进行模拟设计的形式验证
机译:基于图表的技术,用于表示不同抽象级别的设计
机译:试验设计技术的抽象
机译:用于验证数字设计的抽象技术。
机译:找到封闭的城市广场的最佳D / H比:使用沉浸式虚拟现实仿真技术测试城市设计原理
机译:测试设计技术的抽象
机译:开发Tspa-Va的抽象/测试活动或者pa,站点和设计如何在没有吹灰的情况下共识