位置：成果数据库 > 期刊 > 期刊详情页
A middleware platform for the dynamic evolution of distributed component-based systems
  • ISSN号：0010-485X
  • 期刊名称：Computing
  • 时间：2014
  • 页码：725-747
  • 相关项目：基于模型检测的软件动态演化一致性保障机制研究
作者： Yu Zhou|Xiaoxing Ma|Harald Gall|
同期刊论文项目
基于模型检测的软件动态演化一致性保障机制研究
期刊论文 9 会议论文 9
同项目期刊论文
Verifying specifications with associated attributes in graph transformation systems
Model Based Verification of Dynamically Evolvable Service Oriented Systems
Verification of real-time models with hierarchical extensions
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
一种开放环境下软件在线演化一致性验证方法
一种基于Token Log的符合性检查方法
一种Java API文档对异常描述不一致的自动检测方法