Document

Attachment	Size
Dil, A., Osunde, J. (2018) ICETC Evaluation of a tool for Java structural specification checking.pdf	76.32 KB

Conference paper.

Attachment	Size
Dil, Truby and Osunde, Appendix B.pdf	1.13 MB

Appendix B - Java specification checking: survey and interview results. 

Attachment	Size
Dil, Truby and Osunde, Appendix A.pdf	532.59 KB

Appendix A - Java specification checking: software notes. 

Attachment	Size
Dil, Truby and Osunde, Tool for Java. eSTEeM final report.pdf	438.24 KB

eSTEeM final report.

Attachment	Size
Golding, Potter & Crighton.pdf	211.23 KB

Project poster.

Attachment	Size
Calvert & Morris.pptx	313.43 KB

Project poster

Attachment	Size
Sarah Mattingly.pdf	152.15 KB

Project poster.

Attachment	Size
Sarah Mattingly, Individualised screencasts. eSTEeM final report.pdf	826.98 KB

eSTEeM final report.

Attachment	Size
Mark Jones, Online synchronous tuition. eSTEeM final report.pdf	40.43 KB

eSTEeM final report.

Attachment	Size
Mark Jones.pdf	98.58 KB

Project poster.