机译:正式软件开发的未来框架?
Formality; Frameworks; Open Distributed Systems; SDL;
机译:Microsoft解决方案框架:敏捷或正式软件开发过程的集成方法
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:电磁场问题有限元软件开发的正式UML相关软件工程方法
机译:基于QP的无人机飞行控制软件开发与形式验证框架
机译:分析基于框架的软件系统的正式方法。
机译:微计算机实时生物医学仪器的硬件-软件框架:近期的发展
机译:框架:正式软件开发的未来?