Towards University Semester and Examinations Regulations Model Verification
dc.contributor.author | Calorine, Katushabe | |
dc.contributor.author | Nabaasa, Evarist | |
dc.contributor.author | Abubaker, Nyanzi | |
dc.date.accessioned | 2023-01-23T08:27:21Z | |
dc.date.available | 2023-01-23T08:27:21Z | |
dc.date.issued | 2016-07 | |
dc.description.abstract | This 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.identifier.uri | https://ir.bsu.ac.ug//handle/20.500.12284/428 | |
dc.language.iso | en_US | en_US |
dc.publisher | International Journal of Computer Applications | en_US |
dc.subject | Semester | en_US |
dc.subject | Examinations | en_US |
dc.subject | Regulations | en_US |
dc.subject | Flaws | en_US |
dc.subject | Model checking | en_US |
dc.subject | Verification. | en_US |
dc.title | Towards University Semester and Examinations Regulations Model Verification | en_US |
dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Towards_University_Semester_and_Examinations_Regul.pdf
- Size:
- 488.21 KB
- Format:
- Adobe Portable Document Format
- Description:
- Towards University Semester and Examinations Regulations Model Verification
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: