Formal Methods in Software Engineering

Home >> Courses Catalogue >> Formal Methods in Software Engineering
Course Venue:

Mobile Computing Laboratory

CIT Block B
College of Computing and Information Sciences


Course Code: 
MCN 8109
Course Credit Units: 
Semester 1
Year of Study: 
Year 2
Undergraduate or Graduate Level: 
Graduate Level
Course Discipline: 
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: samba porno porno gratis x