: Use of undefined constant modulbez - assumed 'modulbez' (this will throw an Error in a future version of PHP) in
: Use of undefined constant dozent - assumed 'dozent' (this will throw an Error in a future version of PHP) in
: Use of undefined constant kommentar - assumed 'kommentar' (this will throw an Error in a future version of PHP) in
Prof. Dr. H.W. Lang
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.
: 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
