Title: Lehre von Software-Verifikation in der Berufsbildung unter dem Aspekt von Bildungsstandards
Language: Deutsch
Authors: Reinbacher, Thomas 
Qualification level: Diploma
Keywords: Informatikunterricht; Kompetenzmodell; Bildungsstandards; formale Software Verifikation und Test; Berufsbildung; Höhere Technische Lehranstalt
Advisor: Futschek, Gerald
Issue Date: 2010
Number of Pages: 112
Qualification level: Diploma
Abstract: 
Bildungsstandards, Kompetenzmodelle, Qualifikationsrahmen sind die Schlagwörter der jüngsten Bildungsdiskussionen. Eine Vergleichbarkeit zwischen den EU Mitgliedstaaten und eine eindeutige Kategorisierung der erworbenen Kompetenzen ist das erklärte Ziel. Mit dem Projekt Bildungsstandards in der Berufsbildung des Bundesministeriums für Unterricht, Kunst und Kultur (bm:ukk) sollen in einem ersten Schritt transparente Darstellungsformen von Lernergebnissen sowie Systemvergleichbarkeit erarbeitet werden. Einzelne Arbeitsgruppen arbeiten konkrete Kompetenzmodelle aus und definieren somit Fähigkeiten in verschiedenen Fachgebieten, die ein künftiger (z.B. HTL) Absolvent beherrschen soll. Wissenschaftliche Methode:
Mithilfe von qualitativen Interviews wird der IST Zustand der Informatikausbildung in den HTLs erhoben. Weitere Interviews bringen die Anforderungen der Industrie an künftige HTL Absolventen in Erfahrung.
Die in der Arbeit ausgearbeiteten Unterrichtsblöcke wurden in einer Experten Feedback Loop entwickelt. Eine umfassende Literaturrecherche stellt die theoretische Basis der Arbeit dar.
Zentrale Ergebnisse:
Im gegenwärtigen Informatikunterricht finden sich aber nur äußerst selten Themen der (formalen) Softwareverifikation wieder. Diese Vermutungen werden durch die durchgeführten Interviews mit Lehrenden als auch mit Personalverantwortlichen der Industrie bestätigt. Es stellt sich heraus, dass es ein signifikantes Ungleichgewicht zwischen Lehre und den Anforderungen der Industrie gibt. Die vorliegende Arbeit zeigt erstmals eine konkrete Umsetzung des Kompetenzmodells für eine Elektrotechnik HTL für einen auf Verifikation von Software und Systemen ausgerichteten Unterricht. Die ausgearbeiteten Unterrichtsblöcke sind mit einer Einordnung in den aktuell vorliegenden Entwurf des Kompetenzmodells versehen, aber bewusst so konzipiert, dass diese auch außerhalb dieses Modells im Unterrichtsalltag eingesetzt werden können.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-39497
http://hdl.handle.net/20.500.12708/11613
Library ID: AC07808292
Organisation: E188 - Institut für Softwaretechnik und Interaktive Systeme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Show full item record

Page view(s)

16
checked on Feb 27, 2021

Download(s)

76
checked on Feb 27, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.