EdShare
Home
Browse
By Year
By Author
Tags
Course code
University structure
Share
About
Help
Login
Login
Items where Author is "
Butler, Michael
"
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
Number of items:
14
.
Software Modelling & UML - Use Case Diagrams and Class Diagrams
Shared with the University by
Dr Son Hoang
COMP1216 - Coursework 2 (2020-21)
Description of Coursework 2 for COMP1216 (2020-21)
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
COMP1216 - Lecture 07 - Introducing Event-B
Introducing Event-B (Contexts, machines)
Shared with the University by
Dr Son Hoang
+2 more...
COMP1216 - Lab 9 - Port Management System in Event-B
Port Management system in Event-B
Shared with the University by
Dr Son Hoang
+1 more...
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
COMP1216 - Proof-based Verification in Event-B
Shared with the University by
Dr Son Hoang
+1 more...
COMP1216 - Extending Event-B Model
Shared with the University by
Dr Son Hoang
+4 more...
COMP2214 - Tutorial 7 - Verification with Dafny (part 2)
Shared with the University by
Dr Son Hoang
+5 more...
COMP2214 - Tutorial 6 - Verification with Dafny (part 1)
Shared with the University by
Dr Son Hoang
+1 more...
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
COMP1216 - Modelling Classes and Associations
Shared with the University by
Dr Son Hoang
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
Promoting Gender Diversity in ICT – Why and How?
Shared with the University by
Mr Rikki Prince
This list was generated on
Sun Dec 22 03:11:16 2024 UTC
.