Modelarea Sistemelor Software Uml

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

(http://www.google.com/url?sa=D&q=https://docs.google.com/document/d/15wBmyN35oznPqrCzNVSKbU8iugcuqmpQAQqoZtmcy_g/edit&usg=AFQjCNEyKTORTotXcIIPw3uuN5wDb_LoXw)

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.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License