المؤلفون: Bouyer, Patricia, Srivathsan, B, Vishwanath, Vaishnavi

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, 68N30

URL الوصول: http://arxiv.org/abs/2501.17576

المؤلفون: Basile, Davide

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, 68N30, 68Q60, D.2, F.4

URL الوصول: http://arxiv.org/abs/2501.12932

المؤلفون: Le, Tuan D, Wilber, Brandon, Christi, Arpit

مصطلحات موضوعية: Computer Science - Software Engineering, 68N30, D.2.5

URL الوصول: http://arxiv.org/abs/2501.04890

المؤلفون: Vsevolodovna, Ruslan Idelfonso Magana

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Multiagent Systems, 68T05, 68N01, 68N30, 68Q25, D.2.3, I.2.2, D.2.7, D.2.9, I.2.7

URL الوصول: http://arxiv.org/abs/2411.18226

المؤلفون: Erhard, Julian, Bentele, Manuel, Heizmann, Matthias, Klumpp, Dominik, Saan, Simmo, Schüssele, Frank, Schwarz, Michael, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal

مصطلحات موضوعية: Computer Science - Programming Languages, 68N30, D.2.4

URL الوصول: http://arxiv.org/abs/2411.16612

المؤلفون: Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

URL الوصول: http://arxiv.org/abs/2411.11428

المؤلفون: López, Hugo A., Hildebrandt, Thomas T.

مصطلحات موضوعية: Computer Science - Software Engineering, 68N30, D.2.4, D.2.1, H.4

URL الوصول: http://arxiv.org/abs/2410.10906

المؤلفون: Mammadov, Tural, Klakow, Dietrich, Koller, Alexander, Zeller, Andreas

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning, 68T07 (Primary), 68N30 (Secondary), 68Q42, D.2.5, D.2.7, I.2.6, F.1.1, F.4.3

URL الوصول: http://arxiv.org/abs/2407.08597

المؤلفون: Ruparel, Hemil, Mondal, Nabarun

مصطلحات موضوعية: Computer Science - Software Engineering, Electrical Engineering and Systems Science - Systems and Control, Mathematics - Dynamical Systems, Mathematics - Optimization and Control, Primary 68N30, Secondary 37B99, 68Q99, 93C99, 93D99, 68Q30.93D99, 68Q30

URL الوصول: http://arxiv.org/abs/2407.12839

المؤلفون: Amato, Gianluca, Scozzari, Francesca

المصدر: Theory and Practice of Logic Programming 24 (2024) 1051-1077

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, 68N17, 68N30, D.1.6, D.2.4

URL الوصول: http://arxiv.org/abs/2406.16063

المؤلفون: Nie, Jihui, Du, Dehui, Zhao, Jiangnan

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, 68N30, D.2.4

URL الوصول: http://arxiv.org/abs/2405.15829

المؤلفون: Jiang, Dongchen, Fu, Chenxi

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68N30, D.2.4

URL الوصول: http://arxiv.org/abs/2404.18067

المؤلفون: Joswig, Michael, Kastner, Lars, Lorenz, Benjamin

مصطلحات موضوعية: Computer Science - Mathematical Software, 68N30

URL الوصول: http://arxiv.org/abs/2404.06241

المؤلفون: Zeng, Zhengran, Wang, Yidong, Xie, Rui, Ye, Wei, Zhang, Shikun

مصطلحات موضوعية: Computer Science - Software Engineering, 68N30 (Primary) 68T20 (Secondary), D.2.0

URL الوصول: http://arxiv.org/abs/2403.19287

المؤلفون: Wang, Chengpeng, Zhang, Wuqi, Su, Zian, Xu, Xiangzhe, Xie, Xiaoheng, Zhang, Xiangyu

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Machine Learning, Computer Science - Software Engineering, 68N30, 68T01, D.3.0, D.2.4, I.2.5, I.2.6

URL الوصول: http://arxiv.org/abs/2402.10754

المؤلفون: Ferrarotti, Flavio, Rivière, Peter, Schewe, Klaus-Dieter, Singh, Neeraj Kumar, Ameur, Yamine Aït

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q60, 68N30

URL الوصول: http://arxiv.org/abs/2401.16838

المؤلفون: Sudhi, Viju, Kutty, Libin, Gröpler, Robin

المصدر: Concurrency, Specification and Programming. Studies in Computational Intelligence, vol 1091. Springer, Cham, 2023

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Computation and Language, 68T50, 68N30, I.2.7, D.2.1

URL الوصول: http://arxiv.org/abs/2309.13272

المؤلفون: Mancini, Toni, Melatti, Igor, Tronci, Enrico

المصدر: IEEE Transactions on Software Engineering, 2023

مصطلحات موضوعية: Computer Science - Software Engineering, 68Q60, 68N30, 93-08, 93-10, I.6.4, I.6.7, D.2.4, D.2.5, J.7

URL الوصول: http://arxiv.org/abs/2307.15383

المؤلفون: Saberi, Iman, Fard, Fatemeh, Chen, Fuxiang

مصطلحات موضوعية: Computer Science - Software Engineering, 68N30, D.2.0, I.2.5

URL الوصول: http://arxiv.org/abs/2307.08540

المؤلفون: Saberi, Iman, Esmaeili, Amirreza, Fard, Fatemeh, Chen, Fuxiang

مصطلحات موضوعية: Computer Science - Software Engineering, 68N30, 68T35, D.2.0, I.2.5

URL الوصول: http://arxiv.org/abs/2307.07854