Yearbooks

BACK

Formal aspects of computing (I) 740


 
Module code COS 740
Qualification Postgraduate
Faculty Faculty of Engineering, Built Environment and Information Technology
Module content

This module focuses on formally specifying systems by means of Event-B. In this formalism, complex systems are specified as abstract machines which are characterised mainly by pre-conditions and post-conditions. From initially highly abstract machines, for which only very few features are stipulated, the module proceeds to more concrete machines which are richer in the details of their features. Such a "refinement", which eventually approaches a form that is almost implementable, is acceptable if it is logically consistent with the abstract machine with which the entire formal modelling process had started. Already available proof tools (for example: Rodin, or Pro-B) will be applied practically in order to demonstrate the validity of those refinement relations.
Module credits 15.00
NQF Level 08
Prerequisites No prerequisites.
Contact time 2 lectures per week
Language of tuition Module is presented in English
Department Computer Science
Period of presentation Semester 1 or Semester 2
The regulations and rules for the degrees published here are subject to change and may be amended after the publication of this information.

The General Academic Regulations (G Regulations) and General Student Rules apply to all faculties and registered students of the University, as well as all prospective students who have accepted an offer of a place at the University of Pretoria. On registering for a programme, the student bears the responsibility of ensuring that they familiarise themselves with the General Academic Regulations applicable to their registration, as well as the relevant faculty-specific and programme-specific regulations and information as stipulated in the relevant yearbook. Ignorance concerning these regulations will not be accepted as an excuse for any transgression, or basis for an exception to any of the aforementioned regulations.

Postal Address:
University of Pretoria
Private Bag x 20
Hatfield
0028

Location:
GIBS | Groenkloof | Hatfield
Hillcrest | Mamelodi | Onderstepoort | Prinshof

Student Service Centre (for Contact students):
Contact Centre - Telephone: 012 420 3111
Contact Centre - Email: [email protected]

UPOnline Call Centre (for Online Students):
Call Centre - Email: [email protected]

Get Social With Us

Download the UP Mobile App

Copyright © University of Pretoria 2024. All rights reserved.

Careers@UP | Tenders@UP | Ethics Hotline | PAIA Manual | Privacy Notices | Website Privacy Notice | Disclaimer | Terms of use

FAQ's Email Us Virtual Campus Share Cookie Preferences