Survey to Assess the Feasibility of Executing the Web-Based Collaboration Process Using WBCS

The importance of the formal specification in the
software life cycle is barely concealing to anyone. Formal
specifications use mathematical notation to describe the properties of
information system precisely, without unduly constraining the way in
how these properties are achieved. Having a correct and quality
software specification is not easy task. This study concerns with how
a group of rectifiers can communicate with each other and work to
prepare and produce a correct formal software specification. WBCS
has been implemented based mainly in the proposed supported
cooperative work model and a survey conducted on the existing Webbased
collaborative writing tools. This paper aims to assess the
feasibility of executing the web-based collaboration process using
WBCS. The purpose of conducting this test is to test the system as a
whole for functionality and fitness for use based on the evaluation
test plan.

• Mohamed A. Sullabi

• Formal methods
• Formal specifications
• collaborative writing
• Usability testing.

[1] C. J. Burgess, "The Role of Formal Methods in Software Engineering
Education and Industry,” In Proceedings of the 4th Software Quality
Conference. Dundee. Scotland, 1995, pp. 98-105.
[2] O. Salman, "Animation of Z Specifications by Translation to Prolog,”
Department of Computer Science, University of Cairo, Egypt, 1997.
[3] M. A. Sullabi and Z. Shukur, "CSCW for Preparing Formal Software
Specifications: Issues and Implementation,” Journal of Computer
Science 4(4), 2008, pp. 333-340.
[4] M. A. Sullabi and Z. Shukur, "Model of CSCW for Z Specifications
Document,” International Conference on Business, Law and
Technology. Copenhagen Denmark, 2006, pp. 5-7.
[5] M. A. Sullabi and Z. Shukur, "SNL2Z: Tool for Translating an Informal
Structured Software Specification into Formal Specification,” American
Journal of Applied Sciences5(4),2008, pp. 378-384.
[6] G. Abowd, J. Coutaz, and L. Nigay, "Structuring the Space of
Interactive System Properties,” Proceedings of the EHCI'92, IFIP
TC2/WG2.7 Working Conference on Engineering for Human Computer
Interaction, North Holland Publ, Ellivuori, Finland, 1992, pp. 113-128.
[7] J. D. Gould, How to Design Usable System, In R. M. Baecker. J.
Grudin, W. A. S. Buxton, and S. Greenberg (Eds.) Readings in Human-
Computer Interaction: Toward the Year 2000. Second Edition. Morgan
Kaufmann Publishers, 1995.
[8] Y. Tao, "Developing Usable GUI Applications with Early Usability
Evaluation,” In: Proceedings of the IASTED International Conference
on Software Engineering, Innsbruck, Austria, 2005.