Master's thesis report

OCL specifications for Java Card API

Java Card API class skeletons with OCL specifications

Java Card API classes with specifications and reference implementation