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: 5
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
The course will cover: set theory, logic, abstract machines, specification, animation, refinement, implementation, proof obligations and proof.
The course will also explore the relationship between formal B models and UML, the informal or semi-formal modelling notation for Object-Oriented design. The course will use case-studies and assignments to develop competence. The methods developed in this course will be used in the SENG2010 and SENG2020 workshops.