Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 31108
Survey to Assess the Feasibility of Executing the Web-Based Collaboration Process Using WBCS

Authors: Mohamed A. Sullabi


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.

Keywords: Formal Methods, formal specifications, collaborative writing, usability testing

Digital Object Identifier (DOI):

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 1440


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