机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:企业软件的数据记录:从工业应用到研究(特邀演讲)
机译:软件开发方法和可用性:挪威软件行业调查的观点
机译:从工业角度看的软件错误或可以使用正式方法有助于汽车软件开发?(邀请谈话)
机译:使用形式化方法进行软件开发的案例研究。
机译:适应和开发用于心血管工程的软件仿真方法:从最终用户的角度来看当前和未来的挑战
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术