Show simple item record

dc.contributor.authorKatushabe, Calorine
dc.contributor.authorNabaasa, Evarist
dc.contributor.authorNyanzi, Abubaker
dc.date.accessioned2019-12-19T11:47:09Z
dc.date.available2019-12-19T11:47:09Z
dc.date.issued2016
dc.identifier.citationKatushabe, C., Evarist, N., & Nyanzi, A. (2016). Towards University Semester and Examinations Regulations Model Verification. International Journal of Computer Applications, 146(2).en_US
dc.identifier.issn0975 – 8887
dc.identifier.urihttp://ir.must.ac.ug/xmlui/handle/123456789/381
dc.description.abstractThis paper reviewed the Mbarara University of Science and Technology semester and examinations regulations handbook and diagrammatically identified a number of flaws in the model. The next phase of this research is to identify parameters at each state in the model and redesign the model so as to try and eliminate or minimize the identified flaws by carrying out model checking for both the current model and the new model to be designed.en_US
dc.language.isoenen_US
dc.publisherInternational Journal of Computer Applicationsen_US
dc.subjectSemesteren_US
dc.subjectExaminations, Regulationsen_US
dc.subjectFlawsen_US
dc.subjectModel checkingen_US
dc.subjectVerificationen_US
dc.titleTowards University Semester and Examinations Regulations Model Verificationen_US
dc.typeArticleen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record