Benutzerbeiträge von „Xh5263“

3. Dezember 2025

• 09:5409:54, 3. Dez. 2025 Unterschied Versionen −2‎ LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen ‎Keine Bearbeitungszusammenfassung aktuell

14. November 2025

• 13:4013:40, 14. Nov. 2025 Unterschied Versionen +190‎ SDQ-Proposal-Seminar/2025-12-08 ‎Keine Bearbeitungszusammenfassung
• 13:3813:38, 14. Nov. 2025 Unterschied Versionen −128‎ SDQ-Proposal-Seminar/2025-12-01 ‎Keine Bearbeitungszusammenfassung

7. November 2025

• 10:4210:42, 7. Nov. 2025 Unterschied Versionen +1‎ SDQ-Proposal-Seminar/2025-11-17 ‎Keine Bearbeitungszusammenfassung

30. Oktober 2025

• 10:3010:30, 30. Okt. 2025 Unterschied Versionen +128‎ SDQ-Proposal-Seminar/2025-12-01 ‎Keine Bearbeitungszusammenfassung

27. Oktober 2025

• 12:4412:44, 27. Okt. 2025 Unterschied Versionen +59‎ Lecture NLP and Software Engineering WS 2025/26 ‎Keine Bearbeitungszusammenfassung aktuell Markierung: Visuelle Bearbeitung
• 12:4012:40, 27. Okt. 2025 Unterschied Versionen +3.460‎ N Lecture NLP and Software Engineering WS 2025/26 ‎ Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Natural Language Processing and Software Engineering | nummer = 2424187 | semester = Wintersemester 2025/26 | lp = 3 | sws = 2 | dozent = [https://mcse.kastel.kit.edu/staff_Keim_Jan.php Dr.-Ing Jan Keim],[https://mcse.kastel.kit.edu/staff_tobias_hey.php Dr.-Ing. Tobias Hey] | ort = 50.34, –118 | zeit = Tu 14:00–15:30 | vvz = | ilias = https://ilias.studium.kit.edu/goto.php/c…“

21. Oktober 2025

• 10:5510:55, 21. Okt. 2025 Unterschied Versionen +13‎ Utilizing Context to Improve LLM-assisted Formal Verification ‎Keine Bearbeitungszusammenfassung aktuell
• 10:5010:50, 21. Okt. 2025 Unterschied Versionen −2‎ Formalizing Requirements using Large Language Models (LLMs) ‎Keine Bearbeitungszusammenfassung aktuell

15. Oktober 2025

• 13:5413:54, 15. Okt. 2025 Unterschied Versionen +317‎ N SDQ-Proposal-Seminar/2025-11-17 ‎ Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Maximilian Supp |titel=Fine-tuning vs. Prompting: The Case of Requirements Classification |typ=Bachelorarbeit |betreuer=Tobias Hey, Dominik Fuchß |sprache=Deutsch }} {{SDQ-Seminar |startdatum=2025-11-17T11:30:00.000Z |enddatum=2025-11-17T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“
• 13:3113:31, 15. Okt. 2025 Unterschied Versionen −199‎ SDQ-Proposal-Seminar/2025-11-10 ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 13:2713:27, 15. Okt. 2025 Unterschied Versionen +199‎ SDQ-Proposal-Seminar/2025-11-10 ‎Keine Bearbeitungszusammenfassung

13. Oktober 2025

• 08:4708:47, 13. Okt. 2025 Unterschied Versionen +1.719‎ N Formalizing Requirements using Large Language Models (LLMs) ‎ Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Tobias Hey |gruppe=MCSE |pdf=ReqForm.pdf }} === Motivation === Software requirements are often written in natural language to facilitate communication among stakeholders, but their ambiguity and lack of formal structure make them difficult to use directly in formal verification. Converting these informal requirements into precise formal specifications is a crucial yet labor-…“
• 08:4708:47, 13. Okt. 2025 Unterschied Versionen 0‎ N Datei:ReqForm.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 08:3508:35, 13. Okt. 2025 Unterschied Versionen +1.399‎ N Utilizing Context to Improve LLM-assisted Formal Verification ‎ Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Tobias Hey |gruppe=MCSE |pdf=LLMFormVer Context.pdf }} === Motivation === Formal verification ensures the correctness of software systems but remains a highly specialized and time-consuming process. Recent advances in Large Language Models (LLMs) show promise in automating parts of this workflow; however, their effectiveness is limited by a lack of contextual understanding of…“
• 08:3508:35, 13. Okt. 2025 Unterschied Versionen 0‎ N Datei:LLMFormVer Context.pdf ‎Keine Bearbeitungszusammenfassung aktuell

14. August 2025

• 07:2807:28, 14. Aug. 2025 Unterschied Versionen −2‎ Fine-tuning vs. Prompting: The Case of Requirements Classification ‎Keine Bearbeitungszusammenfassung aktuell

7. Juli 2025

• 08:4808:48, 7. Jul. 2025 Unterschied Versionen +1.722‎ N Fine-tuning vs. Prompting: The Case of Requirements Classification ‎ Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Tobias Hey, Andreas Vogelsang |gruppe=MCSE |pdf=ReqClass Fine-tuning vs Prompting.pdf }} ==Motivation== Throughout the development of a software system, requirements serve as the foundation for design, implementation, and validation. Classifying these requirements—into categories such as functional or non-functional, or into more specific subtypes—is a crucial step for…“
• 08:4608:46, 7. Jul. 2025 Unterschied Versionen 0‎ N Datei:ReqClass Fine-tuning vs Prompting.pdf ‎Keine Bearbeitungszusammenfassung aktuell

28. Mai 2025

• 12:3312:33, 28. Mai 2025 Unterschied Versionen +201‎ SDQ-Proposal-Seminar/2025-06-16 ‎Keine Bearbeitungszusammenfassung
• 12:3212:32, 28. Mai 2025 Unterschied Versionen −201‎ SDQ-Proposal-Seminar/2025-06-02 ‎ Move Markus Bodenberger

13. Mai 2025

• 09:4909:49, 13. Mai 2025 Unterschied Versionen −2‎ Fine-tuning vs. Prompting: The Case of Traceability Link Recovery ‎Keine Bearbeitungszusammenfassung aktuell
• 09:0509:05, 13. Mai 2025 Unterschied Versionen +201‎ SDQ-Proposal-Seminar/2025-06-02 ‎ Add BA Bodenberger

15. April 2025

• 14:4014:40, 15. Apr. 2025 Unterschied Versionen +67‎ Hinweise zu Abschlussarbeiten ‎Keine Bearbeitungszusammenfassung

14. April 2025

• 13:1513:15, 14. Apr. 2025 Unterschied Versionen +1.538‎ N Fine-tuning vs. Prompting: The Case of Traceability Link Recovery ‎ Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Tobias Hey |gruppe=MCSE |pdf=Aushang Fine tuning vs Prompting TLR.pdf }} == Motivation == Throughout the development and maintenance of a software system, various artifacts are created. These artifacts, such as requirements, diagrams, models, or the source code itself, are by no means independent but often represent refinements or implementations of the content of another ty…“
• 13:1113:11, 14. Apr. 2025 Unterschied Versionen 0‎ N Datei:Aushang Fine tuning vs Prompting TLR.pdf ‎Keine Bearbeitungszusammenfassung aktuell

30. Januar 2025

• 11:3611:36, 30. Jan. 2025 Unterschied Versionen −8‎ K SDQ-Proposal-Seminar/2025-02-10 ‎Keine Bearbeitungszusammenfassung Markierung: Visuelle Bearbeitung: Gewechselt

10. Januar 2025

• 13:1913:19, 10. Jan. 2025 Unterschied Versionen +188‎ SDQ-Proposal-Seminar/2025-02-10 ‎Keine Bearbeitungszusammenfassung

4. Dezember 2024

• 14:3014:30, 4. Dez. 2024 Unterschied Versionen +175‎ N ICSE 2025 ‎ Die Seite wurde neu angelegt: „{{Conference |eventtype=Conference |city=Ottawa |notification=2025/01/22 |date=2025/04/27 |proceedings=IEEE |webpage=https://conf.researchr.org/track/icse-2025 |series=ICSE }}“ aktuell
• 14:2414:24, 4. Dez. 2024 Unterschied Versionen +227‎ N RE 2025 ‎ Die Seite wurde neu angelegt: „{{Conference |eventtype=Conference |city=Valencia |abstract=2025/03/03 |submission=2025/03/10 |notification=2025/05/23 |date=2025/09/01 |proceedings=IEEE |webpage=https://conf.researchr.org/home/RE-2025 |series=RE Conference }}“ aktuell
• 14:2214:22, 4. Dez. 2024 Unterschied Versionen +213‎ N REFSQ 2025 ‎ Die Seite wurde neu angelegt: „{{Conference |eventtype=Conference |city=Barcelona |abstract=2024/11/01 |submission=2024/11/08 |notification=2025/01/15 |date=2025/04/07 |proceedings=Springer LNCS |webpage=https://2025.refsq.org/ |series=REFSQ }}“ aktuell

22. November 2024

• 14:4514:45, 22. Nov. 2024 Unterschied Versionen +63‎ K Ausschreibungen/ArDoCo ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4114:41, 22. Nov. 2024 Unterschied Versionen +1.099‎ N LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen ‎ Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Tobias Hey |gruppe=MCSE |pdf=Code Class MA.pdf }} == Motivation == Eine der größten Herausforderungen für das Wiederherstellen von Nachverfolgbarkeitsverbindungen (engl.: Traceability Link Recovery, TLR) ist das Eingrenzen des Suchraums. In vorangehenden Arbeiten konnte gezeigt werden, dass ein Filtern von Anforderungen auf Basis der enthaltenen funktionalen Anliegen (bspw.…“
• 14:4114:41, 22. Nov. 2024 Unterschied Versionen 0‎ Datei:Code Class MA.pdf ‎ Xh5263 lud eine neue Version von Datei:Code Class MA.pdf hoch aktuell
• 14:3614:36, 22. Nov. 2024 Unterschied Versionen 0‎ N Datei:Code Class MA.pdf ‎Keine Bearbeitungszusammenfassung

9. August 2024

• 16:1416:14, 9. Aug. 2024 Unterschied Versionen +4.265‎ N Vorlesung Sprachverarbeitung in der Softwaretechnik WS 2024/25 ‎ Create SiS WS24/25 aktuell Markierung: Visuelle Bearbeitung: Gewechselt

24. November 2023

• 09:5409:54, 24. Nov. 2023 Unterschied Versionen +229‎ N RE 2024 ‎ Die Seite wurde neu angelegt: „{{Conference |eventtype=Conference |city=Reykjavik |abstract=2024/01/19 |submission=2024/01/26 |notification=2024/03/22 |date=2024/06/24 |proceedings=IEEE |webpage=https://conf.researchr.org/track/RE-2024 |series=RE Conference }}“ aktuell

27. September 2023

• 15:3415:34, 27. Sep. 2023 Unterschied Versionen +1‎ K Lehre ‎ →‎Wintersemester 2023/24 (Übersicht): fix link
• 15:2915:29, 27. Sep. 2023 Unterschied Versionen +4.328‎ N Vorlesung Sprachverarbeitung in der Softwaretechnik WS 2023/24 ‎ SiS WS23/24 angelegt aktuell Markierung: Visuelle Bearbeitung: Gewechselt

13. September 2023

• 10:1310:13, 13. Sep. 2023 Unterschied Versionen +145‎ N Tobias Hey ‎ Die Seite wurde neu angelegt: „{{Person |vorname=Tobias |lastname=Hey |email=hey@kit.edu |webpage=https://mcse.kastel.kit.edu/staff_tobias_hey.php |telefon=+49 721 608-44765 }}“ Markierung: Visuelle Bearbeitung: Gewechselt
• 10:1110:11, 13. Sep. 2023 Unterschied Versionen +631‎ N Traceability Link Recovery Using Retrieval Augmented Large Language Models ‎ Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Tobias Hey, Dominik Fuchß |pdf=TLR RA LLM.pdf }} The goal of this work is to investigate various large language models (LLMs) for their suitability in traceability link recovery (TLR) of different types of artifacts. The focus is on retrieval augmented approaches, which combine common information retrieval (IR) techniques and LLMs. The substeps of this thesis include identif…“
• 10:1110:11, 13. Sep. 2023 Unterschied Versionen 0‎ N Datei:TLR RA LLM.pdf ‎Keine Bearbeitungszusammenfassung aktuell

18. November 2021

• 13:4213:42, 18. Nov. 2021 Unterschied Versionen +132‎ N Tobias Hey ‎ Die Seite wurde neu angelegt: „{{Person |vorname=Tobias |lastname=Hey |telefon=+49 721 608-44765 |email=hey@kit.edu |webpage=https://ps.ipd.kit.edu/176_3279.php }}“
• 13:3413:34, 18. Nov. 2021 Unterschied Versionen +114‎ Lesegruppe/2022-01-12 ‎Keine Bearbeitungszusammenfassung aktuell
• 13:3113:31, 18. Nov. 2021 Unterschied Versionen +1.869‎ Lesegruppe/2022-01-12 ‎Keine Bearbeitungszusammenfassung