位置：成果数据库 > 会议 > 会议详情页
Verifying software requirements based on answer set programming
  • 所属机构名称：北京大学
  • 会议名称：3rd International Conference on Knowledge Science, Engineering and Management, KSEM 2009
  • 成果类型：会议
  • 会场：Vienna, Austria
  • 相关项目：基于逻辑的不一致需求管理方法
作者： Jin, Zhi|Mu, Kedian|Zhang, Qi|
同会议论文项目
基于逻辑的不一致需求管理方法
期刊论文 5 会议论文 2
同项目会议论文
A Measurement-Driven Process Model For Managing Inconsistent Software Requirements