software architecture; formal verification; middleware; program verification; software quality; compositional verification; middleware-based software architecture descriptions; software system development; software application; middleware; verification techniques; model checking; software life-cycle; software quality; assume-guarantee methodology;
机译:基于中间件的智能学习环境中交互的软件体系结构
机译:分布式系统动态软件架构的描述和验证
机译:勘误表:软件体系结构动态演进的规范和验证(系统体系结构期刊(2010)56:10(523-533))
机译:基于中间件的软件体系结构说明的组成验证
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
机译:基于中间件的软件体系结构描述的组合验证
机译:开发基于中间件的机载任务系统软件体系结构评估方法