位置：成果数据库 > 期刊 > 期刊详情页
基于Object-Z的Web组件形式化建模
  • ISSN号：1002-137X
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：383-388
  • 相关项目：可信网络软件的形式验证
作者： 严吉皞|缪淮扣|
同期刊论文项目
可信网络软件的形式验证
期刊论文 32 会议论文 22 专利 1 著作 1
同项目期刊论文
基于LSC模型检验的性质抽取
Describing Dynamic Semantics of Formal Specification Language Object-Z Using LTS
OWL-S到Z规格说明的转换
Model-Based Boundary Coverage Criteria for Logic Expressions
Model checking the reliability of interactive behaviors for mobile computing
基于场景的形式化测试模型生成方法
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
优化基于模型检验的测试生成
Verifying web services composition based on interface automata using SPIN
模型检验在构件数据流测试中的应用
基于XML的Web应用模型抽取
威胁驱动的Web应用On-The-Fly导航模型验证方法
确定性有限状态机的最小测试成本迁移覆盖准则
Object-Z规格说明测试用例的自动生成器
构件式实时系统建模与验证研究
1Web应用中数据库交互行为验证
Web服务编排中信息对齐交互建模方法研究
Generating test case specifications of web service composition using model checking
期刊信息
  • 《计算机科学》
  • 北大核心期刊（2011版）
  • 主管单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主办单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主编：陈国良
  • 地址：重庆市渝北区洪湖西路18号
  • 邮编：401121
  • 邮箱：jsjkx12@163.com
  • 电话：023-63500828
  • 国际标准刊号：ISSN：1002-137X
  • 国内统一刊号：ISSN：50-1075/TP
  • 邮发代号:78-68
  • 获奖情况:
  • 2001年重庆市优秀期刊,2004年第三届重庆市优秀科技期刊,2005年重庆市优秀期刊编辑部,2010年第六届重庆市期刊综合质量考核"十佳科技期刊",2012年重庆市出版专项资金报刊资助项目（重庆市新...,2013年重庆市出版专项资金重点学术期刊资助项目（...,2014年重庆市出版专项资金期刊资助项目（重庆市文...,2015年"中国国际影响力优秀学术期刊"
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国乌利希期刊指南,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:41227