位置：成果数据库 > 会议 > 会议详情页
Assumption generation for asynchronous systems by abstraction refinement
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：9th International Symposium on Formal Aspects of Component Software, FACS 2012
  • 时间：2013
  • 成果类型：会议
  • 相关项目：软件过程执行不确定性研究
作者： Yang, Qiusong|Clarke, Edmund M.|Komuravelli, Anvesh|Li, Mingshu|
同会议论文项目
软件过程执行不确定性研究
期刊论文 10 会议论文 13 专利 2
同项目会议论文
Value-risk trade-off analysis for iteration planning in eXtreme Programming
Pricing crowdsourcing-based software development tasks
Analysis of the key factors for software quality in crowdsourcing development: An empirical study on
Search based risk mitigation planning in project portfolio management
HIPRank: Ranking Nodes by Influence Propagation based on authority and hub
Automatic mining of change set size information from repository for precise productivity estimation
DRETOM: Developer Recommendation based on Topic Models for Bug Resolution
DevNet: Exploring Developer Collaboration in Heterogeneous Networks of Bug Repositories
Heterogeneous Network Analysis of Developer Contribution in Bug Repositories
Learning from Open-Source Projects: An Empirical Study on Defect Prediction
Can Requirements Dependency Network Be Used as Early Indicator of Software Integration Bugs?
Effective Map-matching on the Most Simplified Road Network