机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:将形式化方法集成到医疗软件开发中:ASM方法
机译:评论“形式方法的应用:软件开发的经验故事”
机译:正式方法对工业控制软件发展的影响分析
机译:一种正式建模和分析移动代理系统软件体系结构的方法。
机译:受控词汇的开发和软件应用用于分析番茄和其他植物物种的果实形状变化
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术