In Romanian

PROPUNERI LUCRARI DE LICENTA IUNIE 2008

Anul II

Fluxuri de lucru ºi procese de afaceri

1. Implementarea proceselor de afaceri pentru managementul unei companii de distribuþie marfã - luatã
2. Sistem de raspuns la solicitãri de suport tehnic într-o companie multinaþionalã - luatã
3. Managementul proceselor de afaceri într-un departament de aprovizionare - luatã
4. Aplicaþie distribuitã pentru managementul taxelor într-o instituþie de învãþãmânt superior
5. Compatibilizarea editorului de diagrame al jBPM cu standardul BPMN
6. Editor dedicat creãrii ºi manipulãrii unei diagrame a proceselor de afaceri
7. Reprezentarea ºi execuþia proceselor de afaceri
8. Procese de afaceri ºi Reþele Petri de tip "workflow" - luatã

Programare logicã

9. Determinarea contradicþiilor logice dintr-un corp de legi
10. Programare logicã disjunctivã. Concepte ºi aplicaþii

În colaborare cu Synygy Europa

11. Performance analysis of Java Web Services frameworks - luatã
12. Object-Relational Mapping in Java - luatã
13. Application of non-relational database management systems in enterprise software development - luatã
14. Source code search engine - luatã
15. Java code coverage tool - luatã

Anul III

Programare logicã

1. Un cadru formal bazat pe programare logicã pentru dezvoltarea argumentaþiilor - luatã
2. Un cadru formal bazat pe programare logicã pentru jocul de Go - luatã
3. Editor-corector de diacritice pentru limba românã - Modulul I (implementare tip Prolog) - luatã
4. Editor-corector de diacritice pentru limba românã - Modulul II (interfeþe cu utilizatorul) - luatã

Logicã

5. Logica cuanticã
6. Probleme de eficienþã în logica propoziþionalã
7. Logica în timp real (RTL - Real Time Logic)

Specificare ºi verificare bazatã pe logicã

8. Verificarea automatã a programelor în limbaj de asamblare - luatã
9. Problema generalã "model checking". Îmbunãtãþirea TLC (temporal logic of actions model checker)
10. Tipuri speciale de nedeterminism în automate pe cuvinte ºi arbori

În colaborare cu Synygy Europa

11. Declarative distributed cache systems - luatã
12. Code generation based on Java annotations - luatã
13. A load balanced environment for distributed job execution - luatã
14. Interactive web applications with Google Web Toolkit - luatã
15. JBoss jBPM as a platform for enterprise workflow-centric applications - luatã