位置：成果数据库 > 会议 > 会议详情页
More anti-chain based refinement checking
  • 所属机构名称：浙江大学
  • 会议名称：14th International Conference on Formal Engineering Methods, ICFEM 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：基于问题框架的FR/NFR关联追踪方法研究
作者： 王新宇|
同会议论文项目
基于问题框架的FR/NFR关联追踪方法研究
期刊论文 11 会议论文 20
同项目会议论文
BOAT: An experimental platform for researchers to comparatively and reproducibly evaluate bug locali
<span style="color: red; font-family:;" calibri",sans-serif;font-size:10.5pt;"
<span lang="EN-US" style="FONT-FAMILY: 'Arial', 'sans-serif';
An Efficient Fault-tolerant Scheduling Algorithm for Periodic Real-time Tasks in Heterogeneous Platf
Cross-language bug localization
Geographic Location-Based Network-Aware QoS Prediction for Service Composition
Privacy requirements patterns for mobile operating systems
QRA: A Quality Requirements Analysis Approach for Service Systems
Reputation-Aware QoS Value Prediction of Web Services
Tag recommendation in software information sites
Software internationalization and localization: An industrial experience
Build system analysis with link prediction
Build Predictor: More Accurate Missed Dependency Prediction in Build Configuration Files
An empirical study of bug report field reassignment
Automatic defect categorization based on fault triggering conditions
Are timed automata bad for a specification language? Language inclusion checking for timed automata
Towards More Accurate MultiLabel Software Behavior Learning
Towards more accurate content categorization of API discussions
Accurate developer recommendation for bug resolution