International Journal of Computer
& Organization Trends

Research Article | Open Access | Download PDF

Volume 7 | Issue 6 | Year 2017 | Article Id. IJCOT-V7I6P302 | DOI : https://doi.org/10.14445/22492593/IJCOT-V7I6P302

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


Ejiofor C. I, Mgbeafuluike .I .J

Citation :

Ejiofor C. I, Mgbeafuluike .I .J, "Hospital Management System (HMS): A Formal Approach using Z-notation," International Journal of Computer & Organization Trends (IJCOT), vol. 7, no. 6, pp. 11-13, 2017. Crossref, https://doi.org/10.14445/22492593/IJCOT-V7I6P302

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.

Keywords

HMS, Z-Notation

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.