System Modelling and Design - COMP2111
Faculty: Faculty of Engineering
School: School of Computer Science and Engineering
Course Outline: www.cse.unsw.edu.au/~cs2111
Campus: Sydney
Career: Undergraduate
Units of Credit: 6
EFTSL: 0.12500 (more info)
Indicative Contact Hours per Week: 4
Enrolment Requirements:
Prerequisite: COMP1911 or COMP1917; and MATH1081.
CSS Contribution Charge: 2 (more info)
Tuition Fee: See Tuition Fee Schedule
Further Information: See Class Timetable
Available for General Education: Yes (more info)
View course information for previous years.
Description
This course introduces rigorous and formal methods for modelling system behaviour. These methods support the modelling of abstract specifications and the refinement of abstract specifications through to concrete implementations. Consistency of formal development is verified by proof obligations and formal proof.
The course will cover: specification, refinement, implementation, proof obligations and proof. It builds on prerequisite knowledge from MATH1081, especially set theory and predicate logic. The course will use case-studies and assignments to develop competence. The methods developed in this course may be used in the Software Engineering workshops.
The course will cover: specification, refinement, implementation, proof obligations and proof. It builds on prerequisite knowledge from MATH1081, especially set theory and predicate logic. The course will use case-studies and assignments to develop competence. The methods developed in this course may be used in the Software Engineering workshops.
Study Levels
UNSW Quick Links
