Abschlussarbeit: Toolgestützte Analyse formalisierter Anforderungen in der Softwareentwicklung (w/m/div.)
Karrierelevel: Studierende
Standort: Stuttgart
Anteilig remote
Vollzeit
Was Dich erwartet
Es erwarten Dich spannende Projekte, in denen Du die digitale Welt von morgen mitgestaltest. Begeisterung für neue Technologien und branchenübergreifende Methodenexpertise zeichnen dabei unsere Arbeit aus. Unser Erfolg beruht auf unserer Innovationskraft, gegenseitigem Vertrauen, einem wertschätzenden Miteinander, Diversität und Verantwortung. Freu Dich auf ein großartiges Team.
Der Ansatz des „Requirements in the Loop“ (RiL) beruht der Formalisierung funktionaler Produkt-/Systemanforderungen, deren Analyse und Simulation. Hierdurch können Widersprüche und Lücken in den Anforderungen bereits während der Anforderungsdefinition entdeckt und die beschriebene Funktionsweise des Systems zusammen mit dem Auftraggeber frühzeitig validiert werden. Bei ITK wurde dieser Ansatz in Projekten zur Prüfung bestehender informeller Anforderungen genutzt, wodurch die Qualität der Anforderungen deutlich verbessert werden konnte.
Du untersuchst wie solche formalen Anforderungen anstelle von Anforderungen in natürlicher Sprache projektbegleitend genutzt werden können.
Du erarbeitest ein Konzept und realisierst es im ALM-Tool Polarion.
Du entwickelst das Tooling für die Analysen.
Du lässt auch toolgestützt diverse Analysen für verschiedene Interessensgruppen erzeugen.
Qualifikationen
Persönlichkeit und Arbeitsweise: selbständige und strukturierte Arbeitsweise sowie hohes Qualitätsbewusstsein, gutes analytisches Denken und Abstraktionsvermögen
Erfahrung und Know-How: sehr gute Kenntnisse der Programmiersprache Python
Ausbildung: Studium im Bereich Informatik, Softwaretechnik, Mathematik oder vergleichbarer Studiengang
Sprachen: sehr gute Deutsch- oder Englischkenntnisse
