Browse by Course code: COMP1216

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 26.
  1. [img] [img]
    COMP1216 - Revision
    Revision

    Shared with the University by
    Dr Son Hoang
  2. [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
  3. [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
  4. [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
  5. [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
  6. [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
  7. [img] [img]
    COMP1216 - Lab 01 - Requirements Analysis
    Requirement Analysis

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

    Shared with the University by
    Dr Son Hoang
  9. [img] [img]
    COMP1216 - Lab 03 - Object Modelling in UML
    Object modelling with UML

    Shared with the University by
    Dr Son Hoang
  10. [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
  11. [img] [img]
    Requirements Analysis: UML Use Cases
    Lecture on modeling software requirements using the Unified Modeling Language (UML 2.5)including structured textual Use Case description and Use Case diagram

    Shared with the University by
    Dr Yvonne Howard
  12. [img] [img]
    COMP1216 - An Exercise in Modelling using Relations
    Shared with the University by
    Dr Son Hoang
  13. [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
  14. [img] [img]
    COMP1216 Software Modelling and Design: Introduction
    Introductory Lecture for COMP1216 Software Modelling and Design.

    Shared with the University by
    Dr Yvonne Howard
  15. [img] [img]
    COMP1216 - Extending Access Control Model with Tokens and Time
    Shared with the University by
    Dr Son Hoang
  16. [img] [img]
    COMP1216: Requirements Analysis
    Shared with the University by
    Dr Yvonne Howard
  17. [img] [img]
    COMP1216 - Coursework - An Auction System
    Shared with the University by
    Dr Son Hoang
  18. [img] [img]
    COMP1216 - Design Patterns
    Shared with the University by
    Dr Son Hoang
  19. [img] [img]
    COMP1216 - Test Design
    Shared with the University by
    Dr Son Hoang
  20. [img] [img]
    COMP1216 - Solving Puzzles with Invariants
    - "Chameleons of three colours" riddle

    Shared with the University by
    Dr Son Hoang
  21. [img]
    COMP1216 - Proof-based Verification in Event-B
    Shared with the University by
    Dr Son Hoang
  22. [img] [img]
    COMP1216 - Modelling Classes and Associations
    Shared with the University by
    Dr Son Hoang
  23. [img] [img]
    Systems Design: UML Activity and Sequence Diagrams
    In this session we look at how to model flow of control and interactions between components using UML Activity and Sequence Diagrams. This is an introductory session and so for Activity Diagrams we only cover branching, forks and joins and swim lanes, and for Sequence we cover lifelines, messages and returns, and alt, par and opt frames.

    Shared with the University by
    Dr Yvonne Howard
  24. [img] [img]
    COMP1216 - Activity and Sequence Diagrams Revisited
    Revisit Activity and Sequence Diagrams

    Shared with the University by
    Dr Son Hoang
  25. [img] [img]
    COMP1216 - A Case Study on Class Diagrams
    We take a look at the OOtumlia airlines case study on class diagrams

    Shared with the University by
    Dr Son Hoang
  26. [img] [img]
    UML Class Diagram
    UML Class diagram with example scenarios. Shows: classes, properties and attributes; associations: generalisation, inheritance, component, aggregation

    Shared with the University by
    Dr Yvonne Howard
This list was generated on Fri Jun 14 09:10:00 2024 UTC.