The University of New South Wales

go to UNSW home page

Undergraduate Handbook

PRINT THIS PAGE
System Modelling and Design - COMP2111
Computing Logo

 
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: COMP1021 or COMP1721 or COMP1921 or COMP1927; Corequisite: MATH1081.
 
 
Excluded: COMP2110
 
 
Fee Band: 2 (more info)
 
 
Further Information: See Class Timetable
 
 

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.

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.