Buscar
Mostrando ítems 1-5 de 5
JCML - Java Card Modeling Language: Definição e Implementação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-09-06)
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...
JCML: A specification language for the runtime verification of Java Card programs
(Elsevier, 2010-03-19)
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 ...
Specification and Runtime Verification of Java Card Programs
(Elsevier, 2009)
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 ...
Habilidades blandas y la competencia Indaga en estudiantes de V ciclo de una institución educativa pública - Piura, 2021
(Universidad César VallejoPE, 2022)
El actual trabajo de investigación tuvo como objetivo determinar la relación entre
Habilidades Blandas y la competencia Indaga del área de C y T en los estudiantes de sexto de
primaria de la IE “J. C. M. L.” de Monte ...
Habilidades blandas y la competencia Indaga en estudiantes de V ciclo de una institución educativa pública - Piura, 2021
(Universidad César VallejoPE, 2022)