Digital reference service model of web services application for library information system using formal specification

Library information system (LIS) is a large and important system that comprises of many components .Digital reference service (DRS) is a module in LIS that provide facility for user to request help from a librarian. The librarian also responds to the request by using the DRS module. In most cases us...

Full description

Bibliographic Details
Main Author: Zainab Magaji Musa (Author)
Corporate Author: Universiti Sultan Zainal Abidin . Faculty of Informatics and Computing
Format: Thesis Book
Language:English
Subjects:
Table of Contents:
  • 1. Introduction
  • 2. Literature review
  • 3. Research methodology
  • 4. The proposed digital reference service model
  • 5. Verification and validation of the Z specifications
  • 6. Conclusion