The University of Alabama in Huntsville;
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:实施到设计和需求规范的可追溯性:正式的技术评审方法(逆向工程工具)
机译:实施到设计和需求规格的可追溯性:正式的技术评审方法(逆向工程工具)
机译:工程CASE工具支持实时软件开发的正式方法
机译:过程系统工程工具和方法在基于发酵的生物精炼厂中的应用
机译:制定衡量地方公共卫生实施气候和股权实践能力的测量工具:在当地公共卫生系统中肥胖预防的应用
机译:开发用于移动微型机器人的生物启发视觉系统:在本文中,我们提出了一种用于移动微型机器人的新型生物启发视觉系统。该处理方法从检测快速接近物体的蝗虫视觉中获取灵感。研究表明,蝗虫使用称为小叶巨型运动探测器的宽视野神经元来应对即将发生的碰撞。我们采用蝗虫的视觉机制来控制移动机器人。所选择的图像处理方法使用低成本且快速的aRm处理器在开发的扩展模块上实现。视觉模块放置在微型机器人的顶部以控制其轨迹并避开障碍物。几次进行的实验观察到的结果表明,开发的扩展模块和灵感视觉系统可用作避障和运动控制的视觉模块。
机译:分布式实时系统开发的形式化方法和工具