Dealing with conflict in CSCW model for writing formal software specification document

For studying how a group of people can be work to preparing and produce a correct formal software specification, and how can they communicate with each other. One of main issues that should be taken into consideration when we propose a solution is the conflict among the group members and how we can manage this conflict. We cannot engage in group activities without encountering conflict It is an inherent part of the collaborative process. Conflict can be either destructive or constructive, depending on how it is handled. Misunderstanding of roles can lead to conflicts within a group. Collaborators must reach some degree of consensus or they will never get anything accomplished. In this paper, we present our model that provides software developers with web environment that supports them to collaborate and to help them to produce correct software formal specifications. We discuss some approaches that were applied in our model to help in managing any conflicts could be arising during the rectifying processes.