Items where Author is "Butler, Michael"

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: 14.

Resource

  1. [img]
    Software Modelling & UML - Use Case Diagrams and Class Diagrams
    Shared with the University by
    Dr Son Hoang
  2. [img]
    COMP1216 - Coursework 2 (2020-21)
    Description of Coursework 2 for COMP1216 (2020-21)

    Shared with the University by
    Dr Son Hoang
  3. [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
  4. [img]
    COMP1216 - Lecture 07 - Introducing Event-B
    Introducing Event-B (Contexts, machines)

    Shared with the University by
    Dr Son Hoang
  5. [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
  6. [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
  7. [img]
    COMP1216 - Proof-based Verification in Event-B
    Shared with the University by
    Dr Son Hoang
  8. [img] [img]
    COMP1216 - Extending Event-B Model
    Shared with the University by
    Dr Son Hoang
  9. [img] [img]
    COMP2214 - Tutorial 7 - Verification with Dafny (part 2)
    Shared with the University by
    Dr Son Hoang
  10. [img] [img]
    COMP2214 - Tutorial 6 - Verification with Dafny (part 1)
    Shared with the University by
    Dr Son Hoang
  11. [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
  12. [img] [img]
    COMP1216 - Modelling Classes and Associations
    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]
    Promoting Gender Diversity in ICT – Why and How?
    Shared with the University by
    Mr Rikki Prince
This list was generated on Fri Mar 29 13:57:08 2024 UTC.