Výsledky vyhledávání - (programas OR programy) java~

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

Autoři: Azcurra, Javier Berón, Mario Montejano, Germán a další

Přispěvatelé: Azcurra, Javier Berón, Mario Montejano, Germán a další

Témata: Compreensão de programas, Análise de identificadores

Popis souboru: application/pdf

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

Illustration of Java execution errors for beginner programmers

Autoři: Sousa, Diogo Alexandre Rodrigues de

Témata: Variable roles, Execution errors, Pedagogical programming tools, Program visualization, Papéis das variáveis, Erros de execução, Ferramentas de programação pedagógicas, Visualização de programas

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10071/22016

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

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

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

Extracción de información dinámica en programación orientada a objetos (Java)

Autoři: Bernardis, Hernán Berón, Mario Riesco, Daniel a další

Přispěvatelé: Bernardis, Hernán Berón, Mario Riesco, Daniel a další

Témata: Comprensión de programas, Extracción de información dinámica

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10198/4649

LiquidJava : extending Java with refinements

Autoři: Gamboa, Catarina Ventura Fonseca, Alcides Miguel Cachulo Aguiar Timperley, Christopher Steven a další

Přispěvatelé: Gamboa, Catarina Ventura Fonseca, Alcides Miguel Cachulo Aguiar Timperley, Christopher Steven a další

Zdroj: urn:tid:202994899

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

Popis souboru: application/pdf

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

Static Analysis for Data-race detection in Java

Autoři: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António a další

Přispěvatelé: Ferreira, Jorge Lopes Paulino, Hervé Ravara, António a další

Témata: program analysis, points-to analysis, static analysis, data race, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10362/176239

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

Autoři: Azcurra, Javier Berón, Mario Henriques, Pedro Rangel a další

Přispěvatelé: Azcurra, Javier Berón, Mario Henriques, Pedro Rangel a další

Témata: Compreensão de programas, Identificadores, Herramienta de Análisis de Identificadores

Popis souboru: application/pdf

Relation: 1666-6917

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

Mejora del rendimiento de las aplicaciones Java usando cooperación entre el sistema operativo y la máquina virtual de Java

Autoři: Becerra Fontal, Yolanda

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Navarro, Nacho

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: prefetch de memoria, memoria virtual, maquina virtual de java, sistemes operatius, Java

Popis souboru: application/pdf

Přístupová URL adresa: http://www.tdx.cat/TDX-1030106-130213
http://hdl.handle.net/10803/5992
https://dx.doi.org/10.5821/dissertation-2117-93307

Compilador para lenguaje basado en continuaciones

Thesis Advisors: Sánchez Cuadrado, Jesús (tutor), Lara, Juan de (ponente), UAM. Departamento de Ingeniería Informática

Témata: Compiladores (Programas de ordenador), Java (Lenguaje de programación), Informática

Přístupová URL adresa: http://hdl.handle.net/10486/669060

Rendimiento Académico en un Programa de Enseñanza de Java Utilizando Software Tutor Basado en ChatGPT: Estudio de Caso

Autoři: Félix Fernández Peña Marlena León Mendoza

Zdroj: Ciencia Latina Revista Científica Multidisciplinar. 8:11789-11798

Programa de apoio a realização de propostas comerciais

Autoři: Clemente, Eurico André Mendes da Silva

Témata: Gestão empresarial, Comércio, Inovação, Mudança tecnológica, Trabalho de projeto, Assistance program, Technological change, Mathematical calculations, Innovation

Popis souboru: application/pdf; application/octet-stream

Dostupnost: http://hdl.handle.net/10071/18881

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

Autoři: Mendes, David José Murteira

Témata: Inteligência Artificial Aplicada, GNU-Prolog, Linguagem Java, Java language

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

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

A serious game for teaching Java cybersecurity in the industry with an intelligent coach

Autoři: Casqueiro, Luís Afonso Maia Rosa

Témata: Java, Cybersecurity awareness, Industry, Educação -- Education, Training, Secure coding, Intelligent coach, Consciencialização de cibersegurança, Indústria, Treino, Código seguro, Treinador inteligente

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10071/24026

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

Autoři: Ramirez Deantes, Diana

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

Témata: Informática

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

Software testing environment

Autoři: Sirbu, Denis Daniel, Helder Sapientia

Přispěvatelé: Sirbu, Denis Daniel, Helder Sapientia

Zdroj: urn:tid:201708612

Témata: Teste de programas automático, Ambiente distribuído, Programação orientada a objetos, Aplicações Web, Java

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10400.1/9961

Cooperative testing of multithreaded Java applications

Autoři: Simões, Miguel Ângelo Marques Martins, Francisco Cipriano da Cunha, 1972- Marques, Eduardo Resende Brandão a další

Přispěvatelé: Simões, Miguel Ângelo Marques Martins, Francisco Cipriano da Cunha, 1972- Marques, Eduardo Resende Brandão a další

Zdroj: urn:tid:201365510

Témata: Testes de software, Semântica cooperativa, Threads, Java, Teses de mestrado - 2014

Popis souboru: application/pdf

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

Linguagem de especificação leve Hoare-separação para java

Autoři: Santos, Tiago Vieira Correia dos Caires, Luís RUN

Přispěvatelé: Santos, Tiago Vieira Correia dos Caires, Luís RUN

Témata: Especificações leves, Análise estática, Compilador verificador, Lógica de Hoare, Lógica de separação, Cálculo de pré-condições mais fracas

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10362/5016

JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

Autoři: Martins, Duarte João Figueira Dias, Artur Miguel Andrade Vieira RUN

Přispěvatelé: Martins, Duarte João Figueira Dias, Artur Miguel Andrade Vieira RUN

Témata: Linguagens de programação, Sistema de tipos, Covariância, Compilação

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10362/4590

Javaᵀᴹ : przewodnik dla początkujących : twórz, kompiluj i uruchamiaj nowoczesne programy pisane w Javie / Herbert Schildt ; przekład: Piotr Rajca.
Twórz, kompiluj i uruchamiaj nowoczesne programy w Javie
Java : a beginner's guide

Autoři: Schildt, Herbert. Autor Rajca, Piotr (1970- ). Grupa Wydawnicza Helion. Wydawca pbl

Přispěvatelé: Schildt, Herbert. Autor Rajca, Piotr (1970- ). Grupa Wydawnicza Helion. Wydawca pbl

Témata: Java (język programowania) -- podręczniki

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:5708680&theme=nukat

OSCAR. A Noise Injection Framework for Testing Concurrent Software

Autoři: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy a další

Přispěvatelé: Luna, Filipe Robalo de Lourenço, João Bradbury, Jeremy a další

Témata: Noise Injection, Java, Bytecode, Instrumentation, Concurrency, Error Detection, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Popis souboru: application/pdf

Dostupnost: http://hdl.handle.net/10362/151101