EdShare
Home
Browse
By Year
By Author
Tags
Course code
University structure
Share
About
Help
Login
Login
Items where Author is "
Dghaym, Dana
"
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
Export::Xapian plugin is missing the name parameter
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Zip
Atom
RSS 1.0
RSS 2.0
Group by:
No Grouping
|
Item Type
Jump to:
Resource
Number of items:
9
.
Resource
Introduction to Formal Methods & Event-B
Shared with the University by
Dr Dana Dghaym
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
Extending Access Control Model with Tokens and Time
Shared with the University by
Dr Dana Dghaym
+2 more...
COMP1216 Coursework 2 (AY2021-22)
Shared with the University by
Dr Son Hoang
Exercise using extension refinement
Shared with the University by
Dr Dana Dghaym
Exercise using relations and extension refinement
Shared with the University by
Dr Dana Dghaym
+1 more...
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
+2 more...
Modelling Dojo: The SmarTaxi Case Study
We illustrate the modelling activities using the SmarTaxi Case Study
Shared with the University by
Dr Son Hoang
+1 more...
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
Thu Nov 21 14:00:41 2024 UTC
.