Handbook 1996 : Faculty of Engineering (Volume 4 page 108)
Computer Science subject : Next:433-442 | Prev:433-440 | Search | Help

433-441 Formal Methods

Credit points: 8.00

Coordinator: Dr. P. Dart

Prerequisite: Computer Science 433-342

Corequisite: Computer Science 433-443

Contact: 18 hours of lectures

Timetable: First semester

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.

Computer Science subject : Next:433-442 | Prev:433-440 | Search | Help
Handbook 1996 : Faculty of Engineering (Volume 4 page 108)

Status:          Official 1996
Date created:    Oct  9 1995
Last modified:   Oct  9 1995
Authorised by:   Academic Registrar
Email enquiries: Course_Information@registrar.unimelb.edu.au

Copyright © University of Melbourne 1995,1996.