机译:通过基于执行的模型检查来验证质量属性要求
Department of Computer Science, Naval Postgraduate School, 1411 Cunningham Road, Monterey, CA 93943, U.S.A,Time Rover Inc., 11425 Charsan Lane, Cupertino, CA 95014, U.S.A;
Department of Computer Science, Naval Postgraduate School, 1411 Cunningham Road, Monterey, CA 93943, U.S.A;
quality attribute requirements; execution-based model checking; statechart assertions; runtime execution monitoring; automatic white-box testing; validation and verification;
机译:制药过程验证:质量属性的关键要求
机译:验证和排名与用户需求相关的政府住宅建筑物的性能和子属性
机译:流动建模和实验验证预测连续干造粒过程的关键质量属性及优化
机译:通过基于执行的模型检查来验证质量属性要求
机译:使用质量属性来识别和指定嵌入式系统需求。
机译:使用伪3D时空模型检查自动验证计算模型
机译:使用模型检查验证容错系统的要求