Dipl.-Inform. Rene Meis
Raum BB 918
Tel. : +49 203 379 4503
Fax : +49 203 379 4490
E-Mail : rene.meis[at]uni-due.de

  • Problem-Oriented Requirements Engineering (Problem Frames)
    • Privacy Analysis (ProPAn)
    • Requirements Interactions
    • Aspect Orientation
  • Formal Methods
    • Software Specification (Z, OCL, Alloy)
    • Model Checking (UPPAAL, Spin)
    • Theorem Proving (Isabelle/HOL)