Search Results - (( programas Java ) OR ( program Java ))~

Towards Practical and Automated Type-Based Program Analysis in Java

Authors: Karimipour, Nima

Subject Terms: Computer science, Computer engineering, Java, Large Language Models, Pluggable Type Systems and Inference, Program Analysis, Program Repair, Static Analysis

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/98m4t37q
https://escholarship.org/content/qt98m4t37q/qt98m4t37q.pdf

A Study of Java Answer Code Validation Program and JavaScript Code Modification Problems

Authors: KHAING HSU WAI,

File Description: application/pdf

Access URL: https://ndlsearch.ndl.go.jp/books/R100000039-I13979699

Degree: 博士（工学） -- 岡山大学

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/

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

Generation of Java program properties from test purposes

Authors: Hanazumi, Simone

Thesis Advisors: Melo, Ana Cristina Vieira de

Subject Terms: Especificação de programas, Formal verification, Java, Objetivos de teste, Program specification, Test purposes, Verificação formal

File Description: application/pdf

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

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

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

Subject Terms: Especificação de programas, Java, Objetivos de teste, Verificação formal, Formal verification, Program specification, Test purposes

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

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

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

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

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

File Description: application/pdf

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

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

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

Testing and formal verification of the exceptional behavior of Java programs

Authors: Alexandre Locci Martins

Thesis Advisors: Ana Cristina Vieira de Melo, Marcelo Bezerra D'Amorim, Nandamudi Lankalapalli Vijaykumar

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

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

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

Ambiente de testes utilizando verificação de componentes java com tratamento de exceções

Test environment using property checking of Java components with exception handling

Authors: Xavier, Kleber da Silva

Thesis Advisors: Melo, Ana Cristina Vieira de

Subject Terms: exception handling, Java programs, Object-oriented testing, programas Java, testes, testing, tratamento de exceções, verificação formal

File Description: application/pdf

Availability: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/

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

ANÁLISIS SEMÁNTICO DE PROGRAMAS ESCRITOS EN JAVA. (Spanish)

Alternate Title: SEMANTIC ANALYSIS OF PROGRAMS WRITTEN IN JAVA. (English)

Authors: Díz, Luis Gajardo Brule, Luis Mateu

Source: Theoría: Ciencia, Arte y Humanidades; 2004, Vol. 13, p39-49, 11p

Subject Terms: OBJECT-oriented programming, PROGRAMMING languages, COMPUTER software development, JAVA programming language, COMPILERS (Computer programs), SOURCE code

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

Extensión de un analizador de programas Java

Authors: Zanardini, Damiano González Bodas, Javier

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

Validador de certificados de propiedades de seguridad de código fuente Java

Authors: Grisales Badillo, Luis Fernando Alba Castro, Mauricio Fernando

Contributors: Grisales Badillo, Luis Fernando Alba Castro, Mauricio Fernando

Source: Universidad Autónoma de Manizales
RepoUAM-UAM
Repositorio UAM
instacron:Universidad Autónoma de Manizales

Subject Terms: Códigos de corrección-Teoría de la información, Programación orientada a objetos-Lenguaje de programación, JAVA logic programming-Programming language, Object Oriented Programming-Programming language, Programación lógica JAVA-Lenguaje de programación, Semántica, Correction codes-Information theory, Verificación de programas para computador, Verification of computer programs, Semantics

File Description: application/pdf

Access URL: https://repositorio.autonoma.edu.co/handle/11182/685

Automatic Construction of Java Programs from Functional Program Specifications

Authors: Md. Humayun

Source: International Journal of Advanced Computer Science and Applications. 6

Subject Terms: Executable, 0211 other engineering and technologies, 02 engineering and technology, Java concurrency, Theoretical computer science, Scala, Artificial Intelligence, Programming Language Semantics, Parallel Computing and Performance Optimization, 0202 electrical engineering, electronic engineering, information engineering, Java applet, 2. Zero hunger, Java annotation, 4. Education, Computer science, Programming language, Computational Theory and Mathematics, Hardware and Architecture, Generics in Java, Computer Science, Physical Sciences, strictfp, Real time Java, Java Modeling Language, Program Analysis and Verification Techniques, Java, Formal Methods in Software Verification and Control

Access URL: http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf

Visualizador de programas Java concurrentes

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

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

Um modelo de execução para Java no processador Cell BE

An execution model for Java on the Cell BE processor

Authors: Hoyos, Francisco Rafael Lorenzo

Thesis Advisors: UNIVERSIDADE ESTADUAL DE CAMPINAS, Azevedo, Rodolfo Jardim de, 1974, Kofuji, Sergio Takeo, Rigo, Sandro

Source: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Subject Terms: Java (Linguagem de programação de computador), Framework (Programa de computador), Arquitetura de computador, Processadores multicore, Java (Computer program languages), Framework (Computer program), Multicore processors, Computer architecture

File Description: 66 f. : il.; application/octet-stream

Availability: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275840

Testiranje konkurentnih transakcija u Oracle bazi podataka pomoću Java paralelnog programiranja

Authors: Sirotić, Zlatko Sovilj, Siniša Sinković, Giorgio et al.

Contributors: Sirotić, Zlatko Sovilj, Siniša Sinković, Giorgio et al.

Subject Terms: Informatics, modern programming techniques database business rules, database business rules, DRUŠTVENE ZNANOSTI. Informacijske i komunikacijske znanosti. Informacijski sustavi i informatologija, transakcije u bazama podataka, testiranje konkurentnih transakcija pomoću Java paralelnih programa, Java parallel programming, testing of concurrent transactions using Java parallel programs, poslovna pravila u bazama podataka, Java paralelno programiranje, informatika, poslovna pravila u bazama podataka, transakcije u bazama podataka, Java paralelno programiranje, testiranje konkurentnih transakcija pomoću Java paralelnih programa, suvremene tehnike programiranja, SOCIAL SCIENCES. Information and Communication Sciences. Information Systems and Information Science, database transactions

File Description: application/pdf

Access URL: https://www.bib.irb.hr/1110339
https://repozitorij.unipu.hr/islandora/object/unipu:5737
https://urn.nsk.hr/urn:nbn:hr:137:881506
https://repozitorij.unipu.hr/islandora/object/unipu:5737/datastream/PDF
https://repozitorij.unipu.hr/islandora/object/unipu:5737
https://urn.nsk.hr/urn:nbn:hr:137:881506

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

Authors: Arenas Sánchez, Purificación Albert Albiol, Elvira María Solanas González, Esther et al.

Index Terms: coursework

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

Depurador Declarativo de programas JAVA

Authors: Caballero Roldán, Rafael González-Blanch Rodríguez, Francisco Miguel Roses, Reyes de et al.

Index Terms: coursework

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

Ambiente de testes utilizando verificação de componentes java com tratamento de exceções

Test environment using property checking of Java components with exception handling

Authors: Kleber da Silva Xavier

Thesis Advisors: Ana Cristina Vieira de Melo, Patricia Duarte de Lima Machado, Francisco Carlos da Rocha Reverbel

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

Subject Terms: programas Java, testes, tratamento de exceções, verificação formal, exception handling, Java programs, Object-oriented testing, testing

Availability: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/