位置：成果数据库 > 期刊 > 期刊详情页
属性序列图: 形式语法和语义
  • ISSN号：1000-1239
  • 期刊名称：计算机研究与发展
  • 时间：0
  • 页码：318-328
  • 语言：中文
  • 相关项目：软件演化和维护过程中若干关键技术研究
作者： 周宇|李必信|徐宝文|张鹏程|
同期刊论文项目
软件演化和维护过程中若干关键技术研究
期刊论文 29 会议论文 23 专利 2 著作 2
同项目期刊论文
Extended hierarchical color petri net-based test case generation for composite services
面向用户的Web服务可靠性计算模型
基于顺序图的Web组合服务属性验证
基于优化逆问题的Web服务选择
Timed Property Sequence Chart
时间属性序列图：语法和语义研究
基于切片度量的重构对象识别
Monitoring requirements-based method for runtime monitoring of Web services
一种基于层次切片的软件错误定位方法
HSM-based Change Impact Analysis of Object-Oriented Java Programs
一种面向服务组合的回归测试技术
一种基于监控需求的Web服务运行时监控方法
基于扩展的层次有色petri网的组合服务测试用例生成
软件体系结构测试技术的现状与思考
属性序列图:形式语法和语义
一种基于并发的BPEL控制流模型的分析及验证
基于变异思想测试OWL-S工作流
一种用于降低变异测试代价的新技术
基于模型的构件软件修改影响分析
基于ARM和VxWorks的PC104总线模块检测系统
基于FPGA的ARM9与PC／104总线接口的设计
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349