Items where Author is "Dghaym, Dana"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type
Jump to: Resource
Number of items: 9.

Resource

  1. [img]
    Introduction to Formal Methods & Event-B
    Shared with the University by
    Dr Dana Dghaym
  2. [img] [img]
    COMP1216 - Coursework 1 (AY2022-23)
    Coursework 1 for AY2022-23. UML Modelling for "An Online Auction Service".

    Shared with the University by
    Dr Son Hoang
  3. [img]
    Extending Access Control Model with Tokens and Time
    Shared with the University by
    Dr Dana Dghaym
  4. [img] [img]
    COMP1216 Coursework 2 (AY2021-22)
    Shared with the University by
    Dr Son Hoang
  5. [img]
    Exercise using extension refinement
    Shared with the University by
    Dr Dana Dghaym
  6. [img]
    Exercise using relations and extension refinement
    Shared with the University by
    Dr Dana Dghaym
  7. [img] [img]
    COMP1216 - Coursework 1 (AY2021-22)
    Coursework 1. Requirements Analysis, Specification, and Design of a COVID vaccination tracking system

    Shared with the University by
    Dr Son Hoang
  8. [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
  9. [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
This list was generated on Fri Mar 29 09:34:56 2024 UTC.