Search | Previous : 433-440 | Next : 433-442
Handbook 1997 : Faculty of Engineering : School of Electrical Engineering and Computer Science

433-441 Formal Methods

Credit Points:

8.00

Coordinator:

Dr P. Dart

Prerequisite/s:

Computer Science 433-342.

Corequisite/s:

Computer Science 433-443.

Timetable:

Semester 1

Contact:

18 hours of lectures

Objectives:

On successful completion of this subject students should:

  • understand the objectives of formal methods;

  • be familiar with the form, content and uses of formal specifications;

  • be aware of factors that influence human-computer interaction;

  • be familiar with a range of standards, techniques, languages and tools developed to support formal methods;

  • be able to contribute to the production of high quality software requirements specifications.

Content:

Objectives of formal methods; form, content and uses of formal specifications; Notations, tools and standards for abstract specification, algebraic specification and the specification of concurrency.

Assessment:

One three-hour written examination. Project work must be completed satisfactorily to pass the subject. Weighting of assessment components will be notified at the start of the subject.
Search | Previous : 433-440 | Next : 433-442
Handbook 1997 : Faculty of Engineering : School of Electrical Engineering and Computer Science 
Status:                   OFFICIAL 1997
Last Modified:            Wednesday March 12 3:36 pm
SGML to HTML Conversion:  Information Technology Services
Authorised by:            Academic Registrar
Email Enquiries:          Course_Information@registrar.unimelb.edu.au
Copyright © University of Melbourne 1997.