Alle öffentlichen Logbücher
Dies ist die kombinierte Anzeige aller in SDQ-Wiki geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).
- 12:40, 27. Okt. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite 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…“)
- 13:54, 15. Okt. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite 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 }}“)
- 08:47, 13. Okt. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite 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:47, 13. Okt. 2025 Tobias Hey Diskussion Beiträge lud Datei:ReqForm.pdf hoch
- 08:47, 13. Okt. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite Datei:ReqForm.pdf
- 08:35, 13. Okt. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite 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:35, 13. Okt. 2025 Tobias Hey Diskussion Beiträge lud Datei:LLMFormVer Context.pdf hoch
- 08:35, 13. Okt. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite Datei:LLMFormVer Context.pdf
- 08:48, 7. Jul. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite 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:46, 7. Jul. 2025 Tobias Hey Diskussion Beiträge lud Datei:ReqClass Fine-tuning vs Prompting.pdf hoch
- 08:46, 7. Jul. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite Datei:ReqClass Fine-tuning vs Prompting.pdf
- 13:15, 14. Apr. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite 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:11, 14. Apr. 2025 Tobias Hey Diskussion Beiträge lud Datei:Aushang Fine tuning vs Prompting TLR.pdf hoch
- 13:11, 14. Apr. 2025 Tobias Hey Diskussion Beiträge erstellte die Seite Datei:Aushang Fine tuning vs Prompting TLR.pdf
- 14:30, 4. Dez. 2024 Tobias Hey Diskussion Beiträge erstellte die Seite 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 }}“)
- 14:24, 4. Dez. 2024 Tobias Hey Diskussion Beiträge erstellte die Seite 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 }}“)
- 14:22, 4. Dez. 2024 Tobias Hey Diskussion Beiträge erstellte die Seite 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 }}“)
- 14:41, 22. Nov. 2024 Tobias Hey Diskussion Beiträge erstellte die Seite 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:41, 22. Nov. 2024 Tobias Hey Diskussion Beiträge lud eine neue Version von Datei:Code Class MA.pdf hoch
- 14:36, 22. Nov. 2024 Tobias Hey Diskussion Beiträge lud Datei:Code Class MA.pdf hoch
- 14:36, 22. Nov. 2024 Tobias Hey Diskussion Beiträge erstellte die Seite Datei:Code Class MA.pdf
- 16:14, 9. Aug. 2024 Tobias Hey Diskussion Beiträge erstellte die Seite Vorlesung Sprachverarbeitung in der Softwaretechnik WS 2024/25 (Create SiS WS24/25) Markierung: Visuelle Bearbeitung: Gewechselt
- 09:54, 24. Nov. 2023 Tobias Hey Diskussion Beiträge erstellte die Seite 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 }}“)
- 15:29, 27. Sep. 2023 Tobias Hey Diskussion Beiträge erstellte die Seite Vorlesung Sprachverarbeitung in der Softwaretechnik WS 2023/24 (SiS WS23/24 angelegt) Markierung: Visuelle Bearbeitung: Gewechselt
- 10:13, 13. Sep. 2023 Tobias Hey Diskussion Beiträge erstellte die Seite 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:11, 13. Sep. 2023 Tobias Hey Diskussion Beiträge erstellte die Seite 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:11, 13. Sep. 2023 Tobias Hey Diskussion Beiträge lud Datei:TLR RA LLM.pdf hoch
- 10:11, 13. Sep. 2023 Tobias Hey Diskussion Beiträge erstellte die Seite Datei:TLR RA LLM.pdf
- 13:42, 18. Nov. 2021 Tobias Hey Diskussion Beiträge erstellte die Seite 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 }}“)
- 09:26, 14. Dez. 2020 Benutzerkonto Tobias Hey Diskussion Beiträge wurde automatisch erstellt