formal methods; specification-based testing; refinement; refinement calculus; contracts;
机译:一种新的自我报告的综合问卷的重测信度,该问卷测量了不同方式的青少年上学和父母上下班的频率-ATN问卷
机译:基于通勤的空间模型连续性矩阵的改进,以及在当地警察支出中的应用
机译:使用探索性测试对模型进行自动优化以进行基于模型的测试
机译:通勤V形图关于精炼与测试的关系
机译:通通微分函数上的等价关系和小数位数
机译:一种新的自我报告的综合问卷的重测信度该问卷测量了不同方式的青少年上学和父母上下班的频率-ATN问卷
机译:一种新的自我报告的综合问卷的重测信度,该问卷测量了不同方式的青少年上学和父母上下班的频率-ATN问卷