|
Vorlesungsverzeichnis >> Technische Fakultät (TF) >>
|
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 Deutsch oder Englisch, bei Bedarf in englischer Sprache, auch für die Studiengänge Wirtschaftsinformatik und Computerlinguistik
Zeit und Ort: Di 10:00 - 12:00, H4; Bemerkung zu Zeit und Ort: Die Vorlesung wird im WS 2010/2011 ausnahmsweise als Blockveranstaltung angeboten. Die Termine werden zu Beginn der Vorlesungszeit in Absprache mit interessierten Stundenten festgelegt.
- Studienfächer / Studienrichtungen
- WPF IIS-MA 1-14 (ECTS-Credits: 2,5)
WF CE-MA 1 (ECTS-Credits: 2,5)
WF INF-BA ab 5 (ECTS-Credits: 2,5)
WF INF-DH-SWE 5
WPF INF-BA-W ab 5 (ECTS-Credits: 2,5)
WPF INF-BA-S ab 5 (ECTS-Credits: 2,5)
WF IuK-DH-REA-INF2 5
WF IuK-DH-ES-INF1 5
WF IuK-BA ab 5 (ECTS-Credits: 2,5)
WPF ME-DH-VF17 7-9 (ECTS-Credits: 2,5)
WPF ME-BA-MG16 ab 5 (ECTS-Credits: 2,5)
WPF IIS-MA 3
- Zusätzliche Informationen
- www: http://www11.informatik.uni-erlangen.de/Lehre/WS1011/SWE-VV/index.html
- Zugeordnete Lehrveranstaltungen
- UE: Übungen zu Test- und Analyseverfahren (Exercises in Software Verification and Validation)
-
www: http://www11.informatik.uni-erlangen.de/Lehre/WS0910/SWE-VV/index.html
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2010/2011:
- 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 |
|
|