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 … For more content click the Read More button below.
Enrolment rules
Pre-Requisite
Equivalence
CSCI910 - Software Requirements, Specifications and Formal Methods
CSCI325 - Software Engineering Formal Methods
Delivery
To view information specific to your campus, click on Select availability in the top right of screen and choose from the campus, delivery mode and session options.
Teaching staff
Subject coordinators
Engagement hours
Contact Hours:2 hrs lecture and 1 hr workshop per week
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.
Assessment details
Assignment
Project
Final Exam
Textbook information
No prescribed textbooks for this subject.