-
1Academic Journal
Enhancing Java API Security with AI and Machine Learning: Smarter Defenses for a Safer Digital World
Συγγραφείς: Srinivas Adilapuram
Πηγή: International Journal of Science and Research (IJSR). 14:341-345
-
2Conference
Συγγραφείς: Liu, Shuang, Bai, Guangdong, Sun, Jun, Dong, Jin Song
Πηγή: 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on. :219-222 Nov, 2016
Relation: 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)
-
3Conference
Συγγραφείς: Li, Hao, Li, Tao, Zhong, Sheng, Kang, Yan, Chen, Tie
Πηγή: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) QRS-C Software Quality, Reliability and Security Companion (QRS-C), 2020 IEEE 20th International Conference on. :398-405 Dec, 2020
Relation: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
-
4Conference
Συγγραφείς: Nair, Lekshmi S
Πηγή: 2021 6th International Conference on Communication and Electronics Systems (ICCES) Communication and Electronics Systems (ICCES), 2021 6th International Conference on. :1255-1259 Jul, 2021
Relation: 2021 6th International Conference on Communication and Electronics Systems (ICCES)
-
5Academic Journal
Συγγραφείς: Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Πηγή: Formal Methods in System Design. 58:160-187
Θεματικοί όροι: embedding, Specification and verification (program logics, model checking, etc.), formal methods, Java API, 9. Industry and infrastructure, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), run-time execution, ProB, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Περιγραφή αρχείου: application/xml
Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s10703-020-00351-3.pdf
-
6Conference
Συγγραφείς: Djukic, Ilija, Lukic, Nemanja, Dzakula, Radomir, Srdjan, Drca
Πηγή: 2013 21st Telecommunications Forum Telfor (TELFOR) Telecommunications Forum (TELFOR), 2013 21st. :713-716 Nov, 2013
Relation: 2013 21st Telecommunications Forum Telfor (TELFOR)
-
7Academic Journal
Πηγή: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 46(9):1004-1023 Sep, 2020
-
8Academic Journal
Συγγραφείς: Jingbo Yang, Wenjun Wu 0001, Jian Ren 0004
Πηγή: Software Testing, Verification and Reliability. 35
Συνδεδεμένο Πλήρες Κείμενο -
9Academic Journal
Συγγραφείς: Chun Jiann Lim, Moon Ting Su (Corresponding Author)
Πηγή: Malaysian Journal of Computer Science. 36:148-172
-
10Academic Journal
Συγγραφείς: Ye Wang 0012, Weihao Xue, Qiao Huang, Bo Jiang 0009, Hua Zhang 0011
Πηγή: Journal of Software: Evolution and Process. 37
Συνδεδεμένο Πλήρες Κείμενο -
11Conference
How good are the specs? A study of the bug-finding effectiveness of existing Java API specifications
Συγγραφείς: Legunsen, Owolabi, Hassan, Wajih Ul, Xu, Xinyue, Rosu, Grigore, Marinov, Darko
Πηγή: 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2016 31st IEEE/ACM International Conference on. :602-613 Sep, 2016
Relation: 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE)
-
12Conference
Συγγραφείς: Zhai, Juan, Huang, Jianjun, Ma, Shiqing, Zhang, Xiangyu, Tan, Lin, Zhao, Jianhua, Qin, Feng
Πηγή: 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2016 IEEE/ACM 38th International Conference on. :380-391 May, 2016
Relation: 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE)
-
13Book
Συγγραφείς: Qingmi Liang, Yi Jin, Qi Xie 0010, Li Kuang, Yu Sheng
Πηγή: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ISBN: 9783031545207
-
14Conference
Συγγραφείς: Ancona, Davide, Dagnino, Francesco, Franceschini, Luca
Πηγή: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. :24-26
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3236454.3236476
-
15Academic Journal
Συγγραφείς: Shene Jalil Jamal, Chnoor M. Rahman, Mzhda S. Abdulkarim
Πηγή: UKH Journal of Science and Engineering, Vol 6, Iss 1, Pp 33-41 (2022)
Θεματικοί όροι: xml schema, Technology, xsd, Science, java, jaxp, dtd
Σύνδεσμος πρόσβασης: https://doaj.org/article/5d7042ba8f214a82b8aa3d139db490ef
-
16Conference
Συγγραφείς: Gyori, Alex, Lambeth, Ben, Shi, August, Legunsen, Owolabi, Marinov, Darko
Πηγή: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. :993-997
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2950290.2983932
-
17Conference
Συγγραφείς: Huang, Waylon
Πηγή: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. :1145-1147
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2950290.2983977
-
18
Συγγραφείς: Rodrigues, Rui Miguel Brandão
Συνεισφορές: Ferreira, Luís Miguel Moreira Lino, Maia, Cláudio Roberto Ribeiro, REPOSITÓRIO P.PORTO
Περιγραφή αρχείου: application/pdf
Διαθεσιμότητα: http://hdl.handle.net/10400.22/2834
-
19Conference
Συγγραφείς: Ahrendt, Wolfgang, Mostowski, Wojciech, Paganelli, Gabriele
Πηγή: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. :145-154
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2388936.2388960
-
20Conference
Συγγραφείς: Arend, Daniel, Lange, Matthias, Colmsee, Christian, Flemming, Steffen, Chen, Jinbo, Scholz, Uwe
Πηγή: 2012 IEEE International Conference on Bioinformatics and Biomedicine Bioinformatics and Biomedicine (BIBM), 2012 IEEE International Conference on. :1-5 Oct, 2012
Relation: 2012 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)