Attali, I.;
Caromel, D.;
Courbis, C.;
Henrio, L.;
Nilsson, H.;
(2001)
An integrated development environment for Java Card.
Computer Networks
, 36
(4)
pp. 291-305.
10.1016/S1389-1286(01)00162-1.
Preview |
PDF
10.3_jcn2000.pdf Download (633kB) |
Abstract
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the Java Card Runtime Environment (JCRE), and the Java Card APIs. The resulting environment consists of a set of tightly integrated and somewhat smart tools, such as a Java-specific structure editor and a simulator which allows an application to be tested before being downloaded to a card. Furthermore, the simulator analyses the applet in question in order to find out the structure of the accepted commands. This information is then used to automatically adapt the GUI of the simulator.
Type: | Article |
---|---|
Title: | An integrated development environment for Java Card |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.1016/S1389-1286(01)00162-1 |
Publisher version: | http://dx.doi.org/10.1016/S1389-1286(01)00162-1 |
Language: | English |
Keywords: | Java Card, development environment, formal specification, simulation |
URI: | https://discovery.ucl.ac.uk/id/eprint/908 |
Archive Staff Only
View Item |