Výsledky vyhledávání - programas 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

Ambiente inteligente de aprendizaje de depuración de errores en programas Java

Autoři: María Lucia Barrón-Estrada Ramón Zatarain-Cabada Minerva Valencia-Rodríguez a další

Zdroj: Research in Computing Science. 147:277-290

AID: Una Herramienta para el Análisis de Identificadores en Programas JAVA

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

Zdroj: Tecnología y Ciencia, Iss 27, Pp 17-32 (2018)

Témata: Comprensión de Programas, Identificadores, Herramienta de Análisis de Ids, Technology, Engineering (General). Civil engineering (General), TA1-2040, Science (General), Q1-390

Popis souboru: electronic resource

Relation: http://rtyc.utn.edu.ar/index.php/rtyc/article/view/255; https://doaj.org/toc/1666-6933

Přístupová URL adresa: https://doaj.org/article/426637a8f0cf499183f8b0151238e147

Desarrollo de un Sistema de Generación y Ejecución Automática de Casos de Test para Programas Java

Autoři: Gregorio, Manuel Silva Galiana, Josep Francesc Departamento de Sistemas Informáticos y Computación a další

Přispěvatelé: Gregorio, Manuel Silva Galiana, Josep Francesc Departamento de Sistemas Informáticos y Computación a další

Zdroj: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)

Témata: EvoSuite, ASys, Testing, Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari, LENGUAJES Y SISTEMAS INFORMATICOS, Java

Popis souboru: application/pdf

Přístupová URL adresa: https://riunet.upv.es/handle/10251/210871

Teste e verificação formal do comportamento excepcional de programas Java

Testing and formal verification of the exceptional behavior of Java programs

Autoři: Martins, Alexandre Locci

Thesis Advisors: Melo, Ana Cristina Vieira de

Témata: comportamento excepcional, exceção, exception, exceptional behavior, Java, model checker, model checking

Popis souboru: application/pdf

Dostupnost: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106/

Sistema Web para el Análisis Estático de Programas Java mediante ProgQuery

Autoři: Díaz del Rey, Inés García Rodríguez, Miguel

Přispěvatelé: Díaz del Rey, Inés García Rodríguez, Miguel

Zdroj: RUO. Repositorio Institucional de la Universidad de Oviedo
Universidad de Oviedo (UNIOVI)

Přístupová URL adresa: https://hdl.handle.net/10651/74072

Corrección Semi-Automática de Programas Java

Autoři: Insa Cabrera, David Silva, Josep Departamento de Sistemas Informáticos y Computación a další

Přispěvatelé: Insa Cabrera, David Silva, Josep Departamento de Sistemas Informáticos y Computación a další

Zdroj: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
instname

Témata: Innovación educativa, Evaluación, Educación superior, 0202 electrical engineering, electronic engineering, information engineering, Enseñanza superior, 02 engineering and technology, Tecnologías y educación, LENGUAJES Y SISTEMAS INFORMATICOS, Java

Popis souboru: application/pdf

Přístupová URL adresa: http://ocs.editorial.upv.es/index.php/INRED/INRED2016/paper/download/4326/1801
https://riunet.upv.es/handle/10251/105248

JavAccountant: contabilizando la actividad de programas Java

Autoři: Román Díez, Guillermo Tardío Tomeno, Cristina

Témata: Informática, info:eu-repo/semantics/bachelorThesis

Uma ferramenta baseada em aspectos para o teste funcional de programas Java

Autoři: André Dantas Rocha Adenilso da Silva Simão José Carlos Maldonado a další

Zdroj: Anais do XIX Simpósio Brasileiro de Engenharia de Software (SBES 2005). :263-278

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

DEPAnalyzer: um Analisador Estático de Dependências para Programas Java

Autoři: Silvana Campos de Azevedo Patrícia Kayser Vargas Jorge Luis Victória Barbosa a další

Zdroj: Anais do II Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD 2001). :135-141

CPS - Un Sistema de Generación de Plantillas de Corrección de Programas Java

Autoři: Silva Galiana, Josep Francesc Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica a další

Témata: Programación, Java, Corrección automática, ASys, Programming, Automatic correction, LENGUAJES Y SISTEMAS INFORMATICOS, Grado en Ingeniería Informática-Grau en Enginyeria Informàtica, info:eu-repo/semantics/bachelorThesis

URL: http://hdl.handle.net/10251/106688

Geração de propriedades sobre programas Java a partir de objetivos de teste

Generation of Java program properties from test purposes

Autoři: Hanazumi, Simone

Thesis Advisors: Melo, Ana Cristina Vieira de

Témata: Especificação de programas, Formal verification, Java, Objetivos de teste, Program specification, Test purposes, Verificação formal

Popis souboru: application/pdf

Dostupnost: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/

Geração de propriedades sobre programas Java a partir de objetivos de teste

Generation of Java program properties from test purposes

Autoři: Simone Hanazumi

Thesis Advisors: Ana Cristina Vieira de Melo, Patricia Duarte de Lima Machado, Ricardo Luis de Azevedo da Rocha, Valdivino Alexandre Santiago Junior, Flavio Soares Correa da Silva

Zdroj: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Témata: Especificação de programas, Java, Objetivos de teste, Verificação formal, Formal verification, Program specification, Test purposes

Dostupnost: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/

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ší

Zdroj: Tecnología y Ciencia, Iss 27, Pp 17-32 (2018)

Témata: Herramienta de Análisis de Ids, Herramienta de Análisis de Identificadores, Technology, Q1-390, Science (General), Compreensão de programas, Comprensión de Programas, TA1-2040, Engineering (General). Civil engineering (General), Identificadores

Popis souboru: application/pdf

Přístupová URL adresa: https://doaj.org/article/426637a8f0cf499183f8b0151238e147
https://hdl.handle.net/10198/12761

Extensión de un analizador de programas Java

Autoři: Zanardini, Damiano González Bodas, Javier

Témata: info:eu-repo/semantics/bachelorThesis

Visualizador de programas Java concurrentes

Autoři: Mariño Carballo, Julio Peña Martínez, Víctor de la

Témata: Informática, info:eu-repo/semantics/bachelorThesis

jPET: un generador de casos de prueba sobre programas Java

Autoři: Albert Albiol, Elvira Gómez-Zamalloa Gil, Miguel Cabañas Ruiz, Israel a další

Témata: coursework

URL: https://hdl.handle.net/20.500.14352/46089
Trabajos de curso (Departamento de Sistemas Informáticos y Computación, FDI)

Avaliação de ferramentas de geração automática de dados de teste para programas java: um estudo exploratório

Automatic generation tools assessment test data for java programs: an exploratory study

Autoři: Oliveira , Daniel Gomes de

Thesis Advisors: Vincenzi , Auri Marcelo Rizzo, Vincenzi, Auri Marcelo Rizzo, Dias Neto, Arilo Cládio, Leitão Júnior, Plínio de Sá, Federson, Fernando Marques, Ferrari , Fabiano

Zdroj: Biblioteca Digital de Teses e Dissertações da UFGUniversidade Federal de GoiásUFG.

Témata: Teste de software, Geradores automáticos de dados de teste, Cobertura de código, Teste de mutação, Estudos experimentais, Software testing, Automatic test data generators, Code coverage, Mutation testing, Experimental studies, CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO

Popis souboru: application/pdf

Relation: -3303550325223384799; 600; -7712266734633644768; 8770386617567581936; 2075167498588264571

Dostupnost: http://repositorio.bc.ufg.br/tede/handle/tede/6567

Comprobacion automática de la complejidad asintótica de programas Java

Autoři: Arenas Sánchez, Purificación Albert Albiol, Elvira María Solanas González, Esther a další

Témata: coursework

URL: https://hdl.handle.net/20.500.14352/54222
Trabajos de curso (Departamento de Ingeniería del Software e inteligencia artificial, FDI)