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: Kensington Campus
	Career: Undergraduate
	Units of Credit: 6
	EFTSL: 0.12500 (more info)
	Indicative Contact Hours per Week: 5
	Enrolment Requirements:
	Prerequisite: COMP1911 or COMP1917; Corequisite: MATH1081.
	Excluded: COMP2110
	CSS Contribution Charge:Band 2 (more info)
	Tuition Fee:See Tuition Fee Schedule
	Further Information: See Class Timetable
	Available for General Education: Yes (more info)

Description

This course introduces rigorous and formal methods for modelling system behaviour. The course will use the B Method (B), which is a formal method founded on set theory and logic. B supports 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. A toolkit (the B-Toolkit or Atelier B) assists with all aspects of the process.

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.