Suchergebnisse - (( ((programas OR programy) OR program) java ) OR ( program java ))~
-
1
-
2
Autoren: Mečiar, Martin
Thesis Advisors: Zavoral, Filip, Kofroň, Jan
Schlagwörter: Java, statická analýza, static analysis, bytecode, datový tok, data flow
Verfügbarkeit: http://www.nusl.cz/ntk/nusl-406288
-
3
Autoren: Hanazumi, Simone
Thesis Advisors: Melo, Ana Cristina Vieira de
Schlagwörter: Especificação de programas, Formal verification, Java, Objetivos de teste, Program specification, Test purposes, Verificação formal
Dateibeschreibung: application/pdf
-
4
Autoren: 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
Quelle: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
-
5
Autoren: Albehaijan, Noorah Abdullah
Schlagwörter: QA0076.6 Programming
-
6
Autoren: Ramirez Deantes, Diana
Thesis Advisors: Puebla Sánchez, Alvaro Germán
Schlagwörter: Informática
Zugangs-URL: http://hdl.handle.net/10803/452001
-
7
Autoren: Fries, Aidan
Weitere Verfasser: 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
Quelle: TDX (Tesis Doctorals en Xarxa)
Schlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-URL: http://hdl.handle.net/10803/98405
-
8
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
-
9
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
-
10
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)
Quelle: 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
7745Schlagwörter: APIs, Java Virtual Machine, Model Transformations, Model-Driven Engineering, Transformations at Runtime, Informática
Zugangs-URL: http://hdl.handle.net/10486/664466
-
11
Autoren: Edward Sciore
Resource Type: eBook.
Schlagworte: Java (Computer program language)
Categories: COMPUTERS / Languages / Java
-
12
Autoren:
Quelle: Applied Sciences, Vol 15, Iss 7, p 3632 (2025)
Schlagwörter: 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
Dateibeschreibung: electronic resource
-
13
Alternate Title: SEMANTIC ANALYSIS OF PROGRAMS WRITTEN IN JAVA. (English)
Autoren:
Quelle: Theoría: Ciencia, Arte y Humanidades; 2004, Vol. 13, p39-49, 11p
-
14
-
15
Autoren: Joshua Crotts
Resource Type: eBook.
Schlagworte: Java (Computer program language)
Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, EDUCATION / Computers & Technology
-
16
Autoren: Tejedor Saavedra, Enric
Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria)
Quelle: TDX (Tesis Doctorals en Xarxa)
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Quelle: Information and Media Technologies. 2012, 7(4):1401
-
18
-
19
-
20
Nájsť tento článok vo Web of Science 
Full Text Finder