-
1مؤتمر
المؤلفون: Silva, Alvaro, Mendes, Alexandra, Ferreira, Joao F.
المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :138-142 Apr, 2024
Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
-
2دورية أكاديمية
المؤلفون: Chakravarty, KrishnaAff1, IDs13198024022831_cor1, Singh, Jagannath
المصدر: International Journal of System Assurance Engineering and Management. 15(6):2606-2622
-
3مؤتمر
المؤلفون: Paz Milani, Alessandra Maciel
المصدر: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2023 IEEE/ACM 45th International Conference on. :256-258 May, 2023
Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
-
4مؤتمر
المؤلفون: Silva, Leo, Castro, Marilia, Silva, Miriam, Santos, Milena, Kulesza, Uira, Lima, Margarida, Madeira, Henrique
المصدر: 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2022 IEEE 22nd International Conference on. :366-375 Dec, 2022
Relation: 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)
-
5دورية أكاديمية
المؤلفون: Garcia, Manuel B.
المصدر: International Journal of Human-Computer Interaction; May2024, Vol. 40 Issue 10, p2546-2559, 14p
-
6دورية أكاديمية
المصدر: Journal of Supercomputing; Mar2024, Vol. 80 Issue 4, p5540-5564, 25p
مصطلحات موضوعية: DATA security, DATA privacy, INTERNET of things, SOFTWARE productivity, SCALABILITY, CLOUD computing
-
7دورية أكاديمية
المؤلفون: Qu, Peng, Ji, Xing-Long, Chen, Jia-Jie, Pang, Meng, Li, Yu-Chen, Liu, Xiao-Yi, Zhang, You-Hui
المصدر: Journal of Computer Science & Technology (10009000); Feb2024, Vol. 39 Issue 1, p4-21, 18p
-
8دورية أكاديمية
المؤلفون: Gan, M., Yucel, Z., Monden, A.
المصدر: IEEE Access Access, IEEE. 10:70053-70067 2022
-
9دورية أكاديمية
المؤلفون: Wang, Xiaoxiang, Wu, Songling, Zhao, Lixiang
المصدر: Mathematics (2227-7390); Dec2023, Vol. 11 Issue 24, p4944, 26p
-
10دورية أكاديمية
المصدر: Concurrency & Computation: Practice & Experience; 12/10/2023, Vol. 35 Issue 27, p1-19, 19p
مصطلحات موضوعية: DATA structures, SOFTWARE productivity, FLOW shop scheduling, CHAPELS, PROGRAMMING languages