Digestion-based Software Formal Transformation Model
Zou Heng-ming · Jisuanji gongcheng · 2007
Requirement specification fault is one kind of software design faults.This paper presents a digestion-based software formal transformation model that eliminates the weak link existing in today’s software formal method approach,and automatically transform natural language-based requirement into formal representation.