Journal of Computer Science

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Mohamed A. Sullabi and Zarina Shukur

DOI : 10.3844/jcssp.2008.333.340

Journal of Computer Science

Volume 4, Issue 4

Pages 333-340


In this study, we concern with how a group of rectifiers can be worked on preparing and producing correct formal software specification and how can they communicate with each other. To address these subjects, we come into view of two different issues, collaborative issues and formal specification issues. Each of these issues is taken into consideration when we propose the solution of the subject that is a web-based model of Computer Supported Cooperative Work (CSCW) for Z specification document. This model provides software developers with web environment that supports them to collaborate and to help them to produce correct software formal specifications. A web-based prototype application system based on this model has been developed.


© 2008 Mohamed A. Sullabi and Zarina Shukur. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.