Buscar
Mostrando ítems 1-10 de 25
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 ...
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 ...
Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2006-03-03)
New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of ...
Uma perspectiva de extensão do modelo de aceitação de tecnologia para explicar o uso de linguagens de desenvolvimento WEB: pesquisa com desenvolvedores Pyton e Java
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia de ProduçãoEstratégia; Qualidade; Gestão Ambiental; Gestão da Produção e Operações, 2007-10-19)
The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several
technologies came up or evolved with this purpose, namely the ...
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 ...
Joker: um realizador de desenhos animados para linguagens formais
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-08-31)
Using formal methods, the developer can increase software s trustiness and correctness.
Furthermore, the developer can concentrate in the functional requirements of the
software. However, there are many resistance in ...
Um ambiente integrado para manipulação de tráfego multicast
(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, 2004-12-10)
In the two last decades of the past century, following the consolidation of the Internet as the world-wide computer network, applications generating more robust data flows started to appear. The increasing use of ...
JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-08-29)
This dissertation aims at extending the JCircus tool, a translator of formal specifications
into code that receives a Circus specification as input, and translates the specification
into Java code. Circus is a formal ...
Leveraging diversity to find bugs in JavaScript engines
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2020)
Remoção de ruídos sísmicos utilizando transformada de wavelet 1D e 2D com software em desenvolvimento
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Ciência e Engenharia do PetróleoPesquisa e Desenvolvimento em Ciência e Engenharia de Petróleo, 2011-04-05)
In the Hydrocarbon exploration activities, the great enigma is the location of the deposits. Great
efforts are undertaken in an attempt to better identify them, locate them and at the same time,
enhance cost-effectiveness ...