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

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

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

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

Optimization Techniques for Automated Software Test Data Generation

Authors: Ferrer Urbano, Francisco Javier

Thesis Advisors: Lenguajes y Ciencias de la Computación, Alba, Enrique, Chicano, Francisco

Subject Terms: Optimización matemática, Algoritmos computacionales, Software testing, Tesis Doctoral, Metaheurísticas, Optimización, Algoritmos, Pruebas

Access URL: http://hdl.handle.net/10630/13056

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

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

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/426637a8f0cf499183f8b0151238e147

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

Authors: María Lucia Barrón-Estrada Ramón Zatarain-Cabada Minerva Valencia-Rodríguez et al.

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

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

Authors: Díaz del Rey, Inés García Rodríguez, Miguel

Contributors: Díaz del Rey, Inés García Rodríguez, Miguel

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

Access URL: https://hdl.handle.net/10651/74072

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

Authors: Gregorio, Manuel Silva Galiana, Josep Francesc Departamento de Sistemas Informáticos y Computación et al.

Contributors: Gregorio, Manuel Silva Galiana, Josep Francesc Departamento de Sistemas Informáticos y Computación et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Martins, Alexandre Locci

Thesis Advisors: Melo, Ana Cristina Vieira de

Subject Terms: comportamento excepcional, exceção, exception, exceptional behavior, Java, model checker, model checking

File Description: application/pdf

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

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

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

Authors: André Dantas Rocha Adenilso da Silva Simão José Carlos Maldonado et al.

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

JavAccountant: contabilizando la actividad de programas Java

Authors: Román Díez, Guillermo Tardío Tomeno, Cristina

Index Terms: Informática, info:eu-repo/semantics/bachelorThesis

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

Authors: Silvana Campos de Azevedo Patrícia Kayser Vargas Jorge Luis Victória Barbosa et al.

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

'Uma ferramenta baseada em aspectos para apoio ao teste funcional de programas Java'

Authors: Rocha, André Dantas

Thesis Advisors: Masiero, Paulo Cesar

Subject Terms: Aspectos, POA, Programação Orientada a Aspectos, Teste de Software, Teste Funcional

File Description: application/pdf

Availability: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102005-200250/

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

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

Source: Technology and Science Magazine; No. 27 (2015): CoNaIISI 2014; 17-32 ; Revista Tecnología y Ciencia; Núm. 27 (2015): CoNaIISI 2014; 17-32 ; Revista de Tecnologia e Ciência; n. 27 (2015): CoNaIISI 2014; 17-32 ; 1666-6933 ; 1666-6917

Subject Terms: Comprensión de Programas, Identificadores, Herramienta de Análisis de Ids, Program Comprehension, Identifiers, Tool to analyse Ids

File Description: application/pdf

Relation: https://rtyc.utn.edu.ar/index.php/rtyc/article/view/255/209; https://rtyc.utn.edu.ar/index.php/rtyc/article/view/255

Availability: https://rtyc.utn.edu.ar/index.php/rtyc/article/view/255

Corrección Semi-Automática de Programas Java

Authors: Insa Cabrera, David Silva, Josep Departamento de Sistemas Informáticos y Computación et al.

Contributors: Insa Cabrera, David Silva, Josep Departamento de Sistemas Informáticos y Computación et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: http://ocs.editorial.upv.es/index.php/INRED/INRED2016/paper/download/4326/1801
https://riunet.upv.es/handle/10251/105248

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

Authors: 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 et al.

Index Terms: 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

Extensión de un analizador de programas Java

Authors: Zanardini, Damiano González Bodas, Javier

Index Terms: info:eu-repo/semantics/bachelorThesis