Formal Methods in Software Engineering | Makerere University Courses

Instructor:

swaib Kyanda Kaawaase

Course Venue:

Mobile Computing Laboratory

CIT Block B

College of Computing and Information Sciences

Course Code:

MCN 8109

Course Credit Units:

Semester:

Semester 1

Year of Study:

Year 2

Undergraduate or Graduate Level:

Graduate Level

College:

College of Computing and Information Sciences

School:

School of Computing and Informatics Technology (CIT)

Department:

Networks

Course Discipline:

computing

Course Description & Objectives:

This course covers formal methods used in the development of software. It studies languages for object-oriented modeling, such as the Unified Modeling Language (UML) along with its Object Constraint Language (OCL) and Action Semantics extensions; the specification of abstract data types, such as Z; and concurrency, such as process algebras and temporal logic.Aims:The aim of the course is to equip students with the knowledge to develop and specify a precise statement of what the software is to do, while avoiding explicit (or even implicit) constraints on how it is to be done.

Learning Outcomes:

At the end of the course

Student should be able to understand and specify systems formally
Student should be able to understand how to use formal tools to verify and understand software systems

File Attachments:

Attachment	Size
MCN 8109 Formal Methods in Software Engineering.doc	42.5 KB