COMP2214 - Problem Class 05 - Extension Refinement with Guard Modification

Loading previews...

Sample solution

Text

Download (310kB)

Tut05_AccessControl_sol.zip

Archive

Download (41kB)

Tut05_SecureDB_sol.zip

Archive

Download (28kB)

Problem

Text

Download (174kB)

Tut05_SecureDB.zip

Archive

Download (23kB)

Tut05_AccessControl.zip

Archive

Download (26kB)

Sample solution	Tut05_AccessControl_sol.zip	Tut05_SecureDB_sol.zip	Problem	Tut05_SecureDB.zip
Tut05_AccessControl.zip

6 files in this resource

Added By:	Dr Son Hoang
Date Added:	03 Mar 2019 22:57
Creators Name:	Dr Son Hoang
Tags:	software engineering, formal methods
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/19840
Downloads & Views

Toolbox