Verification

Wertvoller Rohstoff Gülle

In der Schweine-, Geflügel- und Rinderhaltung fallen große Mengen Gülle an, die aufgrund ihres hohen Gehalts an Nährstoffen einen wichtigen Wirtschaftsdünger…

Harlan D. Mills Award: Höchste Auszeichnung in der Software-Entwicklung für SnT-Forscher

Der Preis wird an Forscher und Praktiker verliehen, die langjährig herausragende Beiträge zu Theorie und Praxis in der Informatik geleistet haben. Bei der…

ICST 2011 – Softwarequalität: Die Basis funktionierender Systeme

Software Bugs lauern überall: Im vergangenen Jahr verschliefen tausende Menschen wegen eines Programmfehlers in der Weckfunktion ihres Mobiltelefons und…

Einblicke in sichere Passdaten

Seit Juni 2006 ist der neue Sicherheitspass in Österreich erhältlich. Immer noch fühlen sich viele Österreicher durch die Speicherung der persönlichen Daten…