|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 19 van 49 gevonden artikelen
| Titel: |
CSCW for Preparing Formal Software Specifications: Issues and Implementation |
| Auteur: |
Mohamed A. Sullabi Zarina Shukur |
| Verschenen in: |
Journal of computer science |
| Paginering: | Jaargang 4 (2008) nr. 4 pagina's 333-340 |
| Jaar: |
2008 |
| Inhoud: |
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. Toaddress 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 ofthe 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 supportsthem 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. |
| Uitgever: |
Science Publications (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 19 van 49 gevonden artikelen
| << vorige | volgende >> |