...
机译:软件模型检查器Blast在软件工程中的应用
Simon Fraser University, Surrey, BC, Canada;
model checking; software verification; software specification; memory safety; test-case generation;
机译:通过计算机辅助过程控制来控制高炉中铁的生成。第一部分/数学模型性能,高炉的计算机辅助过程控制。软件应用程序“高炉计算”性能
机译:高炉计算机辅助过程控制的钢铁制成优化。 电脑辅助工艺控制所需的第一部分/数学模型性能。 软件应用“高炉计算”性能
机译:使用软件模型检查器提取软件库使用模式
机译:在开发软件定义的无线电组件和应用程序时,使用模型驱动的工程来补充软件产品线工程
机译:遗留软件应用现代化的常见策略,小于中型软件工程组织:定性德尔福研究
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:软件模型检查器BLasT:软件工程应用程序
机译:命题公式检查员HeerHugo。软件工程