Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
FIŞA DISCIPLINEI

Codul	Disciplina	
MV043	Proiect (1)	

Specializarea	Semestrul	Ore: C+S+L	Categoria	Statutul	
Metode formale în programare - în limba engleză	1	0+0+1		obligatorie	

Titularii de disciplină	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 soft	
Conţinutul	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	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 pct