Suchergebnisse - (( programas Java ) OR ( programy Java ))

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

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

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

Schlagwörter: Compreensão de programas, Análise de identificadores

Dateibeschreibung: application/pdf

Verfügbarkeit: 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

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

Zugangs-URL: http://hdl.handle.net/10486/677850

LiquidJava : extending Java with refinements

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

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

Quelle: urn:tid:202994899

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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10451/64988

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

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

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

Schlagwörter: Compreensão de programas, Identificadores, Herramienta de Análisis de Identificadores

Dateibeschreibung: application/pdf

Relation: 1666-6917

Verfügbarkeit: http://hdl.handle.net/10198/12761

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

Autoren: Mendes, David José Murteira

Schlagwörter: Inteligência Artificial Aplicada, GNU-Prolog, Linguagem Java, Java language

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

Verfügbarkeit: 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

Autoren: Ramirez Deantes, Diana

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

Schlagwörter: Informática

Zugangs-URL: http://hdl.handle.net/10803/452001

Cooperative testing of multithreaded Java applications

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

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

Quelle: urn:tid:201365510

Schlagwörter: Testes de software, Semântica cooperativa, Threads, Java, Teses de mestrado - 2014

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10451/15867

JDBC (Java DB connectivity) concorrente

Autoren: Santos, Wilson Bertino Lopes dos

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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10773/7359

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

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

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

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

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/27963

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

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

Weitere Verfasser: Pessanha, Vasco Lourenço, João RUN

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

Dateibeschreibung: application/pdf

Verfügbarkeit: 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

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

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

Zugangs-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

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

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

Zugangs-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

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

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

Zugangs-URL: https://www.jstor.org/stable/24310665

¿Por qué es Java la gran cosa?

Autoren: By:Rob Fixmer

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

Rechazan reclamo de Java-Sun contra Microsoft

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

Microsoft elimina soporte de Java en Windows XP

Autoren: By:John R. Wilke y Don Clark

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

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

Autoren: Román Díez, Guillermo

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

Schlagwörter: Informática

Zugangs-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

Autoren: By:Verónica Sánchez

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

Autoren: By:Duncan Martell

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

Ferramenta para gerar automaticamente perguntas de matemática

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

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

Schlagwörter: Jogo, Matemática, Ensino básico, Programação, matUTAD, JAVA

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10348/7986