CSCW for preparing formal software specifications: Issues and implementation

Mohamed A. Sullabi, Zarina Shukur

Research output: Contribution to journalArticle

2 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)333-340
Number of pages8
JournalJournal of Computer Science
Volume4
Issue number4
Publication statusPublished - 2008

Fingerprint

Computer supported cooperative work
Specifications
Formal specification

Keywords

  • CSCW
  • Formal methods
  • Groupware
  • Software specification
  • Web-based collaborative writing

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Artificial Intelligence

Cite this

CSCW for preparing formal software specifications : Issues and implementation. / Sullabi, Mohamed A.; Shukur, Zarina.

In: Journal of Computer Science, Vol. 4, No. 4, 2008, p. 333-340.

Research output: Contribution to journalArticle

@article{a4eecb736c6744f9831013341b6d8788,
title = "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.",
keywords = "CSCW, Formal methods, Groupware, Software specification, Web-based collaborative writing",
author = "Sullabi, {Mohamed A.} and Zarina Shukur",
year = "2008",
language = "English",
volume = "4",
pages = "333--340",
journal = "Journal of Computer Science",
issn = "1549-3636",
publisher = "Science Publications",
number = "4",

}

TY - JOUR

T1 - CSCW for preparing formal software specifications

T2 - Issues and implementation

AU - Sullabi, Mohamed A.

AU - Shukur, Zarina

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

KW - CSCW

KW - Formal methods

KW - Groupware

KW - Software specification

KW - Web-based collaborative writing

UR - http://www.scopus.com/inward/record.url?scp=54449098162&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=54449098162&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:54449098162

VL - 4

SP - 333

EP - 340

JO - Journal of Computer Science

JF - Journal of Computer Science

SN - 1549-3636

IS - 4

ER -