Information system of Friedrich-Alexander-University Erlangen-Nuremberg
© Config eG
Collection/class schedule
module collection
Home
|
Legal Matters
|
Contact
|
Help
search:
People
Departments
Other entries
Lecture list
Module
Rooms
Publications
Research projects
Internat. contacts
Job offers
Furniture and equipment offers
Thesis offers
semester:
WS 2024/2025
SS 2024
WS 2023/2024
SS 2023
WS 2022/2023
SS 2022
WS 2021/2022
SS 2021
WS 2020/2021
SS 2020
WS 2019/2020
SS 2019
WS 2018/2019
SS 2018
WS 2017/2018
SS 2017
WS 2016/2017
SS 2016
WS 2015/2016
SS 2015
WS 2014/2015
SS 2014
WS 2013/2014
SS 2013
WS 2012/2013
SS 2012
WS 2011/2012
SS 2011
WS 2010/2011
SS 2010
WS 2009/2010
SS 2009
WS 2008/2009
SS 2008
WS 2007/2008
SS 2007
WS 2006/2007
SS 2006
WS 2005/2006
SS 2005
WS 2004/2005
SS 2004
WS 2003/2004
SS 2003
WS 2002/2003
SS 2002
WS 2001/2002
SS 2001
WS 2000/2001
SS 2000
WS 1999/2000
SS 99
WS 98/99
SS 98
WS 97/98
SS 97
WS 96/97
Layout
printable version
Also in UnivIS
course list
lecture directory
events calendar
job offers
furniture and equipment offers
Bitte aktivieren Sie Javascript in Ihrem Browser, um die Funktionalität dieser Seite voll nutzen zu können.
Übungen zu Test- und Analyseverfahren (Exercises in Software Verification and Validation) (SWE-VV-UE)
Person in charge
N.N.
Details
Übung
2 cred.h, Sprache Englisch, falls erwünscht auch in deutscher Sprache, auch für die Studiengänge Wirtschaftsinformatik und Computerlinguistik; Kurstermine nach Bedarf und Vereinbarung zu Semesterbeginn aus den unten angegebenen Optionen
Fields of study
WF CE-MA 1
WF INF-DH-SWE 5
WPF INF-BA-W ab 5 (ECTS-Credits: 2,5)
WPF INF-BA-S ab 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 ab 5 (ECTS-Credits: 2,5)
WPF ME-DH-VF17 5-7
WPF ME-MA-MG16 1-3
WPF ME-BA-MG16 3-6
WPF IIS-MA 3 (ECTS-Credits: 2,5)
Additional information
Expected participants: 20
www:
http://www11.informatik.uni-erlangen.de/Lehre
Assigned to:
Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation)
Verwendung in folgenden UnivIS-Modulen
Startsemester WS 2011/2012
:
Test- und Analyseverfahren zur Softwareverifikation und -Validierung (Software Verification and Validation) (TestAn-SWE)
Department:
Chair of Computer Science 11 (Software Engineering)
Courses
Thu (außer Thu 27.10.2011, Thu 3.11.2011, Thu 10.11.2011)
10:15 - 11:45
01.151-128
Thu
10:15 - 11:45
01.255-128
Kurs erwartete Teilnehmer:
15
Marc Spisländer
UnivIS is a product of
Config eG
, Buckenhof