Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.
08.12.2012 • Aufrufe
Teilen Einbetten Melden

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

MEHR ANZEIGEN
WENIGER ANZEIGEN
ePAPER LESEN
ePAPER HERUNTERLADEN
wi.tu.darmstadt.de

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

JETZT STARTEN

Tools <strong>und</strong> Methoden zur Fehlersuche in Computerprogrammen<br />

20-00-0436<br />

Gebiet: Fo<strong>und</strong>ations of Computing<br />

Modulverantwortlicher: Prof. Dr.-Ing. Heiko Mantel<br />

Kreditpunkte: 3 Dauer: 1 Semester Turnus: In der Regel jedes Semester<br />

Zeit gesamt: 90 h davon Präsenz: 20 h davon eigenständig: 70 h<br />

Lehrveranstaltung:<br />

Tools <strong>und</strong> Methoden zur Fehlersuche in Computerprogrammen<br />

Dozenten:<br />

Seminar 2 SWS<br />

Modulbeschreibung:<br />

Lehrinhalte<br />

•Static Analysis<br />

•Abstract Interpretation<br />

•Software Model Checking<br />

•Testen<br />

•Configurable Program Analysis<br />

Kompetenzen<br />

Literatur<br />

Voraussetzungen<br />

Gr<strong>und</strong>lagen aus den ersten vier Semestern<br />

Diploma Supplement<br />

<strong>Modulhandbuch</strong> Informatik 163

logo

Produkte

Ressourcen

Unternehmen

AGB
Datenschutzerklärung
Cookie-Richtlinien
Cookie-Einstellungen
Impressum
Change language
Made with love in Switzerland
© 2024 Yumpu.com all rights reserved

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!