Výsledky vyhledávání - "java programs"

Enhancing Laser Physics Education through Multimedia Technologies and Interactive Simulators

Autoři: Noridova, Nur P.

Zdroj: Interdisciplinary Journal of Religious and Multicultural Perspectives; Vol. 1 No. 2 (2025): IJRMP VOL 1 NO 2 2025 June; 1-5 ; 3052-6000

Témata: Laser Physics, Multimedia Technologies, Teaching Methods, Digital Modeling, Individualized Education, Adobe Flash CS3, Java Programs

Popis souboru: application/pdf

Relation: https://ijrmp.com/index.php/journal/article/view/4/19; https://ijrmp.com/index.php/journal/article/view/4

Dostupnost: https://ijrmp.com/index.php/journal/article/view/4

New approaches to ensuring quality education on the example of laser physics

Autoři: Xamidjonov, Islom X. Xomidova, Durdona F. Ergasheva, Iroda I.

Zdroj: ACADEMICIA: An International Multidisciplinary Research Journal 11(10):1853-1860. 2021

Abstract Certification of Java Programs in Rewriting Logic

Autoři: ALBA CASTRO, MAURICIO FERNANDO

Přispěvatelé: 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

Zdroj: Riunet

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

Přístupová URL adresa: http://hdl.handle.net/10251/13617

Abstract Certification of Java Programs in Rewriting Logic

Přispěvatelé: 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

Zdroj: Riunet

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

Přístupová URL adresa: http://hdl.handle.net/10251/13617

Conceptual teaching of physics in secondary schools ; Konceptualni pouk fizike v srednji šoli

Autoři: Ülen, Simon Mitja Slavinec, Mitja Slavinec Gerlič, Ivan

Zdroj: Anali PAZU; Vol. 4 No. 1 (2014): ANALI PAZU; 6-17 ; Anali PAZU; Letn. 4 Št. 1 (2014): ANALI PAZU; 6-17 ; 2820-364X ; 2232-416X

Témata: tradicionalni frontalni pouk, konceptualni pouk, informacijska in komunikacijska tehnologija (IKT), javanski programi – fizleti, pedagoški eksperiment, traditional frontal teaching, conceptual teaching, information and communication technology (ICT), Java programs - Physlets, pedagogical experiment

Popis souboru: application/pdf

Relation: https://journals.um.si/index.php/anali-pazu/article/view/1964/1681

Dostupnost: https://journals.um.si/index.php/anali-pazu/article/view/1964
https://doi.org/10.18690/analipazu.4.1.6-17.2014

Analyzing Program Termination and Complexity Automatically with AProVE: Analyzing program termination and complexity automatically with \textsf{AProVE}

Autoři: Giesl, Jürgen Aschermann, Cornelius Brockschmidt, Marc a další

Zdroj: Giesl, J, Aschermann, C, Brockschmidt, M, Emmes, F, Frohn, F, Fuhs, C, Hensel, J, Otto, C, Plücker, M, Schneider-Kamp, P, Ströder, T, Swiderski, S & Thiemann, R 2017, ' Analyzing Program Termination and Complexity Automatically with AProVE ', Journal of Automated Reasoning, vol. 58, no. 1, pp. 3-31 . https://doi.org/10.1007/s10817-016-9388-y

Témata: csis, C programs, Theory of programming languages, Java programs, 0102 computer and information sciences, 02 engineering and technology, termination analysis, complexity analysis, 01 natural sciences, Prolog programs, Term rewriting, Termination analysis, Haskell programs, 13. Climate action, term rewriting, Grammars and rewriting systems, 0202 electrical engineering, electronic engineering, information engineering, Java/C/Haskell/Prolog programs, PROVING TERMINATION, Complexity analysis, Theorem proving (deduction, resolution, etc.)

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://eprints.bbk.ac.uk/id/eprint/16551/1/JAR-AProVE.pdf
https://findresearcher.sdu.dk:8443/ws/files/141379108/Analyzing_Program_Termination_and_Complexity_Automatically_with_AProVE.pdf

Design of a toolset for dynamic analysis of concurrent Java programs

Autoři: BECHINI, ALESSIO KUO CHUNG TAI

Zdroj: Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242). :190-197

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Program testing, Concurrent Java programs, Dynamic program analysis, 01 natural sciences

Remodularizing Java programs for improved locality of feature implementations in source code

Autoři: Olszak, Andrzej Jørgensen, Bo Nørregaard

Zdroj: Olszak, A & Jørgensen, B N 2011, ' Remodularizing Java Programs for Improved Locality of Feature Implementations in Source Code ', Science of Computer Programming, vol. 77, no. 3, pp. 131-151 . https://doi.org/10.1016/j.scico.2010.10.007

Témata: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), feature location, remodularization, Java programs, 02 engineering and technology, Fragile decomposition problem, Remodularization, fragile decomposition problem, 0202 electrical engineering, electronic engineering, information engineering, features, Feature location, Features, Software

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://zbmath.org/6059123
https://doi.org/10.1016/j.scico.2010.10.007
https://portal.findresearcher.sdu.dk/da/publications/f840199d-4e1f-4025-88e9-2fd661083104
https://doi.org/10.1016/j.scico.2010.10.007
https://findresearcher.sdu.dk:8443/ws/files/49141761/B1FADd01.pdf

Towards Verification of Java Programs in perICS: Towards verification of Java programs in VerICS

Autoři: Zbrzezny, Andrzej Woźna, Bożena

Zdroj: Fundamenta Informaticae. 85:533-548

Témata: Specification and verification (program logics, model checking, etc.), timed automata with discrete data model of Java programs, automated verification of timed automata

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/5499373

The JK System to Detect Plagiarism

Autoři: Khair Eddin M. Sabri Jubair J. Al-Jaafer

Zdroj: Journal of Computer Science and Technology, Vol 6, Iss 02, Pp 66-72 (2006)

Témata: entropy, plagiarism, reverse engineering, software engineering, java programs, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://journal.info.unlp.edu.ar/JCST/article/view/816; https://doaj.org/toc/1666-6046; https://doaj.org/toc/1666-6038

Přístupová URL adresa: https://doaj.org/article/58b6ca9ce24a4abbaf3e05b3f2dc5d71

Java Sorting Programs

Autoři: Paaßen, Benjamin

Témata: Java programs

Dostupnost: https://pub.uni-bielefeld.de/record/2900684
https://pub.uni-bielefeld.de/download/2900684/2900685
https://pub.uni-bielefeld.de/download/2900684/2901168

MiniPalindrome

Autoři: Paaßen, Benjamin

Témata: Java programs

Dostupnost: https://pub.uni-bielefeld.de/record/2900666
https://pub.uni-bielefeld.de/download/2900666/2900682

– Based on projects hosted at GitHub and ques-ons posted at StackOverflow

Autoři: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Přispěvatelé: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Zdroj: http://srl.cs.berkeley.edu/~ksen/slides/jalangi-jstools13.pdf.

Témata: – Academic tools, SLAM, BLAST, ESP, JPF, Bandera, Saturn, MAGIC, DART, CUTE, jCUTE, KLEE – Mostly focused on C/C++ and Java programs

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.9862

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.9862
http://srl.cs.berkeley.edu/~ksen/slides/jalangi-jstools13.pdf

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

Autoři: Xavier, Kleber da Silva

Thesis Advisors: Melo, Ana Cristina Vieira de

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

Popis souboru: application/pdf

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

0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION

Autoři: Stan Rosenberg Advisor David A. Naumann a další

Přispěvatelé: Stan Rosenberg Advisor David A. Naumann a další

Zdroj: http://www.cs.stevens.edu/~naumann/pub/VERL/RosenbergDiss.pdf.

Témata: REGION LOGIC, LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.2086; http://www.cs.stevens.edu/~naumann/pub/VERL/RosenbergDiss.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.2086
http://www.cs.stevens.edu/~naumann/pub/VERL/RosenbergDiss.pdf

COMP 3650 Object Oriented Software Design

Autoři: Waxman, Joshua

Témata: computer programming, IntelliJ projects, design patterns, Java programs, object-oriented ideas

Popis souboru: application/pdf

Relation: SCW Syllabi;COMP 3650; Waxman, Joshua. (2021, Spring), Syllabus, COMP 3650 Object Oriented Software Design, Stern College for Women, Yeshiva University.; https://hdl.handle.net/20.500.12202/7651

Dostupnost: https://hdl.handle.net/20.500.12202/7651

Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for Java

Autoři: Margoor, Amogh

Thesis Advisors: Rasghavan, K V

Témata: Java (Computer Programme Language), Java Programs - Verification, Java Collections, Java Maps, Java Programs - Base Analysis, Computer Programs - Verification, Java Container Class Methods, Computer Science

Relation: G25614

Dostupnost: http://hdl.handle.net/2005/3284
http://etd.ncsi.iisc.ernet.in/abstracts/4146/G25614-Abs.pdf

Java\(\Omega\): The structures and the implementation of a preprocessor for Java with m\(_-\) and mc\(_-\)parameters

Autoři: Bellia, Marco Occhiuto, M. Eugenia

Témata: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Java API, Theory of programming languages, program preprocessing, Java programs

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/5593262

The JK System to Detect Plagiarism

Autoři: Sabri, Khair Eddin M. Al-Jaafer, Jubair J.

Zdroj: Journal of Computer Science and Technology, Vol 6, Iss 02, Pp 66-72 (2006)
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP

Témata: Restructuring, Computer engineering. Computer hardware, Ciencias Informáticas, QA75.5-76.95, Plagio, Restructuring, reverse engineering, and reengineering, java programs, SOFTWARE ENGINEERING, reverse engineering, TK7885-7895, Electronic computers. Computer science, Entropía, entropy, plagiarism, and reengineering, software engineering

Popis souboru: application/pdf

Přístupová URL adresa: https://doaj.org/article/58b6ca9ce24a4abbaf3e05b3f2dc5d71
http://sedici.unlp.edu.ar/handle/10915/9540

Datasets for: Semantic Robustness of Models of Source Code

Autoři: Goutham Ramakrishnan Jordan Henkel Zi Wang a další

Témata: Adversarial Machine Learning, Semantics Preserving Transformations, Java Programs, Python Programs

Relation: https://zenodo.org/records/3659217; oai:zenodo.org:3659217; https://doi.org/10.5281/zenodo.3659217

Dostupnost: https://doi.org/10.5281/zenodo.3659217
https://zenodo.org/records/3659217