机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:应用于高性能计算软件设计的正式方法:基于MPI单边通信的锁定的案例研究
机译:正式方法应用于复杂系统:B方法的实现
机译:自动逻辑概率方法和软件工具作为方法和软件工具复合物的组成部分,用于评估小卫星设备的可靠性和生存能力
机译:探索适用于小型卫星软件系统的正式方法和工具。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:用于开发和验证形式富裕模型的方法和工具,用于复杂软件和硬件系统的要求和架构