CSCW for Preparing Formal Software Specifications: Issues and Implementation
In this paper, the authors 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, they come into view of two different issues, collaborative issues and formal specification issues. Each of these issues is taken into consideration when they 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.