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 CSCI410
Subject Name Software Requirements, Specifications and Formal Methods
Credit Points 6
Pre-Requisites 24cp @300 level
Co-Requisites None.
Restrictions None.
Equivalence CSCI325
Assessment Assignments 40% Examination 60%
General Subject No.
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
1771-Bachelor of Laws (Honours) (Direct Entry)
1777-Bachelor of Laws (Direct Entry)
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)
760-Bachelor of Communication and Media Studies - Bachelor of Laws
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
775M-Course information not Found
779-Bachelor of Engineering - Bachelor of Laws
858-Bachelor of Journalism - Bachelor of Laws
Work Experience No
Tutorial Enrolment Information No tutorials delivered

Subject Availability
Session Autumn  (27-02-2017 to 22-06-2017)
Campus Wollongong
Delivery Method On Campus
Instance Name Class 1
Course Restrictions No restrictions
Contact Hours 2hr Lecture, 1 hr Tut
Lecturer(s) and
Cons. times
Minjie Zhang
Coordinator(s) and
Cons. times
Minjie Zhang
Instance Comment  
Census Date 31-03-2017

Subject Description
This subject demonstrates how software development can be viewed as a kind of engineering - an activity of building useful things to serve recognisable purposes. The subject introduces students to the understanding of software requirements, techniques of requirement elicitation and analysis, and formal methods for software specification. The role of formal methods in the software development process is explained and investigated. The subject uses the Z notation as an example of a formal specification technique. Case studies are used as a basis for a study of the application of requirement processes and formal specification techniques. Topics will include: Introduction to the procedure of software requirement engineering, formal approaches to design and specification, review of mathematical foundation for formal methods, use of assertions and proof, analysis and verification of specification and design, disciplined approaches to design change, Z notation and other Morden methods for formal specification.

Subject Learning Outcomes
On successful completion of this subject, students will be able to:
1. Describe state of the art techniques of software requirements elicitation and analysis.
2. Explain how software system requirements are translated to appropriate software specifications expressed in a range of different formalisms.
3. Analyse a representative software engineering problem and develop an appropriate formal specification using Z notation.
4. Identify circumstances requiring formal software engineering techniques.
5. Verify the correctness of a formal specification.

Textbook Information

Text book information is available via the UniShop website:

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