Sullabi, Mohamed Ahmed <br/><br/>
Collaborative model for preparing formal software specification document / 
Mohamed Ahmed Sullabi 
 -  2008 
 - xii, 205 p. :  ill. ;  30 cm. 
<br/><br/>Thesis (Ph.D) - Universiti Kebangsaan Malaysia, 2008 
<br/><br/>References : p. [155]-175 
<br/><br/><label>Subjects--Corporate Names: </label><br/>Universiti Kebangsaan Malaysia--Dissertations
<br/><br/><label>Subjects--Topical Terms: </label><br/>Dissertations, Academic--Malaysia<br/>Computer software--Development<br/>Formal methods (Computer science)