@inbook{52662, abstract = {{Static analysis tools support developers in detecting potential coding issues, such as bugs or vulnerabilities. Research emphasizes technical challenges of such tools but also mentions severe usability shortcomings. These shortcomings hinder the adoption of static analysis tools, and user dissatisfaction may even lead to tool abandonment. To comprehensively assess the state of the art, we present the first systematic usability evaluation of a wide range of static analysis tools. We derived a set of 36 relevant criteria from the literature and used them to evaluate a total of 46 static analysis tools complying with our inclusion and exclusion criteria - a representative set of mainly non-proprietary tools. The evaluation against the usability criteria in a multiple-raters approach shows that two thirds of the considered tools off er poor warning messages, while about three-quarters provide hardly any fix support. Furthermore, the integration of user knowledge is strongly neglected, which could be used for instance, to improve handling of false positives. Finally, issues regarding workflow integration and specialized user interfaces are revealed. These findings should prove useful in guiding and focusing further research and development in user experience for static code analyses.}}, author = {{Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}}, booktitle = {{Software Engineering 2023}}, isbn = {{978-3-88579-726-5}}, keywords = {{Automated static analysis, Software usability}}, pages = {{95–96}}, publisher = {{Gesellschaft für Informatik e.V.}}, title = {{{Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}}}, year = {{2023}}, } @inbook{52660, abstract = {{Application Programming Interfaces (APIs) are the primary mechanism developers use to obtain access to third-party algorithms and services. Unfortunately, APIs can be misused, which can have catastrophic consequences, especially if the APIs provide security-critical functionalities like cryptography. Understanding what API misuses are, and how they are caused, is important to prevent them, eg, with API misuse detectors. However, definitions for API misuses and related terms in literature vary. This paper presents a systematic literature review to clarify these terms and introduces FUM, a novel Framework for API Usage constraint and Misuse classification. The literature review revealed that API misuses are violations of API usage constraints. To address this, we provide unified definitions and use them to derive FUM. To assess the extent to which FUM aids in determining and guiding the improvement of an API misuses detector’s capabilities, we performed a case study on the state-of the-art misuse detection tool CogniCrypt. The study showed that FUM can be used to properly assess CogniCrypt’s capabilities, identify weaknesses and assist in deriving mitigations and improvements.}}, author = {{Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}}, booktitle = {{Software Engineering 2023}}, isbn = {{978-3-88579-726-5}}, keywords = {{API misuses API usage constraints, classification framework, API misuse detection, static analysis}}, pages = {{105–106}}, publisher = {{Gesellschaft für Informatik e.V.}}, title = {{{Introducing FUM: A Framework for API Usage Constraint and Misuse Classification}}}, year = {{2023}}, } @inbook{52810, author = {{Göller, Robin and Gildehaus, Lara and Liebendörfer, Michael and Besser, Michael}}, booktitle = {{Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum}}, editor = {{Härterich, Jörg and Kallweit, Michael and Rolka, Katrin and Skill, Thomas}}, isbn = {{978-3-95987-264-5}}, pages = {{66–80}}, publisher = {{WTM}}, title = {{{Erfassung und Vergleich (mathematischer) Eingangsvoraussetzungen angehender Studierender verschiedener mathematikhaltiger Studiengänge}}}, year = {{2023}}, } @inbook{52809, author = {{Kempen, Leander and Liebendörfer, Michael}}, booktitle = {{Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum}}, editor = {{Härterich, Jörg and Kallweit, Michael and Rolka, Katrin and Skill, Thomas}}, isbn = {{978-3-95987-264-5}}, pages = {{91–106}}, publisher = {{WTM}}, title = {{{Zu digital - zu viel - zu schwer? Qualitative Einsichten in das Erleben und Handeln von Erstsemester-Studierenden der Mathematik während der Corona-Pandemie}}}, year = {{2023}}, } @article{52364, author = {{Büttner, Denise}}, journal = {{Zeitschrift für Deutsch im Kontext von Mehrsprachigkeit (ZDKM)}}, publisher = {{Österreichischen Verband für Deutsch als Fremd*Zweitsprache (ÖDaF)}}, title = {{{Rezension zu D. Pokitsch: Wer spricht? Sprachbezogene Subjektivierungsprozesse in der Schule der Migrationsgesellschaft }}}, volume = {{39}}, year = {{2023}}, } @misc{52368, author = {{Büttner, Denise and Jost, Leif Marvin}}, title = {{{ProDaZ Online-Tool Philosophie}}}, year = {{2023}}, } @article{53324, author = {{Ahn, Jaewook and Winkler, Michael}}, issn = {{0944-2669}}, journal = {{Calculus of Variations and Partial Differential Equations}}, keywords = {{Applied Mathematics, Analysis}}, number = {{6}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system}}}, doi = {{10.1007/s00526-023-02523-5}}, volume = {{62}}, year = {{2023}}, } @inbook{35904, author = {{Böttger, Lydia and Niederhaus, Constanze}}, booktitle = {{Berufs- und Fachsprache Deutsch in Wissenschaft und Praxis. Ein Handbuch aus DaF- und DaZ Perspektive}}, editor = {{Efing, Christian and Kalkavan-Aydin, Zeynep}}, publisher = {{De Gruyter}}, title = {{{CLIL - Content and Language Integrated Learning}}}, doi = {{https://doi.org/10.1515/9783110745504}}, year = {{2023}}, } @book{42161, editor = {{Elit, Stefan and Bremer, Kai}}, isbn = {{9783476059130}}, publisher = {{Metzler}}, title = {{{Handbuch Versepik}}}, doi = {{10.1007/978-3-476-05914-7}}, year = {{2023}}, } @inbook{49709, author = {{Elit, Stefan}}, booktitle = {{Klopstock-Handbuch. Leben – Werk – Wirkung}}, editor = {{Auer, Michael}}, pages = {{199--205}}, publisher = {{Metzler}}, title = {{{[Klopstocks] Sprachtheoretische Schriften}}}, year = {{2023}}, } @inbook{49710, author = {{Elit, Stefan}}, booktitle = {{Klopstock-Handbuch. Leben – Werk – Wirkung}}, editor = {{Auer, Michael}}, pages = {{343--349}}, publisher = {{Metzler}}, title = {{{[Klopstocks] Liebe und Freundschaft}}}, year = {{2023}}, } @inbook{49711, author = {{Elit, Stefan and Bremer, Kai}}, booktitle = {{Handbuch Versepik}}, editor = {{Elit, Stefan and Bremer, Kai}}, pages = {{V--IX}}, publisher = {{Metzler}}, title = {{{Einleitung}}}, year = {{2023}}, } @inproceedings{48530, author = {{Müller, Wolfgang and Ulbricht, Markus and Li, Lu and Krstic, Milos}}, booktitle = {{5. ITG / GMM / GI -Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen }}, location = {{Erfurt. Germany}}, title = {{{Der TETRISC SoC - Ein resilientes Quad-Core System auf Pulpissimo-Basis}}}, year = {{2023}}, } @inbook{42034, author = {{Kruse, Iris and Kanning, Julian}}, booktitle = {{Rassismussensibler Literaturunterricht. Grundlagen, Dimensionen, Herausforderungen, Möglichkeiten.}}, editor = {{Becker, Karina and Hofmann, Michael}}, isbn = {{978-3-8260-7785-2}}, pages = {{333--353}}, publisher = {{Königshausen & Neumann}}, title = {{{„Dass so was halt nie, nie wieder passiert…“ – Zum didaktisch perspektivierten rassismuskritischen Potenzial von Holocaust-Bilderbüchern zur Erinnerungsfigur Anne Frank.}}}, year = {{2023}}, } @inbook{46129, author = {{Kruse, Iris and Kanning, Julian}}, booktitle = {{Interkulturelle Konstellationen in Literaturwissenschaft und Literaturdidaktik.}}, editor = {{Böker, Ines and Schulte Eickholt, Swen}}, isbn = {{978-3-8260-7919-1}}, pages = {{527--545}}, publisher = {{Königshausen & Neumann}}, title = {{{Die eigenartige Alterität von Holocaust-Bilderbüchern im Auswahlblick von Grundschullehrer*innen. Zum Zusammenhang von Zu- und Abschreibung bei der Literaturauswahl für den Unterricht.}}}, year = {{2023}}, } @inbook{42043, author = {{Kruse, Iris and Kanning, Julian}}, booktitle = {{So viel Größenwahn muss sein! Kinderliteratur, Schule und Gesellschaft. Zum Bildungsauftrag des Literaturunterrichts in der Grundschule.}}, editor = {{Kruse, Iris and Kanning, Julian}}, isbn = {{978-3-96848-101-2}}, pages = {{103 -- 129}}, publisher = {{kopaed}}, title = {{{Nie wieder! Plädoyer für eine ‚Fragen-generierende-Didaktik-des-staunenden-Erschreckens‘ mit Kinderliteratur zum Holocaust}}}, year = {{2023}}, } @inbook{45761, author = {{Kruse, Iris and Kanning, Julian}}, booktitle = {{„So viel Größenwahn muss sein!”}}, editor = {{Kruse, Iris and Kanning, Julian}}, isbn = {{978-3-96848-101-2}}, pages = {{13 -- 38}}, publisher = {{kopaed}}, title = {{{Kinderliteratur und die Bildungsverantwortung des Literaturunterrichts. Kindliches Lesen in individueller und gesellschaftlicher Bedeutung.}}}, year = {{2023}}, } @book{42703, editor = {{Kruse, Iris and Kanning, Julian}}, isbn = {{978-3-96848-101-2}}, pages = {{220}}, publisher = {{kopaed}}, title = {{{So viel Größenwahn muss sein!}}}, year = {{2023}}, } @article{54018, author = {{Rezat, Sara}}, journal = {{Deutsch 5-10}}, number = {{74}}, title = {{{Mit digitalen Tools Peer-Feedback zu Texten geben}}}, volume = {{34-35}}, year = {{2023}}, } @misc{54053, abstract = {{Unmittelbar nach der nationalsozialistischen Machtergreifung setzte eine umfassende gesellschaftliche, juristische und existentielle Ausgrenzung jüdischer Akteure ein. Dem Zerbrechen bisheriger Welt- und Normverständnisse zu begegnen wurde zu einer existentiellen Herausforderung sowie zu einem notwendigen Bedürfnis. Eine wichtige Strategie war der Einsatz von Humor und Ironie; auch für die Menschen des Gettos Litzmannstadt. Aus texthermeneutischer, kulturlinguistischer und sprachphilosophischer Perspektive erfasst Friedrich Markewitz – unter Berücksichtigung des Gettos als Diskursraum und dessen Textsortenwelt – Verwendungsweisen und -funktionen von Ironie und perspektiviert sie, um so einen Beitrag zur linguistischen Aufarbeitung der Kommunikation jüdischer Akteure während der Shoa zu leisten.}}, author = {{Markewitz, Friedrich}}, pages = {{529}}, publisher = {{Vandenhoeck & Ruprecht}}, title = {{{Gegen das Verstummen. Texthermeneutische Reflexionen zu Ironie in der Textsortenwelt des Gettos Litzmannstadt}}}, volume = {{2}}, year = {{2023}}, }