Systems Modelling and Design

UNSW Sydney

Course Description

  • Course Name

    Systems Modelling and Design

  • Host University

    UNSW Sydney

  • Location

    Sydney, Australia

  • Area of Study

    Computer Info Systems, Computer Programming, Computer Science, Information Sciences, Information Technologies

  • Language Level

    Taught In English

  • Prerequisites

    COMP1911 or COMP1917; and MATH1081

  • Course Level Recommendations

    Upper

    ISA offers course level recommendations in an effort to facilitate the determination of course levels by credential evaluators.We advice each institution to have their own credentials evaluator make the final decision regrading course levels.

    Hours & Credits

  • Credit Points

    6
  • Recommended U.S. Semester Credits
    3 - 4
  • Recommended U.S. Quarter Units
    4 - 6
  • Overview

    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.

Course Disclaimer

Courses and course hours of instruction are subject to change.

Credits earned vary according to the policies of the students' home institutions. According to ISA policy and possible visa requirements, students must maintain full-time enrollment status, as determined by their home institutions, for the duration of the program.