Oblasti výskumu

  • Metódy, nástroje a metodológie analýzy a návrhu programových systémov
  • Modelovanie a prototypovanie programových systémov
  • Systémy CASE a Meta-CASE
  • Návrh formálnych textových a grafových jazykov
  • Modelovanie a simulácia systémov
  • Návrh systémov CAD (systémy pre počítačovú podporu inžinierskych prác)
  • Architektúry softvérových systémov
  • Matematické modelovanie informačných systémov
  • Objektovo-orientovaný návrh informačných systémov
  • Bezpečnosť informačných systémov
  • Informačné systémy v riadení
  • Rozšírené databázové technológie
  • Znalostné systémy
  • Integrované prostredia pre podporu softvérových projektov