Use este identificador para citar ou linkar para este item:
Título: Specification and Runtime Verification of Java Card Programs
Autor(es): Costa, Umberto Souza da
Moreira, Anamaria Martins
Musicante, Martin A.
Souza Neto, Plácido A.
Palavras-chave: Java Card.;Compile;Runtime Verification
Data do documento: 2009
Editor: Elsevier
Resumo: Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators.
Descrição: COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.
ISSN: 1571-0661
Aparece nas coleções:CCET - DIMAP - Artigos publicados em periódicos

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
ARTIGO 2.pdf386,08 kBAdobe PDFThumbnail

Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.