CSCW for Preparing Formal Software Specifications: Issues and Implementation
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.
DOI: https://doi.org/10.3844/jcssp.2008.333.340
Copyright: © 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.
- 3,022 Views
- 2,541 Downloads
- 1 Citations
Download
Keywords
- Web-based collaborative writing
- CSCW
- software specification
- formal methods
- groupware