Skip Navigation Links
Magyar English
Skip navigation links
Tanszék
Munkatársak
Tárgyak
Tevékenység
Pályázatok
Konferenciák
TDK
Publikációk
Szoftvertechnológia laborok
Skip navigation links
Tanszék
Munkatársak
Tárgyak
Tevékenység
Pályázatok
Konferenciák
TDK
Publikációk
Department - English
Szoftvertechnológia laborok
Lists

 Laborcsoportok

TémaFilterIsmeretekFilterFeladatokFilter
Erlang programok refaktorálása
Csoport 1
Honlap http://plc.inf.elte.hu/erlang/
Téma
  1. Refaktorálás: Erlang nyelven készített programok jelentésmegőrző átalakítására szolgáló keretrendszer fejlesztése
  2. Hatásanalízis: refaktorálási lépések vagy egyéb változtatások forráskódra illetve tesztekre gyakorolt hatásainak elemzése
Ismeretek
Funckionális programozás
Feladatok
  • Erlang forráskód környezetfüggő formázása
  • Erlang szeletelő prototípus készítése
  • Eclipse felhasználói felület fejlesztése (főleg Java nyelven)
 
Mobil ODF
Csoport 2
Honlap http://aszt.inf.elte.hu/~hz/szomin.pdf
Téma
Ismeretek
Feladatok

Hypereidoc
Csoport 2
Honlap http://hypereidoc.elte.hu/
Téma
Ismeretek
Feladatok
 
F# programok analízise
Csoport 3
Honlap http://plc.inf.elte.hu/fsharp/
Téma
A projekt keretében F# programozási nyelven készített forrásprogramok elemzésével foglalkozunk.  Ennek során célunk egy olyan keretrendszer létrehozása, amely megkönnyíti a nyelvhez különböző elemző és refaktoráló eszközök létrehozását.  Ehhez kapcsolódóan elkezdtük egy saját lexer, parser, és egy Visual Studio AddIn fejlesztését, valamint implementáltunk metrikákat.
Ismeretek
Fordítóprogramok (lex, yacc); funkcionális programozás (OCaml, SML, Haskell/Clean); Microsoft .NET; Microsoft Visual Studio
Feladatok
Várható feladatok:
  • A keretrendszer továbbfejlesztése
  • F# programok erőforráshasználatának elemzése

 


Fordítóprogram DSP célú programozási nyelvhez
Csoport 5
Honlap http://dsl4dsp.inf.elte.hu/
Téma

Feladatunk fordítóprogramot írni egy fejlesztés alatt álló funkcionális programozási nyelvhez. A nyelvet egy svéd kutatócsoport fejleszti, célja digitális jelfeldolgozásban használt algoritmusok magas szintű, hardware-független leírása. A forító Haskellben készül, egy adatfolyam-gráfot kell minél hatékonyabb C kódra fordítania, kihasználva az egyes cél-architektúrák által biztosított optimalizációs lehetőségeket.
Ismeretek

Haskell, C programozási ismeretek és/vagy digitális jelfeldolgozásban való jártasság
Feladatok

2009 őszi félévtől:
  • a fordítóprogram előfeldolgozó moduljának implementációja (felhasználva a ghc egyes moduljait)
2009 tavasz félévtől várhatóan:
  • többmagos processzorokra történő optimalizációval kapcsolatos feladatok
 
Distributed Agent-Based Modelling
Csoport 6
Honlap http://distributedabm.elte.hu/
Téma

Célunk ágens-alapú szimulációk elosztott futtatását támogató módszerek fejlesztése. Témakörök:
  • elosztott implementációs technikák összehasonlítása
  • kommunikációs költségeket minimalizáló gráfvágások
  • a kommunikációs költségek futás közbeni csökkentése dinamikus kapcsolati gráfok esetén
  • magas szintű modellformalizációs technikák hatékonysága
  • modellek automatikus párhuzamosítása
Ismeretek

Java SE
Feladatok

  1. Ágens-alapú modellekben alkalmazott kommunikációs gráfok optimális partícionálása
    1. Partícionáló algoritmusok keresése/hatékonyság mérése/algoritmusok fejlesztése
    2. Gráf generáló szoftver modul készítése vagy integrációja
    3. Gráf kezelő modul fejlesztése vagy kiegészítése
  2. Szimulációs modell implementálása
    1. Tanulmányi rendszert szimuláló modell fejlesztése
    2. Adócsalási viselkedést szimuláló modell újraimplementálása, verifikálása
    3. Közlekedési szimulációs keretrendszer refaktorálása: elosztott futtatás lehetővé tétele
  3. Modelldefiníciós és modellreprezentációs módszerek vizsgálata
    1. Modelldefiníciós módszerek implementálása, fejlesztése Eclipse keretrendszerben
    2. Kódgeneráló pluginok fejlesztése Eclipse keretrendszerben

Java AST
Csoport 6
Honlap
Téma
Ismeretek
Feladatok