Disciplina: Proiect (1)	Cod: MV043	

Semestrul	Ore: C+S+L	Tipul	Specializarea	
1	0+0+1	obligatorie	Metode formale în programare - în limba engleza	

Cadre didactice indrumatoare	Prof. Dr. FRENTIU Militon, mfrentiu@cs.ubbcluj.ro	
Obiective	La terminarea proiectului, studenţii trebuie să:
a) fie capabili să foloseasca metode formale in specificarea sistemelor 
b) îndeplinească oricare dintre profesiile specifice folosirii metodelor formale in realizarea sistemelor sof	
Continut	1. Aspecte organizatorice.
1.1. Începutul dezvoltarii unei aplicaţii client-server. 
1.2. Definirea problemei de rezolvat.
1.3. Planul preliminar al proiectului soft
2. Specificarea cerinţelor şi alegerea tehnologiilor
2.1. Colectarea cerinţelor
2.2. Specificarea cerinţelor
2.3. Alegerea instrumentelor de dezvoltare şi a tehnologiilor 
3. Modelarea domeniului problemei.
3.1. Obiecte (entităţi) specifice aplicaţiei
3.2. Procese specifice aplicaţiei
3.3. Modelul cazurilor de utilizare esenţiale
4. Proiectarea arhitecturii aplicaţiei. 
4.1. Nivele de arhitectură
4.2. Nivelul de persistenţă
4.3. Nivelul de prelucrare 
4.4. Nivelul de prezentare şi interacţiune cu utilizatorul 
5. Realizarea componentelor 
5.1. Componente specifice domeniului problemei
5.2. Componente de acces la datele persistente
5.3. Componente de administrare
5.4. Componente auxiliare
5.5. Componente pentru proiectarea interfeţei grafice
5.6. Componente pentru capturarea interacţiunii utilizatorului
7. Validarea şi verificarea aplicaţiei.
7.1. Verificarea fiecarei etape
7.2 Testarea funcţionalitatii
7.3. Teste de stres
8. Realizarea documentaţiei	
Bibliografie selectiva	1. Enterprise JavaBeans 3 Specification, Sun Microsystems, http://java.sun.com/products /ejb/docs.html
2. Java Enterprise Edition, Sun Microsystems., 1999. http://java.sun.com/javaee/index.jsp
3. Matena, V et al., Applying Enterprise JavaBeans 2.1: Component-Based Development for the J2EE Platform, Addison-Wesley, The Java Series, 2003.
4. Ed Roman et al., Mastering Enterprise JavaBeans 3rd ed., Wiley, 2005. (free pdf version available at http://www.theserverside.com/tt/books/wiley/masteringEJB/)
5. Enterprise Solution Patterns using Microsoft .NET, Microsoft Patterns and Practices Home, http://msdn.microsoft.com/practices/.
6. Application Architecture  for ,NET. Designing Applications and Services, Microsoft Patterns and Practices Home, http://msdn.microsoft.com/practices/	
Evaluare	Forma de examinare este colocviul. În ultimele două săptamâni ale semestrului, fiecare student va face o demonstraţie cu proiectul realizat. 
Nota finală va fi formată din (1 punct din oficiu):
a) Prezenţa de la laborator: 1 pct
b) Funcţionalitate: 2 pct.
c) Prezentare 2 pct.
d) Documentaţie 2 pct.
e) Gradul de complex a soluţiei 2 pc