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

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: 博士（工学） -- 岡山大学

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/

Applying temporal chunk signals analysis to measure programming competence by the transcription of Java program code

Authors: Albehaijan, Noorah Abdullah

Subject Terms: QA0076.6 Programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.856236

Java Program Design : Principles, Polymorphism, and Patterns

Authors: Edward Sciore

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / Java

CodeTranFix: A Neural Machine Translation Approach for Context-Aware Java Program Repair with CodeBERT

Authors: Yiwei Lu Shuxia Ye Liang Qi

Source: Applied Sciences, Vol 15, Iss 7, p 3632 (2025)

Subject Terms: automated program repair (APR), neural machine translation (NMT), context-aware patch generation, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/7/3632; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/16b1494334b748a0b2e0208d5ddee76e

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

Deep learning-based java program internal annotation generation method and system

TRANSFORMING A JAVA PROGRAM USING A SYMBOLIC DESCRIPTION LANGUAGE MODEL

Learning Java

Authors: Joshua Crotts

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, EDUCATION / Computers & Technology

JAVA Memory Care program: Facilitating social and occupational engagement for older adults living with advanced dementia.

Authors: du Toit SHJ Jessup GM

Source: Australian occupational therapy journal [Aust Occup Ther J] 2024 Feb; Vol. 71 (1), pp. 64-75. Date of Electronic Publication: 2023 Oct 16.

Publication Type: Journal Article

Journal Info: Publisher: Blackwell Country of Publication: Australia NLM ID: 15420200R Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1440-1630 (Electronic) Linking ISSN: 00450766 NLM ISO Abbreviation: Aust Occup Ther J Subsets: MEDLINE

MeSH Terms: Dementia* , Occupational Therapy*, Aged ; Humans ; Australia ; Homes for the Aged

DEEP LEARNING-BASED JAVA PROGRAM INTERNAL ANNOTATION GENERATION METHOD AND SYSTE

Inspecting Java Program States with Semantic Web Technologies

Authors: Haubner, Anton W.

Index Terms: Master Thesis, NonPeerReviewed, info:eu-repo/semantics/masterThesis

URL: https://tuprints.ulb.tu-darmstadt.de/22143/1/thesis.pdf
http://tuprints.ulb.tu-darmstadt.de/22143/
https://doi.org/10.26083/tuprints-00022143
http://tuprints.ulb.tu-darmstadt.de/22143
https://doi.org/10.26083/tuprints-00022143

Dynamic Java program analysis using virtual machine modification

Authors: M. . Ermakov S. . Vartanov

Source: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 23-38 (2018)

Subject Terms: динамический анализ программ, профилирование памяти, java, android, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1088; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/ba9f65f005904093bf8ea271e78ffa09

Introducing Blockchain with Java : Program, Implement, and Extend Blockchains with Java

Authors: Spiro Buzharovski

Resource Type: eBook.

Subjects: Blockchains (Databases), Application software--Development, Java (Computer program language), Computer programming

Categories: COMPUTERS / Languages / Java, COMPUTERS / General, COMPUTERS / Languages / General, COMPUTERS / Blockchain

Java Fundamentals : A Fast-paced and Pragmatic Introduction to One of the World's Most Popular Programming Languages

Authors: Gazihan Alankus Rogério Theodoro de Brito Basheer Ahamed Fazal et al.

Resource Type: eBook.

Subjects: Java (Computer program language)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Programming / Object Oriented

A Java Program for the Viewing of Ambient Data

Contributors: Fisher, A

Source: Other Information: PBD: 3 Sep 2004

File Description: Medium: ED; Size: vp.

Access URL: http://www.osti.gov/scitech/servlets/purl/833125

Performance Engineering : Learning Through Applications Using JMT

Authors: Giuseppe Serazzi

Resource Type: eBook.

Subjects: Computer networks--Management, Java (Computer program language)

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Partial program analysis for staged compilation systems.

Authors: Anand, Aditya Thakur, Manas

Source: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p195-230, 36p

Subject Terms: COST analysis, EVALUATORS, TRANSLATORS, COMPILERS (Computer programs), LIBRARIES

Dataflow approach to testing Java programs supported with DFC

Authors: Ilona Bluemke Artur Rembiszewski

Source: e-Informatica Software Engineering Journal, Vol 9, Iss 1, Pp 9-19 (2015)

Subject Terms: Data Flow Coverage, data flow testing, Java, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_9/eInformatica2015Art1.pdf; https://doaj.org/toc/1897-7979; https://doaj.org/toc/2084-4840

Access URL: https://doaj.org/article/b62f7ec55a57484bae4d803a80ff9518