位置：成果数据库 > 期刊 > 期刊详情页
时间属性序列图：语法和语义研究
  • 期刊名称：软件学报
  • 时间：0
  • 页码：2752-2767
  • 语言：中文
  • 相关项目：软件演化和维护过程中若干关键技术研究
作者： 李必信|张鹏程|李文睿|
同期刊论文项目
软件演化和维护过程中若干关键技术研究
期刊论文 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总线接口的设计