The University of New South Wales

go to UNSW home page

Handbook Home

Table of Contents
List divider List divider

Use this search only if you have an exact code for a Program, Plan, or Course, e.g. 3400, ACCTA13502, ACCT1501 or ACCT*.
Use the main search box (Search the UNSW Handbook) if you do not have an exact code and want to use a keyword instead.

System Modelling and Design - COMP2111
 Computing Logo

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)
Further Information: See Class Timetable
Available for General Education: Yes (more info)


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.

URL for this page:

© The University of New South Wales (CRICOS Provider No.: 00098G), 2004-2011. The information contained in this Handbook is indicative only. While every effort is made to keep this information up-to-date, the University reserves the right to discontinue or vary arrangements, programs and courses at any time without notice and at its discretion. While the University will try to avoid or minimise any inconvenience, changes may also be made to programs, courses and staff after enrolment. The University may also set limits on the number of students in a course.