Master of Science in Data Communication and Software Engineering

Description 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.                                                                                                                                                                                                                                                                                                                                  Eligibility:

• Applicants shoul have either: 
• A second class level postgraduate diploma in coputer science from a recognised univesity or institution.
• OR:
• A good first degree in computer science or any other degree with evidence of having taken acceptable corses in compute science such as computer liteacy,programming methodology,computer arcitecture,operating systems and data base(management) systems.