Curs Univ.Bucuresti: Metode de dezvoltare software [Semestrul II, 2009-2010][Prof.Dr. Gheorghe Stefanescu]

..Ultimile..Noutati.. 16.03.2010: Tema [pdf]; Deadline: 29-mar-2010, ora 16 01.03.2010: Invitatii Grup-Yahoo: Grupele 233,231,232,241,242 rog sefii de grupe sa imi comunice adresele de mail ale stud

Tematica, cursuri & planificare (tentativ)

• Generalitati
  • Lec01: Organizare curs; Prezentare generala [pdf]
• Analiza functionala (Capturarea cerintelor, specificare)
  • Lec02: Sisteme clasice; Limbajul de specificare Z [pdf][4/1pdf]
  • Lec03: Sisteme complexe: MSC-uri extinse, griduri, RV-scenarii [pdf][4/1pdf]
  • Lec04: Sisteme interactive finite; Limbaje 2-dimensionale [pdf][4/1pdf]
  • Lec05: UML: Modelare structurala si comportamentala (I - elemente de baza) [pdf][4/1pdf]
• Dezvoltare (Proiectare, implementare)
  • Lec06: Calcul paralel: Comunicare cu mesaje; Limbajul MPI [pdf][4/1pdf]
  • Lec07: Calcul paralel: Memorie partajata; Thread-uri in Java/PThreads [pdf][4/1pdf]
  • Lec08: Calcul interactiv: Programe cu registri si voci; Limbajul AGAPIA [pdf][4/1pdf]
  • Lec09: Statechart-uri [link] [pdf][4/1pdf]
• Verificare (Verificare partiala, verificare totala)
  • Lec12: Model checking: CTL*, sintaxa, semantica, exemple [pdf][4/1pdf]
  • Lec13: Model checking: Algorithm de model checking; SMV [pdf][4/1pdf]
  • Lec14: Logica Floyd-Hoare [pdf][4/1pdf]
  • Lec15: Spatio-temporal logics for the verification of interactive programs [pdf][4/1pdf]
• Lectii invitate:

Seminarii

• Sem.1 [Sapt.1-2]: Seminarii la Lec.2-3 - Specificatii: Z, MSC
• Sem.2 [Sapt.3-4]: Seminarii la Lec.3-4 - Specificatii: MSC, griduri, limbaje 2-dim
• Sem.3 [Sapt.5-6]: Seminarii la Lec.6 - Programare paralela: MPI
• Sem.4 [Sapt.7-8]: Seminarii la Lec.7 - Programare paralela: PThreads
• Sem.5 [Sapt.9-10]: Seminarii la Lec.8 - Programare interactiva: Agapia
• Sem.6 [Sapt.11-12]: Seminarii la Lec.12-13 - Verificare: Model checking
• Sem.7 [Sapt.13-14]: Seminarii la Lec.14 - Verificare: Floyd-Hoare

Proiecte

Informatii despre curs

Tipul cursului

"Metode de dezvoltare de soft" este un curs obligatoriu pentru studentii anului 2, domeniul de licenta informatica. Este un curs cu o tenta mixa, atat practica, cat si teoretica.
In plan practic, studentii vor avea de dezvoltat un proiect, in echipe de 3-5 studenti. Nu este un curs de programare, deci studentii vor alege un proiect astfel incat sa il poata dezvolta intr-un limbaj de programare pe care il stiu bine. Studentii vor fi coordonati pentru a putea dezvolta proiectul, trecand prin fazele specifice unei astfel de activitati: capturarea cerintelor utilizatorului, specificare, proiectare, implementare, testare, postare pentru utilizare, elaborarea documentatiei.
In plan teoretic, studentii vor invata cateva metode de baza pentru dezvoltarea de aplicatii complexe, grupate in tehnici de capturare si specificare a problemei, tehnici de proiectare si implementare, si tehnici de testare si verificare. Pe langa tehnici mai clasice precum specificari in limbajul Z, calcul paralel, ori logica Floyd, sunt expuse tehnici noi care sa suporte tehnologia UML, anume MSC-uri, statechart-uri, limbaje interactive, tehnici de model checking.

Instructori

Coordonare generala, cursuri, 25% laboratoare:

• Prof.Dr. Gheorghe Stefanescu [gheorghefuninf.cs.unibuc.ro]

Seminarii:

• Asist.Drd. Denisa Diaconescu [ddiaconescufuninf.cs.unibuc.ro]

Laboratoare:

• Asis.Dr. Daniel Dragulici (50%) [drafuninf.cs.unibuc.ro]
• MSc-stud. Vlad Radu (25%) [b_r_arnyahoo.com]

Orar

Cursuri: Seria 23, VI 12-14 [Amf.0]; Seria 24, LU 14-16 [Amf.I];

Seminarii, laboratoare: vezi orarul FMI

Consultatii: Gheorghe Stefanescu -> ??

Notare

Examen final: Cu cartile pe masa (Open book)
Compozitia notei:

50% in timpul anului

• 40%-proiect
• 10%-seminarii

50% examen final

Referinte

• Limbajul Z
  • Mike Spivey, The Z Reference Manual, Prentice Hall 1992 [link]
  • Jim Woodcock, Jim Davies, Using Z, Prentice Hall 1996 [link]
• UML
  • G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeing Language UML, Addison Wesley, 1999
• Calcul paralel
  • B. Wilkinson, C.M. Allen, Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers, Prentice Hall 1999.
• Verificare
  • M. Huth, M. Ryan, Logic in Computer Science: Modelling and reasoning about systems, Cambridge University Press 2000.

vizitatori din 15Feb07 (thanks:Web-Counter)

Pagina administrata de Gheorghe Stefanescu