摘要
需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。
Requirement specification fault is one kind of software transformation model that eliminates the weak link existing in today＇s anguage-based requirement into formal representation design faults. This paper presents a digestion-based software formal software formal method approach, and automatically transform natural
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第5期73-75,共3页
Computer Engineering
关键词
软件需求
形式化转换
软件可靠性
Software requirement
Formal transformation
Software reliability
