CSC312 – Formal Methods And Software
 /  CSC312 – Formal Methods And Software

CSC312 – Formal Methods And Software


Anoemuah, Rosemary Aruorezi

Learning Objectives: By the end of this course, Students should be conversant with the primary current approaches to formal methods and their use in software development. Students should be familiar with the examples typically used in research papers (e.g., gas station, elevator, cruise control, alarm clock). Students should also be aware of the major open problems in the use of formal methods in software engineering and software architectures, such that research within this domain would be a natural follow-on to this course.


Course Outline
CSC312 - Formal Methods And Software
Anoemuah Rosemary Aruorezi
Computer Science
Natural and Applied Sciences
Word, 106.8KB


Staff Profile Download

MICHAEL AND CECILIA IBRU UNIVERSITY

Ibru Village
Agbarha – Otor
Ughelli North
Delta State
Nigeria

Admissions

CONNECT WITH US

Registry