...
机译:互动半自动规范挖掘用于调试:经验报告
Univ Calgary Dept Elect & Comp Engn Calgary AB Canada;
InfoMagnet Technol Corp Winnipeg MB Canada;
Univ Calgary Dept Elect & Comp Engn Calgary AB Canada;
MicroPilot Inc Winnipeg MB Canada;
Specification mining; Debugging; Interview; Semi-automated; Case study;
机译:交互式半自动化规范挖掘以进行调试:经验报告
机译:互动多媒体报告:临床实践的主要特点和经验
机译:评估反应堆系统规范方法的框架-经验报告
机译:机器人环境交互式建模系统半自动边缘段规范
机译:为定位系统启用最终用户规范和复杂事件的调试。
机译:BigDebug:用于Spark中交互式大数据处理的调试原语
机译:用Pharo调试网络物理系统:经验报告