Download CV - Romanian - Universitatea Babes - Bolyai, Cluj ...

2. Berar Roxana,Title: Verificarea si validarea softului: concepte si metode.3. Rus Adina,Title: Web Applications(Metode de verificare a softului. Studiu comparativ).4. Fodor Raluca,Title: Dezvoltarea sistemelor soft folosind paradigma bazata pe componente.• 2011 - 10 students.1. Ciucas Ovidiu (from 2009),Title: Modelarea comportamentului sistemelor bazate pe componente.2. Roman Veronica (from 2009),Title: Modele formale pentru programarea bazata pe componente.3. Lazea Anamaria (from 2010),Title: Modelarea sistemelor bazate pe componente (in February)4. Pop Flavia,Title: Verificarea si validarea sistemelor soft.5. Dumitras Vlad,Title: Constructia sistemelor soft prin compunerea componentelor.6. Plotuna Anda,Title: Studiu comparativ: Programarea orientata obiect si programarea bazatape componente.7. Preata Adriana,Title: Testarea black-box versus Testarea white-box.8. Tirean Anca,Title: Test-driven development (Dezvoltarea dirijata de testare a sistemelorsoft).9. Boldan Naomi,Title: Reutilizarea sistemelor soft.10. Bala Liliana,Title: Dezvoltarea sistemelor soft folosind paradigma bazata pe componente.Participări la programe finanţate din sursă naţională• Director grant: TD CNCSIS 272/2007 grant (Romania), 2007–2008Titlu: Studii asupra modelării formale a componentelor soft. Aplicaţii în problemereale.• Membru proiect: PNCDI–IDEI 2008 grant (Romania), 2008–2011Titlu: Calcul stiintific si optimizare pentru aplicatii iterdisciplinare.Director grant: Lect. dr. Crina Groşan.• Membru proiect: PNCDI–IDEI 550/2007 grant (Romania), 2007–2010Titlu: Modele şi metode robuse de prelucrare a datelor cu aplicaţii în ştiinţelenaturii.Director grant: Prof. dr. Horia F. Pop.4