Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: nid=137483821



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/137483821
Person Schaefer, Ina
Akademischer Grad Prof. Dr.-Ing.
Andere Namen Schaefer, I.
Zeit Lebensdaten: 1977-
Land Deutschland (XA-DE)
Geografischer Bezug Wirkungsort: Rostock (1997-2003)
Wirkungsort: Saarbrücken (2003-2005)
Wirkungsort: Kaiserslautern (2006-2009)
Wirkungsort: Braunschweig (2010-)
Beruf(e) Informatikerin
Hochschullehrerin
Weitere Angaben Seit April 2012: Professorin (W3) für Softwaretechnik und Fahrzeuginformatik, TU Braunschweig. - 2006-2009: Wissenschaftliche Assistentin an der TU Kaiserslautern (Oktober 2008: Promotion). - 2003-2005: Wissenschaftliche Assistentin am Max-Planck-Institut für Informatik in Saarbrücken. - 1997-2003: Studium der Informatik an der Universität Rostock (Abschluss: Diplom)
Beziehungen zu Organisationen Technische Universität Braunschweig (2010-)
Thematischer Bezug Programmiersprache
Systemtechnik
Typ Person (piz)
Autor von 2 Publikationen
  1. Integrating formal verification into the model-based development of adaptive embedded systems
    Schaefer, Ina. - München : Verl. Dr. Hut, 2008, 1. Aufl.
  2. Summaries for while programs with recursion
    Podelski, Andreas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2004
Beteiligt an 9 Publikationen
  1. Consistent Feature-Model Driven Software Product Line Evolution
    Nieke, Michael. - Braunschweig : Technische Universität Braunschweig, 2021
  2. Model-Based Product-Line Regression Testing of Variants and Versions of Variants
    Lity, Sascha Burkhard. - Braunschweig : Technische Universität Braunschweig, 2020
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration