Förderung der Fähigkeit zur gezielten Recherche eines Themas sowie zur Aufbereitung und Präsentation in einer schriftlichen Arbeit und in einem Vortrag. Vermittlung neuer Kenntnisse im Bereich der Software Entwicklung.
Formale Verifikation von Software - Methoden und Werkzeuge.
Erstes Treffen (Themenvergabe, Terminvereinbarungen): Mittwoch, 11.März 2015, 16:00, Seminarraum "Gödel" (Favoritenstr. 9/Erdgeschoß/Zugang vom Innenhof) Bitte melden Sie sich zum Seminar per TISS an, oder wenn das nicht möglich ist, per Email an salzer@logic.at. Weitere Informationen siehe www.logic.at/lvas/se_fvsw. Bei Bedarf wird das Seminar in englischer Sprache abgehalten.
Ort: TISS