Research Methods and Proposal Honours Research Report Formal Logic Ontology Engineering Logic-Based Reasoning Machine Learning Natural Language Processing Formal Program Verification Software Engineering Human-Computer Interaction Software Project Management Information Security E-Learning: Concepts and Principles Enterprise Architecture