机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:应用于高性能计算软件设计的正式方法:基于MPI单边通信的锁定的案例研究
机译:基于应用软件特征分析的动态存储控制最优方法选择准则
机译:用正式方法改变航空电子软件的开发过程
机译:探索适用于小型卫星软件系统的正式方法和工具。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:ESTEREL:一种应用于航空软件开发的正式方法
机译:形式化方法在航空电子软件规范和安全中的应用