Buscar
Mostrando ítems 1-10 de 388
Nas águas do rio Javaés. Histórias, cosmologia e meio ambiente
(Universidade Federal do TocantinsBRPrograma de Pós-Graduação em Ciências do Ambiente - CiambPalmas, 2020)
Java-XSC : módulo complexo e complexo intervalar
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-02-23)
This work aims to develop modules that will increase the computational power of the
Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation .
This library is actually an extension of the ...
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 ...
Identifying and analyzing Java exception handling guidelines: a developers point-of-view
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2019-11-29)
The exception handling mechanism is a feature present in most modern programming
languages which helps the development of fault tolerant systems. Despite being an old
feature of the Java language, developers still struggle ...
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-11-19)
Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the ...
Java Advanced Imaging API: A Tutorial
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2004)
Análise de desempenho de sistemas distribuídos de grande porte na plataforma Java
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia ElétricaAutomação e Sistemas; Engenharia de Computação; Telecomunicações, 2007-02-02)
The lava Platform is increasing1y being adopted in the development of distributed sys¬tems with higb user demando This kind of application is more complex because it needs beyond attending the functional requirements, to ...
A dança dos Aruanãs: mito, rito e música entre os Javaé
(Universidade Federal de Goiás, 2008)
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-02-10)
The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card ...
Formal Semantics for Java-like Languages and Research Opportunities
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)