位置：成果数据库 > 期刊 > 期刊详情页
A Systematic Study on Explicit-state Non-Zenoness Checking for Timed Automata
  • ISSN号：0098-5589
  • 期刊名称：IEEE Transactions on Software Engineering
  • 时间：2015.1.7
  • 页码：3-18
  • 相关项目：基于问题框架的FR/NFR关联追踪方法研究
作者： Ting Wang|Jun Sun|Xinyu Wang|Yang Liu|Yuanjie Si|Jinsong Dong|Xiaohu Yang|Xiaohong Li|
同期刊论文项目
基于问题框架的FR/NFR关联追踪方法研究
期刊论文 11 会议论文 20
同项目期刊论文
Automatic, high accuracy prediction of reopened bugs
Deriving problem frames from business process and object analysis models
Satisfying quality requirements in the design of a partition-based, distributed stock trading system
PLANT: A pattern language for transforming scenarios into requirements models
Utilizing time-BPMN for temporal requirements modeling and analysis
Reliability-based Design Optimization for Cloud Migration
Understanding quality requirements in knowledge intensive service systems
Improving Natural Language Requirements Quality Using Workflow Patterns