Department of Computing University of Surrey Guildford Surrey GU2 7XH UK;
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:基于Eduscrum项目管理方法的正规,非正规和非正规教育环境教育的实施轨迹
机译:SE课程设计:方法论,形式方法和生命周期模型。二。形式方法
机译:一种正式的方法,可解释,安全和可融合性的钢筋学习
机译:社论:理解复杂性的计算方法:生物学中形式方法的使用
机译:关于形式方法2008教程的提案:正式方法和信号处理