机译:正式评估教学工具:软件工程中的受控实验
computer science education; human computer interaction; software engineering; statistical analysis; student experiments; educational technology; formal assessing; human-computer interaction; inferential statistics; instructional procedure; instructional tool; inter;
机译:涉及人员参与的软件工程工具受控实验的实用指南
机译:涉及人员参与的软件工程工具受控实验的实用指南
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:正式和非正式的软件工程方法和工具。代尔夫特大学的软件工程教育:一种形式化方法
机译:计算机辅助软件工程工具,系统复杂性和系统分析师的经验对系统设计质量和生产率的影响的调查:实验室实验
机译:LogViewer:使用Orbitrap和LTQ-FT质谱仪可视化质量控制参数以优化蛋白质组学实验的软件工具
机译:与人类参与者一起控制软件工程工具实验的实用指南
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术