Search Results - (( ((programyes OR (programy OR programy)) 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: 博士（工学） -- 岡山大学

Statická analýza datových toků pro programy v jazyce Java

Static data flow analysis for Java programs

Authors: Mečiar, Martin

Thesis Advisors: Zavoral, Filip, Kofroň, Jan

Subject Terms: Java, statická analýza, static analysis, bytecode, datový tok, data flow

Availability: http://www.nusl.cz/ntk/nusl-406288

ModiChecker: Accessibility Excessiveness Analysis Tool for Java Program

Authors: Dotri Quoc Katsuro Inoue Kazuo Kobori et al.

Source: Information and Media Technologies. 2012, 7(4):1401

Design Of Understanding Cost Calculation Tool for Static Java Program Structure / 静的なJavaプログラムを対象とした構造の理解コスト計量ツールの設計

Authors: Takahisa Baba Tetsuro Kakeshita 掛下 哲郎 et al.

Source: Record of Joint Conference of Electrical and Electronics Engineers in Kyushu. 2004, :641

An Understanding Cost Calculation Tool for Static Java Program / 静的なJavaプログラムを対象とした理解コスト計量ツール

Authors: Takahisa Baba Tetsuro Kakeshita 掛下 哲郎 et al.

Source: Record of Joint Conference of Electrical and Electronics Engineers in Kyushu. 2005, :498

Java Virtual Machine - Memory-Constrained Copying: Part 1: Main report

Authors: Amundsen, Kai Kristian Natvig, Lasse Haaker, Morten et al.

Contributors: Amundsen, Kai Kristian Natvig, Lasse Haaker, Morten et al.

Availability: http://hdl.handle.net/11250/250898

Project Development for Blood Bank Application and Convertor for Software Testing

Authors: Rosziati Ibrahim Mizani Mohamad Madon Zhiang Yue Lee et al.

Source: International Society for Technology, Education, and Science. 2023.

Peer Reviewed: Y

Page Count: 12

Descriptors: Program Administration, Educational Technology, Computer Software, Testing, Programming, Programming Languages, Computer Science Education, Computer Oriented Programs, Reliability, Databases

Classification-based Static Collection Selection for Java: Effectiveness and Adaptability

Authors: Couderc, Noric Reichenbach, Christoph Söderberg, Emma et al.

Contributors: Couderc, Noric Reichenbach, Christoph Söderberg, Emma et al.

Source: EASE '23: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023.

Subject Terms: Natural Sciences, Computer and Information Sciences, Software Engineering, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Programvaruteknik

Access URL: https://doi.org/10.1145/3593434.3593469

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

The use of Java in large scientific applications in HPC environments

Authors: Fries, Aidan

Contributors: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia

Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/98405

Practical Java: Learning in exercises

Authors: Laskov, Lasko M.

Source: Laskov, Lasko M. (2020) Practical Java: Learning in exercises. Manual. Научен електронен архив на НБУ, София. (Unpublished)

Subject Terms: Computer science. Computer programming

File Description: application/pdf

Access URL: http://eprints.nbu.bg/3422/

Abstract Certification of Java Programs in Rewriting Logic

Authors: ALBA CASTRO, MAURICIO FERNANDO

Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago

Source: Riunet

Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Access URL: http://hdl.handle.net/10251/13617

Abstract Certification of Java Programs in Rewriting Logic

Contributors: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Alpuente Frasnedo, María, Escobar Román, Santiago

Source: Riunet

Subject Terms: Rewriting logic maude, Proof-carrying code pcc, Non-interference, Erasure, Java programs, Certification, Verification, LENGUAJES Y SISTEMAS INFORMATICOS

Access URL: http://hdl.handle.net/10251/13617

The eclipse java metamodel scaffolding software engineering research on java projects with MDE techniques

Authors: Coimbra, P. Brito e Abreu, F.

Subject Terms: Model-driven engineering, Metamodeling techniques, Eclipse IDE, Java projects, Software metrics

File Description: application/pdf

Relation: 978-989-758-007-9

Availability: http://hdl.handle.net/10071/25828

The program is the model: Enabling transformations@run.time

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)

Source: Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science. Volumen 7745. Springer, 2013. 104-123
978-3-642-36089-3 (online)
978-3-642-36088-6 (print)
0302-9743 (print)
1611-3349 (online)
104
123
7745

Subject Terms: APIs, Java Virtual Machine, Model Transformations, Model-Driven Engineering, Transformations at Runtime, Informática

Access URL: http://hdl.handle.net/10486/664466

Sperm Sizer : a program to semi-automate the measurement of sperm length

Authors: McDiarmid, Callum S. Li, Roger Kahrl, Ariel F. et al.

Source: Behavioral Ecology and Sociobiology, 2021 May 01. 75(5), 1-8.

Access URL: https://www.jstor.org/stable/48772992

The Guardian: Microsoft loses Java case: Software group told to stop tweaking rival's program for Windows '98

Authors: By:MARK TRAN IN NEW YORK

Source: Guardian, The (London, England), November 19, 1998, 2pp

Programming and parallelising applications for distributed infrastructures

Authors: Tejedor Saavedra, Enric

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)

Source: TDX (Tesis Doctorals en Xarxa)

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/129576
https://dx.doi.org/10.5821/dissertation-2117-95111

Monash campus runs Java program

Authors: By:DIANA THORP

Source: Australian, The (Australia), September 22, 1999 Features 1, p. 031 1pp

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