...
机译:基于组件的分布式计算中的服务分析质量的正式方法
Formal specification; Quality of service (QoS) component-based software architecture; Uniframe; Two-level grammar (TLG); Object constraint language (OCL); Model driven architecture (MDA);
机译:基于组件的分布式计算中的服务分析质量的正式方法
机译:分布式数据聚合服务中规则分析和验证的正式方法
机译:分布式数据聚合服务中规则分析和验证的正式方法
机译:服务和云计算形式方法的2016 IEEE Services Emerging Technology Track(FM-S&C 2016)Workshop Summary
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:体育组织中情感质量的混合方法分析:体育服务儿童用户的面部表达为数据
机译:分布式数据聚合服务中规则分析和验证的正式方法
机译:基于组件的分布式计算中服务质量分析的形式化方法