软件需求的形式化转换模型  

Digestion-based Software Formal Transformation Model

作　　者：侯丽珍[1] 蔡小娟[1] 邹恒明[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200240

出　　处：《计算机工程》2007年第5期73-75,共3页Computer Engineering

摘　　要：需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。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

关 键 词：软件需求 形式化转换 软件可靠性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]