Dominik Rauner-reithmayer
Professor of computer science/Senior Lecturer
Management
Fachhochschule Kärnten - Carinthia University of Applied Sciences
Austria
Biography
Dominik Rauner-Reithmayer is currently working in Fachhochschule Kärnten - Carinthia University of Applied Sciences
Research Interest
Management
Publications
-
Behavior Analysis based Program Understanding to support Software Maintenance in: Proceedings of the 20th IASTED International Multi-Conference -- Applied Informatics, Feb 2002, Innsbruck, Austria Pozewaunig, H., Rauner-Reithmayer, D. 2002
-
Realisierung eines sicheren zentralen Datenrepositories in: P. Horster (Hrsg.): DACH-Security 2006, 28-29 Mar 2006, Heinrich-Heine University Duesseldorf, Germany, S. 32-45, syssec Stingl, C., Slamanig, D., Rauner-Reithmayer, D., Fischer, H. 2006
-
Formal Specification Comprehension - The Art of Reading and Writing Z in: 2nd FME Workshop on Formal Methods in Software Engineering, 03-03 Jun 2014, Hyderabad, India Bollin, A., Rauner-Reithmayer, D. 2014
