摘要
在煤矿行业中,对面向领域的软件需求一致性验证,成为目前重要的研究课题之一。文章通过简要介绍面向领域的软件需求一致性验证方法,根据煤矿需求一致性验证存在的问题,选择合适的验证方法进行需求一致性验证。
In coal mine industry, about the consistency of the face in the field of software requirements, become one of the important research subject at present. This paper through the brief introduction to the field of software requirements consistency verification method, according to the coal demand consistency problems existing in the validation, and choose the right method to demand consistency test.
出处
《煤炭技术》
CAS
北大核心
2013年第9期196-197,共2页
Coal Technology
关键词
煤矿
需求一致性
验证方法
形式化
The field
demand consistency
validation methods
formal