Web-based Collaborative Model for Preparing Formal Software Specifications. - Mohammed Sullabi; Zarina Shukur (iiWAS, 2006)