Verifikation und Testen - VO |
TUGraz-Online Seite: Link
Institut:
Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie
Zeitleiste: 0 1 2 3 4 5 6 7 8 9 0 Sem. WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS 200x 201x
LV-Nummer: 705.040
Semesterstunden: 2
mehr...
Inhalt:
Diskussion aktueller Forschungsinhalte zu Verifikation und Testenvon Hardware und Software. Es werden Techniken höheren Levels wie Model-Checking und Delta Debugging diskutiert. Diese Techniken sind in der Industrie noch nicht weit verbreitet, dies wird sich in Zukunft jedoch ändern. Die Lehrveranstaltung wird formal/technisch ausgerichtet sein.
Quelle:
TUGraz-Online
|
Drop files anywhere to upload...
In diesem Fach Dateien hochladen
|
|
Fehler aufgetreten, bitte melde dies einem Administrator