COMP1216 Software Modelling and Design

Collection items

[img] [img]
COMP1216 - Problem class 2
Functional Modelling

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Problem Class 1
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 - Problem class 3
Object modelling

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 - Problem Class 4
Dynamic Modelling

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 - Problem Class 5
Modelling with Sets

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Problem class 6
Modelling using Relations

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 - Problem class 7
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 - Problem class 8
Managing room allocation in multiple hotels

Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Test Design
Shared with the University by
Dr Son Hoang
[img] [img]
COMP1216 - Problem Class 9
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

COMP1216 Software Modelling and Design

Actions (login required)

View Item View Item

Toolbox

There are no actions available for this resource.