QUICK INFO: CU 2h / SE 1h / 7,5 CREDITE
PROGRAMA ANALITICA
· Fundamente logice
· Masini de stari finite, verificare
· Limbajul Z
· Concurenta, modelarea cu retele Petri
· Concurenta si comunicare in algebre de procese
· Logici temporale, specificari, elemente de model checking
· UML: Modelare structurala si comportamentala (I - elemente de baza)
· UML: Modelare structurala si comportamentala (II - elemente avansate)
· UML: Modelare arhitecturala
METODA DE EVALUARE
- 4 puncte:din oficiu;
- 3 puncte:pentru referat
- 1 punct pentru continut,
- 1 punct pentru redactare,
- 1 punct pentru sustinere;
- 3 puncte:pentru proiect
- 1 punct pentru analiza SI,
- 1 punct pentru aplicatia software,
- 1 punct pentru sustinerea proiectului,
- (unde primele 2 puncte sunt “ale grupului” iar al treilea punct este al fiecarui membru al grupului).
ATENTIE! : Se fac depunctari pentru intarzieri. Mai multe detalii in fisierul atasat: MSS_C1_Introducere
- alegerea temelor de referat /proiect si formarea grupurilor de lucru
- pana la 22 oct. 2012
- prezentarea la seminar a variantelor preliminare
- pana la 12 nov. 2012
- sustinerea referatelor si proiectelor
- incepand de la 19 nov. 2012, respectiv 3 dec. 2012
- in ordinea alfabetica a [primului] autor
BIBLIOGRAFIE
1. D. HAREL: Statecharts: a visual formalism for complex systems; Science of Computer Programming, 8:231-274, 1987.
2. K. JENSEN, Colored Petri nets, Vol 1-3, Springer 1997
3. Z. MANNA and A. PNUELI: The Temporal Logic of Reactive and Concurrent Systems,Vol 1 Specification; Springer-Verlag, 1991.
4. J. RUMBAUGH, I. JACOBSON, and G. BOOCH, The Unified Modeling Language Reference Manual; Addison Wesley, 1999.
5. S. SCHNEIDER: Concurrent and Real-time Systems: The CSP Approach, Wiley, 2000.
6. M. SPIVEY, The Z Reference Manual, Prentice Hall 1992
7. J. WOODCOCK, J. DAVIES: Using Z: Spe cification, Refinement, and Proof; Prentice Hall 1996.