Sign In
ELTE Informatikai Kar, Programozási Nyelvek és Fordítóprogramok Tanszék
Tanszék
Munkatársak
Tárgyak
Tevékenység
Pályázatok
Konferenciák
TDK
Publikációk
Szoftvertechnológia laborok
Search
>
ELTE Informatikai Kar, Programozási Nyelvek és Fordítóprogramok Tanszék
>
Pályázatok
Tanszék
Munkatársak
Tárgyak
Tevékenység
Pályázatok
Konferenciák
TDK
Publikációk
Department - English
Szoftvertechnológia laborok
Pályázatok
>
ELTE Informatikai Kar, Programozási Nyelvek és Fordítóprogramok Tanszék
>
Pályázatok
Programhelyesség-bizonyítás algebrai módszerekkel
OO metrikák .NET-en
OTKA Funkcionális programok helyessége
IKTA JGrid
A magyar SzuperGrid és KlaszterGrid rendszerek felhasználó-orientált egységesítése
Erlang programok refaktorálása
CEEPUS H-81/HU-19
Ógörög szövegek feldolgozása
F# programok analízise
Funkcionális DSL DSP alkalmazásokhoz
Szoftverminőség-biztosítási szolgáltatáscsomag