位置：成果数据库 > 期刊 > 期刊详情页
Verifying specifications with associated attributes in graph transformation systems
  • ISSN号：2095-2228
  • 期刊名称：Frontiers of Computer Science
  • 时间：2015.6
  • 页码：364-374
  • 相关项目：基于模型检测的软件动态演化一致性保障机制研究
作者： Yu Zhou|Yankai Huang|Ou Wei|Zhiqiu Huang|
同期刊论文项目
基于模型检测的软件动态演化一致性保障机制研究
期刊论文 9 会议论文 9
同项目期刊论文
Model Based Verification of Dynamically Evolvable Service Oriented 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文档对异常描述不一致的自动检测方法
期刊信息
  • 《中国计算机科学前沿：英文版》
  • 主管单位:中华人民共和国教育部
  • 主办单位:高等教育出版社
  • 主编：李未　陆汝钤
  • 地址：北京市朝阳区惠新东街4号富盛大厦15层
  • 邮编：100029
  • 邮箱：
  • 电话：
  • 国际标准刊号：ISSN：2095-2228
  • 国内统一刊号：ISSN：11-5731/TP
  • 邮发代号:80-970
  • 获奖情况:
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国科学引文索引（扩展库）,英国科学文摘数据库
  • 被引量:7