A Java Reference Model of Transacted Memory for Smart Cards


Poll, Erik and Hartel, Pieter and Jong, Eduard de (2002) A Java Reference Model of Transacted Memory for Smart Cards. [Report]

[img] PDF
Restricted to UT campus only

Abstract:Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C implementation. We conclude that Java/JML combines the advantages of a high level specification in the JML part (based on our Z model), with a detailed implementation in the Java part (based on our C implementation).
Item Type:Report
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63077
Official URL:http://www.ub.utwente.nl/webdocs/ctit/1/00000083.pdf
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page