Warning: Use of undefined constant logged - assumed 'logged' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/modulelist.php on line 5

Notice: Undefined index: logged in /srv/www/inf/module/modulelist.php on line 5

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Notice: Undefined offset: 2 in /srv/www/inf/inc/class.Table.php on line 75

Warning: Use of undefined constant modul - assumed 'modul' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 22

Warning: Use of undefined constant backpage - assumed 'backpage' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 42

Warning: Use of undefined constant ok - assumed 'ok' (this will throw an Error in a future version of PHP) in /srv/www/inf/inc/class.TableList.php on line 172

Warning: Use of undefined constant act - assumed 'act' (this will throw an Error in a future version of PHP) in /srv/www/inf/inc/class.TableList.php on line 178

Notice: Undefined index: act in /srv/www/inf/inc/class.TableList.php on line 178

Warning: Use of undefined constant filename - assumed 'filename' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 141
Lehrveranstaltungen in der Informatik
Warning: Use of undefined constant act - assumed 'act' (this will throw an Error in a future version of PHP) in /srv/www/inf/inc/class.TableList.php on line 187

Notice: Undefined index: act in /srv/www/inf/inc/class.TableList.php on line 187

Warning: Use of undefined constant act - assumed 'act' (this will throw an Error in a future version of PHP) in /srv/www/inf/inc/class.TableList.php on line 192

Notice: Undefined index: act in /srv/www/inf/inc/class.TableList.php on line 192

Warning: Use of undefined constant inhalt - assumed 'inhalt' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 180

Warning: Use of undefined constant inhalt - assumed 'inhalt' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 180

Warning: Use of undefined constant lernziele - assumed 'lernziele' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 181

Warning: Use of undefined constant lernziele - assumed 'lernziele' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 181

Warning: Use of undefined constant lernvoraussetzungen - assumed 'lernvoraussetzungen' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 182

Warning: Use of undefined constant lernvoraussetzungen - assumed 'lernvoraussetzungen' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 182

Warning: Use of undefined constant modulbez - assumed 'modulbez' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 184

Software Engineering


Warning: Use of undefined constant dozent - assumed 'dozent' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 185

Warning: Use of undefined constant kommentar - assumed 'kommentar' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 66

Prof. Dr. H.W. Lang

zurück zurück

Warning: Use of undefined constant inhalt - assumed 'inhalt' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 191

Inhalt


Warning: Use of undefined constant inhalt - assumed 'inhalt' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 192

Software-Engineering ist die Lehre von der ingenieurmäßigen Entwicklung, Erstellung und Wartung von großen Software-Paketen, unter Anwendung des jeweiligen Standes der Technik in den Teilbereichen Spezifikation, Architektur, Programmierung, Test und Dokumentation.

 

Vorlesung

  • Formale Verifikation von Programmen
  • Testmethoden für Software
  • Software-Entwurfsmuster (Design Patterns)
  • UML-Notation

 

Übungen / Labor

Zum Thema Programmverifikation werden wöchentlich Übungsaufgaben gestellt, die korrigiert werden und in gemeinsamen Übungsstunden besprochen werden.

Zu den anderen Themen werden Laborübungen am Computer durchgeführt, in denen Beispiele programmiert werden. Programmiersprache ist Java.

Organisation


Warning: Use of undefined constant semester - assumed 'semester' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 198

Warning: Use of undefined constant lehrform - assumed 'lehrform' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 203

Warning: Use of undefined constant sws - assumed 'sws' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 205
4. Semester, Vorlesung / Übung  4-std.


Warning: Use of undefined constant kommentar - assumed 'kommentar' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 210

Warning: Use of undefined constant WST - assumed 'WST' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 211

Warning: Use of undefined constant ITS - assumed 'ITS' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 213

Warning: Use of undefined constant HCI - assumed 'HCI' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 215

Warning: Use of undefined constant veranstnr - assumed 'veranstnr' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 217

Warning: Use of undefined constant sprache - assumed 'sprache' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 217

Sprache: deutsch


Warning: Use of undefined constant praesenz - assumed 'praesenz' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 218

Warning: Use of undefined constant eigen - assumed 'eigen' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 218

Präsenzstudium: 60 h, Eigenstudium: 90 h

Warning: Use of undefined constant praesenz - assumed 'praesenz' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 219

Warning: Use of undefined constant eigen - assumed 'eigen' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 219
Gesamtaufwand: 150 h


Warning: Use of undefined constant creditpoints - assumed 'creditpoints' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 220

Leistungspunkte (credit points): 5
Notice: Undefined index: in /srv/www/inf/module/class.ShowModule.php on line 164

Notice: Undefined index: in /srv/www/inf/module/class.ShowModule.php on line 167


Warning: Use of undefined constant medienformen - assumed 'medienformen' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 221

Notice: Undefined index: in /srv/www/inf/module/class.ShowModule.php on line 159

Notice: Undefined index: in /srv/www/inf/module/class.ShowModule.php on line 167

Notice: Undefined index: in /srv/www/inf/module/class.ShowModule.php on line 169

Warning: Use of undefined constant voraussetzungen - assumed 'voraussetzungen' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 222

Vorbedingungen: Orientierungsprüfung
Notice: Undefined index: in /srv/www/inf/module/class.ShowModule.php on line 164

Notice: Undefined index: in /srv/www/inf/module/class.ShowModule.php on line 167


Warning: Use of undefined constant pruefung - assumed 'pruefung' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 223

Warning: Use of undefined constant pruefart - assumed 'pruefart' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 225

Prüfung: PL (Klausur)


Warning: Use of undefined constant lernvoraussetzungen - assumed 'lernvoraussetzungen' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 230

Warning: Use of undefined constant lernziele - assumed 'lernziele' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 236

Warning: Use of undefined constant lernziele - assumed 'lernziele' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 238

Lernziele


Warning: Use of undefined constant lernziele - assumed 'lernziele' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 239

Sie können einfache Programmstücke formal verifizieren und Sie beherrschen das systematische Testen von Software. Sie können Software-Entwurfsmuster anwenden. Sie kennen die UML-Notation und können diese zum Entwurf und zur Dokumentation von Software anwenden.


Warning: Use of undefined constant logged - assumed 'logged' (this will throw an Error in a future version of PHP) in /srv/www/inf/module/class.ShowModule.php on line 325

Notice: Undefined index: logged in /srv/www/inf/module/class.ShowModule.php on line 325