Numerical solution of partial differential equations and iteraitive methods in matrix analysis.
(First Term - 2 h.p.w.)

Linear Programming, Integer Programming, Branch and bound techniques. Transportation and network algorithms. PERT/CPM analysis.
(1 h.p.w.).

Formal Specification Techniques. Reasoning about programs: Partial and Total Correctness. Formal Construction of Programs. The Weakest Precondition Semantics. The REfinement Calculus.
(1 h.p.w.)

Basic Data Communications. ISO Reference Model. TCP/IPsuite. Transmission. Protocols. LAN. WAN. Internetworking. Open Systems. Open Distributed Processing.
(2 h.p.w.)

Object-based programming. C++. Functional Programming. LISP. Logic Programming. PROLOG. Applications of object, functional and logic programming.
(2 h.p.w.)

The Software Development Life-Cycle. Waterfall, Prototype and Spiral Models of Software Product Development. Software perspectives: Process, Data and Time. Requirements Gathering and Analysis. Introduction to Information Engineering. Data Modelling, Analysis and Design. Entity-Relationship Modelling and Normalisation. Introduction to Software Testing: Black and White Box approaches. Complexity and Metrics Analysis. Transaction Flow Testing. Logic-Based Testing. The V-model of software development.
(2 hours/week over the full year).

Introduction to GUI programming. MS Access. Database Design. Design of Forms, Tables, Integrity Constraints. Database manipulation. Access programming routines.
(2 hours/week in Semester II).

(See Calendar p.604)
(2 h.p.w. - First Semester)

(See Calendar p.604)
(2 h.p.w. - First Semester)

(See Calendar p.602)
(2 h.p.w. - First Semester)

(See Calendar p.603)
(2 h.p.w. - First Semester)

(4 h.p.w.)

(4 h.p.w.)

(4 h.p.w.).

STUDENTS WILL PARTICIPATE IN INDUSTRIAL PLACEMENT OR WILL UNDERTAKE AN APPLIED COMPUTING PROJECT IN THEIR THIRD YEAR.