Title :
Comments on "Automatic analysis of consistency between requirements and designs"
Author :
Jiau, Hewijin Christine ; Yu, Dung-Feng
Author_Institution :
Dept. of Electr. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
fDate :
4/1/2006 12:00:00 AM
Abstract :
This article comments on "automatic analysis of consistency between requirements and designs".
Keywords :
formal specification; formal verification; consistency analysis; requirements engineering; software design; Algorithm design and analysis; Error correction;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.2006.32
