JCML: A specification language for the runtime verification of Java Card programs

Umberto Souza da Costa; Anamaria Martins Moreira; Martín A. Musicante; Plácido A. Souza Neto

doi:10.1016/j.scico.2010.03.003

ScienceGate Book Chapters

JOURNAL ARTICLE

JCML: A specification language for the runtime verification of Java Card programs

Umberto Souza da Costa Anamaria Martins Moreira Martín A. Musicante Plácido A. Souza Neto

Year: 2010 Journal: Science of Computer Programming Vol: 77 (4)Pages: 533-550 Publisher: Elsevier BV

DOI: 10.1016/j.scico.2010.03.003

Get Full-Text PDF Get Analytical Report

Abstract

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Keywords:

Computer science Java Compiler Java annotation Java Card Programming language Real time Java Java Modeling Language Programming language specification Java applet Smart card strictfp Operating system Programming paradigm

Metrics

Cited By

1.39

FWCI (Field Weighted Citation Impact)

Refs

0.84

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Real-Time Systems Scheduling

Physical Sciences → Computer Science → Hardware and Architecture

Advanced Software Engineering Methodologies

Physical Sciences → Computer Science → Artificial Intelligence

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

JCML: A specification language for the runtime verification of Java Card programs

Abstract

Metrics

Citation History

Topics

Related Documents

Specification and Runtime Verification of Java Card Programs

Predictive Runtime Verification of Java Programs

Event-based runtime verification of java programs

Event-based runtime verification of java programs

Runtime Verification of Spatio-Temporal Specification Language