Search Results - (( programas java ) OR ( programy java ))*

AId: uma Ferramenta para análise de identificadores de programas Java

Authors: Azcurra, Javier Berón, Mario Montejano, Germán et al.

Contributors: Azcurra, Javier Berón, Mario Montejano, Germán et al.

Subject Terms: Compreensão de programas, Análise de identificadores

File Description: application/pdf

Availability: http://hdl.handle.net/10198/11416

Un lenguaje de dominio específico para el análisis estático de programas Java

Thesis Advisors: Lara, Juan de (tutor), UAM. Departamento de Ingeniería Informática

Subject Terms: Java (Lenguaje de programación), Análisis estático, Modelado (Informática), Informática

Access URL: http://hdl.handle.net/10486/677850

LiquidJava : extending Java with refinements

Authors: Gamboa, Catarina Ventura Fonseca, Alcides Miguel Cachulo Aguiar Timperley, Christopher Steven et al.

Contributors: Gamboa, Catarina Ventura Fonseca, Alcides Miguel Cachulo Aguiar Timperley, Christopher Steven et al.

Source: urn:tid:202994899

Subject Terms: Tipos Refinados, Verificação de Software, Linguagens de Programação, Java, Teses de mestrado - 2022

File Description: application/pdf

Availability: http://hdl.handle.net/10451/64988

AID: una herramienta para el análisis de identificadores en programas JAVA

Authors: Azcurra, Javier Berón, Mario Henriques, Pedro Rangel et al.

Contributors: Azcurra, Javier Berón, Mario Henriques, Pedro Rangel et al.

Subject Terms: Compreensão de programas, Identificadores, Herramienta de Análisis de Identificadores

File Description: application/pdf

Relation: 1666-6917

Availability: http://hdl.handle.net/10198/12761

GNU prolog to Java: a study on how to connect the two programming environments

Authors: Mendes, David José Murteira

Subject Terms: Inteligência Artificial Aplicada, GNU-Prolog, Linguagem Java, Java language

Relation: dep C.T.; dmendes@uevora.pt; 283

Availability: http://hdl.handle.net/10174/15085

Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java

Authors: Ramirez Deantes, Diana

Thesis Advisors: Puebla Sánchez, Alvaro Germán

Subject Terms: Informática

Access URL: http://hdl.handle.net/10803/452001

Cooperative testing of multithreaded Java applications

Authors: Simões, Miguel Ângelo Marques Martins, Francisco Cipriano da Cunha, 1972- Marques, Eduardo Resende Brandão et al.

Contributors: Simões, Miguel Ângelo Marques Martins, Francisco Cipriano da Cunha, 1972- Marques, Eduardo Resende Brandão et al.

Source: urn:tid:201365510

Subject Terms: Testes de software, Semântica cooperativa, Threads, Java, Teses de mestrado - 2014

File Description: application/pdf

Availability: http://hdl.handle.net/10451/15867

JDBC (Java DB connectivity) concorrente

Authors: Santos, Wilson Bertino Lopes dos

Subject Terms: Engenharia de computadores, Gestão de bases de dados, Bases de dados relacionais, SQL (Structured Query Language), JDBC (Java database connectivity)

File Description: application/pdf

Availability: http://hdl.handle.net/10773/7359

Inferência de PSM/PIM e padrões de conceção a partir de código Java

Authors: Couto, Rui Ribeiro, António Nestor Universidade do Minho

Contributors: Couto, Rui Ribeiro, António Nestor Universidade do Minho

Subject Terms: Java, MDA, MDE, Padrões de concepção, PIM, PSM, UML, Design patterns

File Description: application/pdf

Availability: https://hdl.handle.net/1822/27963

Verificação prática de anomalias em programas de memória transaccional

Authors: Pessanha, Vasco Lourenço, João RUN

Contributors: Pessanha, Vasco Lourenço, João RUN

Subject Terms: Violações de atomicidade, High-level datarace, Análise estática, Concorrência, Memória transaccional por software

File Description: application/pdf

Availability: http://hdl.handle.net/10362/6311

Priority setting in HIV/AIDS control in West Java Indonesia : an evaluation based on the accountability for reasonableness framework

Authors: Tromp, Noor Prawiranegara, Rozar Riparev, Harris Subhan et al.

Source: Health Policy and Planning, 2015 Apr 01. 30(3), 345-355.

Access URL: https://www.jstor.org/stable/48508549

Boyfriends and injecting: the role of intimate male partners in the life of women who inject drugs in Central Java

Authors: Lazuardi, Elan Worth, Heather Saktiawati, Antonia Morita Iswari et al.

Source: Culture, Health & Sexuality, 2012 May 01. 14(5/6), 491-503.

Access URL: http://dx.doi.org/10.1080/13691058.2012.671960

Scenario-based actions to upgrade small-scale furniture producers and their impacts on women in Central Java, Indonesia

Authors: PURNOMO, H. IRAWATI, R.H. FAUZAN, A.U. et al.

Source: The International Forestry Review, 2011 Jan 01. 13(2), 152-162.

Access URL: https://www.jstor.org/stable/24310665

¿Por qué es Java la gran cosa?

Authors: By:Rob Fixmer

Source: Reforma (Ciudad de México, Distrito Federal, Mexico), Interfase, p. 9 2pp

Rechazan reclamo de Java-Sun contra Microsoft

Source: Opinion, La (Los Angeles, CA), May 10, 2000 estado

Microsoft elimina soporte de Java en Windows XP

Authors: By:John R. Wilke y Don Clark

Source: Mural (Guadalajara, Jalisco, Mexico), Negocios, p. 5 2pp

Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity

Authors: Román Díez, Guillermo

Thesis Advisors: Albert, Elvira, Puebla Sánchez, Alvaro Germán

Subject Terms: Informática

Access URL: http://hdl.handle.net/10803/452436

Convierten Tec Milenio en academia de Sun; Impartirá la institución educativa a sus alumnos del área de ingeniería certificaciones en tecnología de la empresa como parte de su programa de estudios

Authors: By:Verónica Sánchez

Source: Reforma (Ciudad de México, Distrito Federal, Mexico), Interfase, p. 8 2pp

Crean Sun e IBM sistema operativo Java; Una versión especial para empresas fue diseñado por ambos fabricantes buscando crear un estándar para impulsar las computadoras de red

Authors: By:Duncan Martell

Source: Reforma (Ciudad de México, Distrito Federal, Mexico), Interfase, p. 5 2pp

Ferramenta para gerar automaticamente perguntas de matemática

Authors: Almeida, Francisco André Gomes de Serôdio, Carlos Matias, João et al.

Contributors: Almeida, Francisco André Gomes de Serôdio, Carlos Matias, João et al.

Subject Terms: Jogo, Matemática, Ensino básico, Programação, matUTAD, JAVA

File Description: application/pdf

Availability: http://hdl.handle.net/10348/7986