CSCW for Preparing Formal Software Specifications: Issues and Implementation| Science Publications

Journal of Computer Science

Mohamed A. Sullabi¹  Zarina Shukur¹ 

关键词: Web-based collaborative writing;    CSCW;    software specification;    formal methods;    groupware;   

DOI  :  10.3844/jcssp.2008.333.340

学科分类：计算机科学（综合）

来源: Science Publications

【 摘 要 】

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.

【 授权许可】

Unknown