Suchergebnisse - "Java Programs"

Enhancing Laser Physics Education through Multimedia Technologies and Interactive Simulators

Autoren: Noridova, Nur P.

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

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: https://ijrmp.com/index.php/journal/article/view/4

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

Autoren: Xamidjonov, Islom X. Xomidova, Durdona F. Ergasheva, Iroda I.

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

Abstract Certification of Java Programs in Rewriting Logic

Autoren: ALBA CASTRO, MAURICIO FERNANDO

Weitere Verfasser: 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

Quelle: Riunet

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

Zugangs-URL: http://hdl.handle.net/10251/13617

Abstract Certification of Java Programs in Rewriting Logic

Weitere Verfasser: 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

Quelle: Riunet

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

Zugangs-URL: http://hdl.handle.net/10251/13617

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

Autoren: Ülen, Simon Mitja Slavinec, Mitja Slavinec Gerlič, Ivan

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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}

Autoren: Giesl, Jürgen Aschermann, Cornelius Brockschmidt, Marc et al.

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

Schlagwörter: 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.)

Dateibeschreibung: application/xml; application/pdf

Zugangs-URL: 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

Autoren: BECHINI, ALESSIO KUO CHUNG TAI

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

Schlagwörter: 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

Autoren: Olszak, Andrzej Jørgensen, Bo Nørregaard

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

Schlagwörter: 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

Dateibeschreibung: application/xml; application/pdf

Zugangs-URL: 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

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

Quelle: Fundamenta Informaticae. 85:533-548

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

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/5499373

The JK System to Detect Plagiarism

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

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

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

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

Zugangs-URL: https://doaj.org/article/58b6ca9ce24a4abbaf3e05b3f2dc5d71

Java Sorting Programs

Autoren: Paaßen, Benjamin

Schlagwörter: Java programs

Verfügbarkeit: https://pub.uni-bielefeld.de/record/2900684
https://pub.uni-bielefeld.de/download/2900684/2900685
https://pub.uni-bielefeld.de/download/2900684/2901168

MiniPalindrome

Autoren: Paaßen, Benjamin

Schlagwörter: Java programs

Verfügbarkeit: 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

Autoren: Koushik Sen Swaroop Kalasapur Tasneem Brutch et al.

Weitere Verfasser: Koushik Sen Swaroop Kalasapur Tasneem Brutch et al.

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

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Xavier, Kleber da Silva

Thesis Advisors: Melo, Ana Cristina Vieira de

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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/

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

Autoren: Stan Rosenberg Advisor David A. Naumann et al.

Weitere Verfasser: Stan Rosenberg Advisor David A. Naumann et al.

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

Schlagwörter: REGION LOGIC, LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION

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

Verfügbarkeit: 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

Autoren: Waxman, Joshua

Schlagwörter: computer programming, IntelliJ projects, design patterns, Java programs, object-oriented ideas

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

Verfügbarkeit: https://hdl.handle.net/20.500.12202/7651

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

Autoren: Margoor, Amogh

Thesis Advisors: Rasghavan, K V

Schlagwörter: 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

Verfügbarkeit: 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

Autoren: Bellia, Marco Occhiuto, M. Eugenia

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

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/5593262

The JK System to Detect Plagiarism

Autoren: Sabri, Khair Eddin M. Al-Jaafer, Jubair J.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: https://doaj.org/article/58b6ca9ce24a4abbaf3e05b3f2dc5d71
http://sedici.unlp.edu.ar/handle/10915/9540

Datasets for: Semantic Robustness of Models of Source Code

Autoren: Goutham Ramakrishnan Jordan Henkel Zi Wang et al.

Schlagwörter: 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

Verfügbarkeit: https://doi.org/10.5281/zenodo.3659217
https://zenodo.org/records/3659217