Web-based Collaborative Model for Preparing Formal Software Specifications

Mohammed Sullabi, Zarina Shukur. Web-based Collaborative Model for Preparing Formal Software Specifications. In Gabriele Kotsis, David Taniar, Eric Pardede, Ismail Khalil Ibrahim, editors, iiWAS 2006 - The Eighth International Conference on Information Integration and Web-based Applications Services, 4-6 December 2006, Yogyakarta, Indonesia. Volume 214 of books@ocg.at, pages 433-442, Austrian Computer Society, 2006.

Abstract

Abstract is missing.