Meg egy temaval bovult a lista, lasd alabb a 2.1-es pontot.
-Peter
Peter Szeredi <szeredi(a)cs.bme.hu> writes:
Kedves Demonstratorok, Prolog irant erdeklodok!
Frissitettem a honlapon a TDK, diploma, stb. temak kiirasat.
http://cs.bme.hu/~szeredi/oktatas/temak08s.txt
---------------------------------------------------------------------------
2. Deklaratív nyelvek oktatása
Ezek a feladatok a Deklaratív Programozás (DP), ill. a Nagyhatékonyságú
Logikai Programozás (NHLP) c. tárgyak oktatásához kapcsolódó
kutatás-fejlesztési tevékenységek.
2.1 Hasonlóságvizsgáló eszközök házi feladatok másolásának felderítésére
A címben jelzett cél érdekében a DP tárgy oktatása során egyrészt a
Match saját fejlesztésû programot, másrészt a 'sim' programot
használjuk: <http://www.cs.vu.nl/~dick/sim.html>.
A Match egy olyan (Prolog nyelven készült) program, amellyel
viszonylag nagyobb méretû forráskódú programok szerkezetének
hasonlóságát lehet megállapítani. A Match rendszert már nyolc éve
folyamatosan használjuk a DP nagy házi feladatok másolásának sikeres
felderítésére. A 'sim' programot, amely lexikai hasonlóságot
vizsgál, a kis házi feladatok esetén használjuk.
A hasonlóságvizsgáló eszközök továbbfejlesztése több irányban is
kívánatos. Egyrészt szükséges a Match rendszer kibõvítése az Erlang
nyelvû források esetére, mert a jövõben ezt a funkcionális nyelvet
használjuk majd a DP tárgy oktatásában. Ez a kiterjesztés egyrészt
egy nyelvi elemzõ beillesztését, másrészt a rendszer megfelelõ
hangolását igényli. Másrészt szükséges a 'sim' program fejlesztése
is, mert jelenleg ebben egy generikus elemzõt használunk. Azt
reméljük, hogy egy Prolog ill. Erlang-specifikus elemzõ
használatával a találati pontosság fokozható.
Végül sor kerülhet a két rendszer további fejlesztésére, sõt akár
ezek összekapcsolására, illetve új eszközök kidolgozására is.