Hospital Management System (HMS): A Formal Approach using Z-notation

  IJCOT-book-cover
 
International Journal of Computer & Organization Trends  (IJCOT)          
 
© 2017 by IJCOT Journal
Volume - 7 Issue - 6
Year of Publication : 2017
AuthorsEjiofor C. I, Mgbeafuluike .I .J
  10.14445/22492593/IJCOT-V7I6P302

MLA

Ejiofor C. I, Mgbeafuluike .I .J "Hospital Management System (HMS): A Formal Approach using Z-notation", International Journal of Computer & organization Trends (IJCOT), V7(6):11-13 November - December  2017, ISSN:2249-2593, www.ijcotjournal.org. Published by Seventh Sense Research Group.

Abstract The use of formal specification creates a formal approach for specifying the underlying functions and properties of the software system. This paper has attempted to give a formal description of the activities Hospital management System(HMS) using Zed notations.

References-

1) Adroit (2017), eHospital System, retrieved online from https://www.adroitinfosystems.com/ Products/ehospital-systems.
2) Practo, (2015), Hospital Management System, retrieved online from https://doctors.practo.com/hospital-management-system/ 10 October, 2017.
3) Rachita N. (2017),Hospital System,http://itprojectshub.com/documentation/hospital-management-system.docx.
4) Jiantao P. (1999), “Software Reliability”, retrieved online from http://ece.cmu.edu/koopman/Des_a 99/sw-reliability/.
5) Michael J. (2017), Formalism and Informality in Software System, retrieved online from https://link.springer.com/chapter/10.1007/3-540-46019-5_31.
6) Sannella D., (1988), “A Survey of formal software development methods”, appeared in Software Engineering: A European Perspective, A. McGettrick and R. Thayer (eds.), IEEE Computer Society Press, pp 281-297, 1993.
7) Spivey J. M. (1992), “The Z Notation: A Reference Manual, 2nd Edition”, Prentice Hall International (UK) limited, United Kingdom.
8) Spivey J. M. (1998), “The Z Notation: A Reference Manual”, Oxford, United Kingdom.
9) Stuart R., and Norvig P. (1995), “Artificial Intelligence: A Modern Approach”, Prentice Hall (UK) International.

Keywords-
HMS, Z-Notation