Collaborative model for preparing formal software specification document - Sullabi, Mohamed Ahmed (2008)
Thesis (Ph.D) - Universiti Kebangsaan Malaysia, 2008
References : p. [155]-175
Keywords: Universiti Kebangsaan Malaysia -- Dissertations; Dissertations, Academic -- Malaysia; Computer software -- Development; Formal methods (Computer science)