COMP1216 Software Modelling and Design (AY2020-21)

Collection items

[img] [img]
COMP1216 - Lab 02 - Functional Modelling in UML
Functional Modelling with UML Use Cases and Use Case Diagrams.

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Lab 01 - Requirements Analysis
Requirement Analysis

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 Software Modelling and Design: Introduction
Introductory Lecture for COMP1216 Software Modelling and Design.

Shared with the University by
Dr Yvonne Howard
[img] [img]
COMP1216: Requirements Analysis
Shared with the University by
Dr Yvonne Howard
[img] [img]
COMP1216 - Lab 03 - Object Modelling in UML
Object modelling with UML

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Activity and Sequence Diagrams Revisited
Revisit Activity and Sequence Diagrams

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Lab 04 - Dynamic Modelling in UML
Dynamic Modelling with UML

Shared with the University by
Dr Son Hoang
[img]
COMP1216 - Relations in Event-B
Modelling using Relations in Event-B - Order Pairs - Cartesian Product - Relations - Domain/Range of relations - Relational Image

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Lab 05 - Modelling with Sets in Event-B
Modelling with Sets in Event-B

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Lab 6 - Modelling with Relations in Event-B
Modelling using Relations in Event-B

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Modelling Classes and Associations
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - An Exercise in Modelling using Relations
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Lab 7 - A Hotel Reception System in Event-B
Model a hotel reception system in Event-B

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Extending Event-B Model
Shared with the University by
Dr Son Hoang
[img]
COMP1216 - Proof-based Verification in Event-B
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Extending Access Control Model with Tokens and Time
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Lab 8 - Multiple Hotel System in Event-B
Managing room allocation in multiple hotels in Event-B

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Test Design
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Lab 9 - Port Management System in Event-B
Port Management system in Event-B

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Design Patterns
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Revision
Revision

Shared with the University by
Dr Son Hoang
[img]
COMP1216 - Lecture 07 - Introducing Event-B
Introducing Event-B (Contexts, machines)

Shared with the University by
Dr Son Hoang
[img]
COMP1216 - Coursework 1 (2020-21)
COMP1216 Coursework 1 for the academic year 2020-21.

Shared with the University by
Dr Son Hoang
[img] [img]
Modelling Dojo: The SmarTaxi Case Study
We illustrate the modelling activities using the SmarTaxi Case Study

Shared with the University by
Dr Son Hoang
[img]
COMP1216 - Coursework 2 (2020-21)
Description of Coursework 2 for COMP1216 (2020-21)

Shared with the University by
Dr Son Hoang
[img]
Software Modelling & UML - Use Case Diagrams and Class Diagrams
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - What Next? ... How about Program Verification?
Shared with the University by
Dr Son Hoang
[img]
COMP1216 Coursework 1 LaTeX template
LaTeX template for COMP1216 Coursework 1 report.

Shared with the University by
Dr Son Hoang

COMP1216 Software Modelling and Design (AY2020-21)

View Item

Toolbox

There are no actions available for this resource.