Výsledky vyhľadávania - (( programas Java ) OR ( programy Java ))~

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

Autori: Azcurra, Javier Berón, Mario Montejano, Germán a ďalší

Prispievatelia: Azcurra, Javier Berón, Mario Montejano, Germán a ďalší

Predmety: Compreensão de programas, Análise de identificadores

Popis súboru: application/pdf

Dostupnosť: 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

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

Prístupová URL adresa: http://hdl.handle.net/10486/677850

LiquidJava : extending Java with refinements

Autori: Gamboa, Catarina Ventura Fonseca, Alcides Miguel Cachulo Aguiar Timperley, Christopher Steven a ďalší

Prispievatelia: Gamboa, Catarina Ventura Fonseca, Alcides Miguel Cachulo Aguiar Timperley, Christopher Steven a ďalší

Zdroj: urn:tid:202994899

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

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10451/64988

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

Autori: Azcurra, Javier Berón, Mario Henriques, Pedro Rangel a ďalší

Prispievatelia: Azcurra, Javier Berón, Mario Henriques, Pedro Rangel a ďalší

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

Popis súboru: application/pdf

Relation: 1666-6917

Dostupnosť: http://hdl.handle.net/10198/12761

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

Autori: Mendes, David José Murteira

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

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

Dostupnosť: 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

Autori: Ramirez Deantes, Diana

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

Predmety: Informática

Prístupová URL adresa: http://hdl.handle.net/10803/452001

Cooperative testing of multithreaded Java applications

Autori: Simões, Miguel Ângelo Marques Martins, Francisco Cipriano da Cunha, 1972- Marques, Eduardo Resende Brandão a ďalší

Prispievatelia: Simões, Miguel Ângelo Marques Martins, Francisco Cipriano da Cunha, 1972- Marques, Eduardo Resende Brandão a ďalší

Zdroj: urn:tid:201365510

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

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10451/15867

JDBC (Java DB connectivity) concorrente

Autori: Santos, Wilson Bertino Lopes dos

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

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10773/7359

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

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

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

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

Popis súboru: application/pdf

Dostupnosť: https://hdl.handle.net/1822/27963

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

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

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

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

Popis súboru: application/pdf

Dostupnosť: 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

Autori: Tromp, Noor Prawiranegara, Rozar Riparev, Harris Subhan a ďalší

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

Prístupová URL adresa: 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

Autori: Lazuardi, Elan Worth, Heather Saktiawati, Antonia Morita Iswari a ďalší

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

Prístupová URL adresa: 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

Autori: PURNOMO, H. IRAWATI, R.H. FAUZAN, A.U. a ďalší

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

Prístupová URL adresa: https://www.jstor.org/stable/24310665

¿Por qué es Java la gran cosa?

Autori: By:Rob Fixmer

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

Rechazan reclamo de Java-Sun contra Microsoft

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

Microsoft elimina soporte de Java en Windows XP

Autori: By:John R. Wilke y Don Clark

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

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

Autori: Román Díez, Guillermo

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

Predmety: Informática

Prístupová URL adresa: 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

Autori: By:Verónica Sánchez

Zdroj: 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

Autori: By:Duncan Martell

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

Ferramenta para gerar automaticamente perguntas de matemática

Autori: Almeida, Francisco André Gomes de Serôdio, Carlos Matias, João a ďalší

Prispievatelia: Almeida, Francisco André Gomes de Serôdio, Carlos Matias, João a ďalší

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

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10348/7986