Różnice

Różnice między wybraną wersją a wersją aktualną.

--- research:ai4se [2026/06/19 20:14] – admin
+++ research:ai4se [2026/06/19 21:03] (aktualna) – admin
@@ Linia 16: / Linia 16: @@
   * **Radosław Klimek**, [[https://dl.acm.org/doi/10.1145/3696630.3730562|RE-oriented Model Development with LLM Support and Deduction-based Verification]]. 33rd ACM International Conference on the Foundations of Software Engineering (FSE Companion '25), Trondheim, Norway, 2025, pp. 1–8. DOI: 10.1145/3696630.3730562.
   * **Radoslaw Klimek**, [[https://ieeexplore.ieee.org/document/10765085|Logical square-driven and state-oriented generation of behavioural models]]. 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW-ASYDE 2024), Sacramento, California, USA, 2024, pp. 72–81. DOI: 10.1145/3691621.3694936.
-  * **Hou, X. et al.**, [[https://dl.acm.org/doi/10.1145/3695988|Large Language Models for Software Engineering: A Systematic Literature Review]], ACM Transactions on Software Engineering and Methodology, Vol. 33, No. 8, 2024, pages 1-79. DOI: 10.1145/3695988.
+  * Hou, X. et al., [[https://dl.acm.org/doi/10.1145/3695988|Large Language Models for Software Engineering: A Systematic Literature Review]], ACM Transactions on Software Engineering and Methodology, Vol. 33, No. 8, 2024, pages 1-79. DOI: 10.1145/3695988.