Wuwei Shen Mohsen Guizani Zijiang Yang Kevin J. Compton James Huggins Execution of A Requirement Model in Software Development. 203-208 2004 conf/iasse/2004 IASSE db/conf/iasse/iasse2004.html#ShenGY04