Výsledky vyhľadávania - (( programas Java ) OR ( program Java ))

Towards Practical and Automated Type-Based Program Analysis in Java

Autori: Karimipour, Nima

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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: KHAING HSU WAI,

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Martins, Alexandre Locci

Thesis Advisors: Melo, Ana Cristina Vieira de

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

Popis súboru: application/pdf

Dostupnosť: 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

Autori: Hanazumi, Simone

Thesis Advisors: Melo, Ana Cristina Vieira de

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

Popis súboru: application/pdf

Dostupnosť: 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

Autori: 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.

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

Dostupnosť: 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

Autori: 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.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Alexandre Locci Martins

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

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

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

Dostupnosť: 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

Autori: Xavier, Kleber da Silva

Thesis Advisors: Melo, Ana Cristina Vieira de

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

Popis súboru: application/pdf

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

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

Autori: Azcurra, Javier Berón, Mario Henriques, Pedro Rangel a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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)

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

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

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

JavAccountant: contabilizando la actividad de programas Java

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

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

Extensión de un analizador de programas Java

Autori: Zanardini, Damiano González Bodas, Javier

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

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

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

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

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

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

Popis súboru: application/pdf

Prístupová URL adresa: https://repositorio.autonoma.edu.co/handle/11182/685

Automatic Construction of Java Programs from Functional Program Specifications

Autori: Md. Humayun

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

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

Prístupová URL adresa: http://thesai.org/Downloads/Volume6No4/Paper_9-Automatic_Construction_of_Java_Programs_from_Functional_Program_Specifications.pdf

Visualizador de programas Java concurrentes

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

Témy: 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

Autori: Hoyos, Francisco Rafael Lorenzo

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

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

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

Popis súboru: 66 f. : il.; application/octet-stream

Dostupnosť: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275840

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

Autori: Sirotić, Zlatko Sovilj, Siniša Sinković, Giorgio a ďalší

Prispievatelia: Sirotić, Zlatko Sovilj, Siniša Sinković, Giorgio a ďalší

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

Popis súboru: application/pdf

Prístupová URL adresa: 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

Autori: Arenas Sánchez, Purificación Albert Albiol, Elvira María Solanas González, Esther a ďalší

Témy: 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

Autori: Caballero Roldán, Rafael González-Blanch Rodríguez, Francisco Miguel Roses, Reyes de a ďalší

Témy: 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

Autori: Kleber da Silva Xavier

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

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

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

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