Universitatea "Babes-Bolyai" Cluj-Napoca
Facultatea de Matematica si Informatica
FISA DISCIPLINEI

Proiect (1)
Cod
Semes-
trul
Ore: C+S+L
Tipul
Specializarea
MV043
1
0+0+1
obligatorie
Metode formale în programare - în limba engleza
Cadre didactice indrumatoare
Prof. Dr. FRENTIU Militon,  mfrentiucs.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
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
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
Legaturi: Syllabus-urile tuturor disciplinelor
Versiunea in limba engleza a acestei discipline
Versiunea in format rtf a acestei discipline