Brigham Young University.;
机译:SCTL-MUS:分布式系统软件开发的正式方法论。案例研究
机译:基于正式框架的K-Maude,用于对可扩展软件体系结构进行建模
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:分析形式化方法对工业控制软件开发的影响
机译:一种正式建模和分析移动代理系统软件体系结构的方法。
机译:基于知识的系统。开发和评估专家系统的方法:交互式图形辐射治疗模拟系统的软件设计
机译:基于框架的系统的软件体系结构评估。