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.

@inproceedings{SullabiS06,
  title = {Web-based Collaborative Model for Preparing Formal Software Specifications},
  author = {Mohammed Sullabi and Zarina Shukur},
  year = {2006},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/SullabiS06},
  cites = {0},
  citedby = {0},
  pages = {433-442},
  booktitle = {iiWAS 2006 - The Eighth International Conference on Information Integration and Web-based Applications Services, 4-6 December 2006, Yogyakarta, Indonesia},
  editor = {Gabriele Kotsis and David Taniar and Eric Pardede and Ismail Khalil Ibrahim},
  volume = {214},
  series = {books@ocg.at},
  publisher = {Austrian Computer Society},
  isbn = {3-85403-214-5},
}