[机翻] 模型检查XML操作软件
    [期刊]
  • 《Software Engineering Notes》 2004年29卷4期

摘要 : The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming languages. On the other hand, the rich tree-structure... 展开

作者 Xiang Fu   Tevfik Bultan   Jianwen Su  
作者单位
期刊名称 《Software Engineering Notes》
页码/总页数 p.252-262 / 11
语种/中图分类号 英语 / TP31  
关键词 model checking   SPIN   promela   web service   XML   XML schema   MSL   XPath  
馆藏号 TP-353
相关作者
相关关键词