位置：成果数据库 > 期刊 > 期刊详情页
Model Based Verification of Dynamically Evolvable Service Oriented Systems
  • ISSN号：1674-733X
  • 期刊名称：Science China Information Sciences
  • 时间：2016.2.1
  • 页码：1-17
  • 相关项目：基于模型检测的软件动态演化一致性保障机制研究
作者： Yu Zhou|Jidong Ge|Pengcheng Zhang|Weigang Wu|
同期刊论文项目
基于模型检测的软件动态演化一致性保障机制研究
期刊论文 9 会议论文 9
同项目期刊论文
Verifying specifications with associated attributes in graph transformation systems
A middleware platform for the dynamic evolution of distributed component-based 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文档对异常描述不一致的自动检测方法