Výsledky vyhľadávania - "Java programs"

Enhancing Laser Physics Education through Multimedia Technologies and Interactive Simulators

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

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

Popis súboru: application/pdf

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

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

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

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

Autori: ALBA CASTRO, MAURICIO FERNANDO

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

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

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

Abstract Certification of Java Programs in Rewriting Logic

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

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

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

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

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

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

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

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

Autori: Giesl, Jürgen Aschermann, Cornelius Brockschmidt, Marc a ďalší

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

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

Prí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

Autori: BECHINI, ALESSIO KUO CHUNG TAI

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

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

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

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

Prí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

Autori: Zbrzezny, Andrzej Woźna, Bożena

Zdroj: Fundamenta Informaticae. 85:533-548

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

Popis súboru: application/xml

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

The JK System to Detect Plagiarism

Autori: Khair Eddin M. Sabri Jubair J. Al-Jaafer

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

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

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

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

Java Sorting Programs

Autori: Paaßen, Benjamin

Predmety: Java programs

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

MiniPalindrome

Autori: Paaßen, Benjamin

Predmety: Java programs

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

Autori: Koushik Sen Swaroop Kalasapur Tasneem Brutch a ďalší

Prispievatelia: Koushik Sen Swaroop Kalasapur Tasneem Brutch a ďalší

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

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

Popis súboru: application/pdf

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

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

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/

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

Autori: Stan Rosenberg Advisor David A. Naumann a ďalší

Prispievatelia: Stan Rosenberg Advisor David A. Naumann a ďalší

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

Predmety: REGION LOGIC, LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION

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

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

Autori: Waxman, Joshua

Predmety: computer programming, IntelliJ projects, design patterns, Java programs, object-oriented ideas

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

Dostupnosť: https://hdl.handle.net/20.500.12202/7651

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

Autori: Margoor, Amogh

Thesis Advisors: Rasghavan, K V

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

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

Autori: Bellia, Marco Occhiuto, M. Eugenia

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

Popis súboru: application/xml

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

The JK System to Detect Plagiarism

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

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

Prí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

Autori: Goutham Ramakrishnan Jordan Henkel Zi Wang a ďalší

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

Dostupnosť: https://doi.org/10.5281/zenodo.3659217
https://zenodo.org/records/3659217