Go4IT - ein Pilotprojekt, mit einem Informatik-Bachelor-Universitäts-Studium bereits parallel zur AHS-Oberstufe zu beginnen
Weitere Information auf der Go4IT Web Site und in den Medienberichten.
From Model-Based Development research towards cutting-edge industry products
Chrona Validator and Chrona Creation Suite
autoBAHN - autonomously driving trains on open tracks
The goal of the autoBAHN project is to come up with a rail-bound transport system of autonomously driving vehicles.
sub auspiciis praesidentis rei publicae for Patricia Derler
November 2011: sub auspiciis praesidentis rei publicae for Patricia Derler
VO IT-Sicherheit
Lehrveranstaltungsleiter
u.a. O.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Pree
Inhalt
Buffer overflow (Wikipedia, markiert)
Ergänzende Unterlagen
- sample security exploit: buffer overflow
- correct-by-construction method for formally proofing program correctness
- [cloud computing] Google Security Whitepaper
- ScalaCheck versus JUnit: A Complete Example
A Framework for Command Processing in Java/Swing Programs Based on the MVC Pattern