|
Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation) (SWE-VV)
- Dozent/in
- Prof. Dr. Francesca Saglietti
- Angaben
- Vorlesung
2 SWS, benoteter Schein, Sprache Englisch, bei Bedarf in deutscher Sprache, auch für die Studiengänge Wirtschaftsinformatik und Computerlinguistik
Zeit und Ort: Do 14:15 - 15:45, 00.152-113
- Studienfächer / Studienrichtungen
- WF CE-MA 1 (ECTS-Credits: 2,5)
WPF INF-DH-SWE 5
WPF INF-BA-W 5 (ECTS-Credits: 2,5)
WPF INF-BA-S 6 (ECTS-Credits: 2,5)
WPF INF-BA-V-SWE 5-6 (ECTS-Credits: 2,5)
WF IuK-DH-REA-INF2 5
WF IuK-DH-ES-INF1 5
WF IuK-BA 4-7 (ECTS-Credits: 2,5)
WPF ME-DH-VF17 5-7 (ECTS-Credits: 2,5)
WPF ME-MA-MG16 1-3 (ECTS-Credits: 2,5)
WPF ME-BA-MG16 3-6
WPF IIS-MA 3 (ECTS-Credits: 2,5)
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
www: http://www11.informatik.uni-erlangen.de/Lehre
- Zugeordnete Lehrveranstaltungen
- UE: Übungen zu Test- und Analyseverfahren (Exercises in Software Verification and Validation)
-
www: http://www11.informatik.uni-erlangen.de/Lehre
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2011/2012:
- Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation) (TestAn-SWE)
- Institution: Lehrstuhl für Informatik 11 (Software Engineering)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|