Systems Modelling and Design
Area of Study
Computer Info Systems, Computer Programming, Computer Science, Information Sciences, Information Technologies
Taught In English
COMP1911 or COMP1917; and MATH1081
Course Level Recommendations
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.
Recommended U.S. Semester Credits3 - 4
Recommended U.S. Quarter Units4 - 6
Hours & Credits
OverviewThis 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.
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.