Department of Computer Science Montana State University Bozeman, MT 59717;
Department of Computer Science Montana State University Bozeman, MT 59717;
Department of Computer Science Montana State University Bozeman, MT 59717;
Department of Computer Science Montana State University Bozeman, MT 59717;
机译:ArchReco:一种软件工具,可根据上下文感知的设计模式建议来辅助软件设计
机译:圆霍夫变换衍射分析:一种软件工具,用于在Digital Micrograph〜TM中自动测量选定区域的电子衍射图
机译:使用形式化模式验证和验证汽车控制软件的工具集
机译:用于验证设计模式的自动化软件工具
机译:自动推断软件开发行为:Zorro的设计,实现和验证,用于测试驱动的开发
机译:PCR诊断:使用免费软件程序通过自动化工具进行计算机验证
机译:ArchReco:一种基于设计模式的上下文意识推荐,可以帮助软件设计的软件工具
机译:用自动化工程设计语言编写的数字飞行控制系统软件:用户验证和验证工具指南