Teme de Licenta 2009-2010: Difference between revisions
mNo edit summary |
(rm material of questionable relevance to haskell) |
||
(2 intermediate revisions by one other user not shown) | |||
Line 3: | Line 3: | ||
Proiecte de licenta - Haskell si Non Haskell | Proiecte de licenta - Haskell si Non Haskell | ||
Actualmente la Bacau la informatica pot propune atat teme de licenta cu Haskell cat si fara Haskell | Actualmente la Universitatea "Vasile Alecsandri" din Bacau la informatica pot propune atat teme de licenta cu Haskell cat si fara Haskell | ||
dat fiind faptul ca predau mai multe materii: | dat fiind faptul ca predau mai multe materii: | ||
Line 14: | Line 14: | ||
2.1 Mic dictionar electronic al limbii Japoneze (B.D) | 2.1 Mic dictionar electronic al limbii Japoneze (B.D) | ||
2.2 Verificator sintactic de rezolvari de exercitii | 2.2 Verificator sintactic de rezolvari de exercitii | ||
2.3 Manual electronic de limba Japoneza | |||
3. Realizarea jocurilor video cu OpenGL (in Haskell sau in alte limbaje) <br> | 3. Realizarea jocurilor video cu OpenGL (in Haskell sau in alte limbaje) <br> | ||
3.1. Realizarea jocurilor video cu mediul de dezvoltare 3D XYZ ( XYZse va alge dintre cele disponibile) | |||
4. Implementarea unui browser web in Haskell: | 4. Implementarea unui browser web in Haskell: | ||
4.1. Parser pentru un (sub)set HTML | 4.1. Parser pentru un (sub)set HTML | ||
4.2. Afisarea arborelui rezultat dupa parsarea unei pagini web | 4.2. Afisarea arborelui rezultat dupa parsarea unei pagini web | ||
Limbaje Formale: | Limbaje Formale si Automate: | ||
1. Realizarea unui interpretor pentru un limbaj C-like | 1. Realizarea unui interpretor pentru un limbaj C-like | ||
Line 30: | Line 32: | ||
5. Implementare de module pentru limbajul modular Rodin | 5. Implementare de module pentru limbajul modular Rodin | ||
6. NOU: Securizarea aplicatiilor SQL prin filtrarea intrarilor cu ajutorul parserelor | |||
7. Traducerea automata a programelor din C in Python (sau alte limbaje) | |||
8. Software reengineering automat | |||
9. Injectia software-ului cu functii pentru upgrade | |||
10. Parser / printer pentru referinte bibliografice | |||
11. Aplicatii ale automatelor adaptive [[ADFA]] | |||
Baze de date si limbaje formale (teme mixte) | Baze de date si limbaje formale (teme mixte) | ||
Line 38: | Line 52: | ||
3. Extragerea automata a sintaxei documentelor cu aplicatii | 3. Extragerea automata a sintaxei documentelor cu aplicatii | ||
Latest revision as of 21:25, 20 November 2011
Proiecte de licenta - Haskell si Non Haskell
Actualmente la Universitatea "Vasile Alecsandri" din Bacau la informatica pot propune atat teme de licenta cu Haskell cat si fara Haskell dat fiind faptul ca predau mai multe materii:
Temele de licenta din anii precedenti sunt de asemenea disponibile, mai ales acelea care constituie proiecte pe termen lung.
Teme din anii precedenti:
1. Aplicatii ale automatelor adaptive la XYZ (subiectul XYZ se va alege de comun acord cu indrumatorul) sunt disponibile mai multe teme
2. Instrumente software pentru invatarea limbii Japoneze (aici intra si un proiect de Baze de date)
2.1 Mic dictionar electronic al limbii Japoneze (B.D) 2.2 Verificator sintactic de rezolvari de exercitii 2.3 Manual electronic de limba Japoneza
3. Realizarea jocurilor video cu OpenGL (in Haskell sau in alte limbaje)
3.1. Realizarea jocurilor video cu mediul de dezvoltare 3D XYZ ( XYZse va alge dintre cele disponibile)
4. Implementarea unui browser web in Haskell:
4.1. Parser pentru un (sub)set HTML 4.2. Afisarea arborelui rezultat dupa parsarea unei pagini web
Limbaje Formale si Automate:
1. Realizarea unui interpretor pentru un limbaj C-like
2. Realizarea unui interpretor pentru un limbaj Pascal-like
3. Realizarea unui compilator pentru un limbaj C-like
4. Realizarea unui compilator pentru un limbaj Pascal-like
5. Implementare de module pentru limbajul modular Rodin
6. NOU: Securizarea aplicatiilor SQL prin filtrarea intrarilor cu ajutorul parserelor
7. Traducerea automata a programelor din C in Python (sau alte limbaje)
8. Software reengineering automat
9. Injectia software-ului cu functii pentru upgrade
10. Parser / printer pentru referinte bibliografice
11. Aplicatii ale automatelor adaptive ADFA
Baze de date si limbaje formale (teme mixte)
1. Generator de programe analitice cu tabela extensibila
2. Generatoare si convertoare de documente
3. Extragerea automata a sintaxei documentelor cu aplicatii