Research Article Open Access

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Mohamed A. Sullabi and Zarina Shukur

Abstract

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.

Journal of Computer Science
Volume 4 No. 4, 2008, 333-340

DOI: https://doi.org/10.3844/jcssp.2008.333.340

Submitted On: 30 June 2008 Published On: 30 April 2008

How to Cite: Sullabi, M. A. & Shukur, Z. (2008). CSCW for Preparing Formal Software Specifications: Issues and Implementation . Journal of Computer Science, 4(4), 333-340. https://doi.org/10.3844/jcssp.2008.333.340

  • 3,022 Views
  • 2,541 Downloads
  • 1 Citations

Download

Keywords

  • Web-based collaborative writing
  • CSCW
  • software specification
  • formal methods
  • groupware