Subject Descriptions - Subject Information

Calendar: 2017 Undergraduate
Faculty: Faculty of Engineering and Information Sciences
Department: School of Computing and Information Technology

Subject Information
Subject Code CSCI325
Subject Name Software Engineering Formal Methods
Credit Points 6
Pre-Requisites CSCI204
Co-Requisites CSCI311
Restrictions None.
Equivalence None.
Assessment Z Exercise-30% Essay-20% Final Examination-50%
General Subject Yes.
EFTSL (Non Weighted) 0.125
Non Weighted Student Contribution Amounts
Commonwealth Supported (HECS) Students Only
Pre-1997 Pre-2005 Post-2005 Post-2008 Post-2009 Post-2010
$ 1131  $ 1131  $ 1131  $ 1131  $ 1131  $ 1131 
Weighted Student Contribution Amounts
Commonwealth Supported (HECS) Students Only
1827-Bachelor of International Studies - Bachelor of Laws
1845-Bachelor of Information Technology - Bachelor of Laws
1852-Bachelor of Business Information Systems - Bachelor of Laws
351-Bachelor of Laws (Honours)
770-Bachelor of Laws (Graduate Entry)
771-Bachelor of Arts - Bachelor of Laws
771H-Bachelor of Arts - Bachelor of Laws
772-Bachelor of Creative Arts - Bachelor of Laws
773-Bachelor of Commerce - Bachelor of Laws
774-Bachelor of Mathematics - Bachelor of Laws
775-Bachelor of Science - Bachelor of Laws
775H-Bachelor of Science - Bachelor of Laws
Work Experience No
Tutorial Enrolment Information None.
Availability Not Available in 2017

Subject Description
This subject introduces students to formal methods for software specification. The role of formal methods in the software development process is explained, and it is illustrated with case studies of the industrial application of formal methods. The subject uses the Z notation as an example of a formal specification technique, and software tools for the manipulation of Z specifications are introduced. Case studies in the application of formal methods to safety-critical and real-time software systems are presented.

Extra Information
Subject Objectives:
A student who successfully completes this subject should be able to:
understand and use propositional and predicate calculus;
understand formal specifications written in the Z notation; translate informal descriptions into formal specifications in the Z notation;
use software tools for the manipulation of formal specifications;
describe case studies of the applications of formal methods;
describe current industrial practice of formal methods in software development.

Textbook Information

Text book information is available via the UniShop website:

Search Criteria [Click here for help]
Subject Code / Name
Delivery Method
General Subjects