Dominik Rauner-Reithmayer

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Specification Languages

Reading Comprehension

Formal Specification

Data Abstraction

Top Venues

Publications

Andreas Bollin, Dominik Rauner-Reithmayer
Formal specification comprehension: the art of reading and writing z. FormaliSE (2014)
Roland T. Mittermeir, Andreas Bollin, Heinz Pozewaunig, Dominik Rauner-Reithmayer
Goal-driven combination of software comprehension approaches for component based development. SSR (2001)
M. Taschwer, Dominik Rauner-Reithmayer, Roland T. Mittermeir
Generating Objects from C Code - Features of the CORET Tool-Set. CSMR (1999)
Heinz Pozewaunig, Dominik Rauner-Reithmayer
Support of Semantics Recovery During Code Scavenging Using Repository Classification. SSR (1999)
Roland T. Mittermeir, Helfried Pirker, Dominik Rauner-Reithmayer
Object Evolution by Model Evolution. CSMR (1998)
Helfried Pirker, Roland T. Mittermeir, Dominik Rauner-Reithmayer
Service Channels - Purpose and Tradeoffs. COMPSAC (1998)