Anexa I FIA DISCIPLINEI

DENUMIREA DISCIPLINEI ANUL DE STUDIU

SAPTMN

PROGRAMARE ALGEBRICA SEMESTRUL TOTAL ORE

SEMESTRU

COD: CS2207O3 OP

II

2 TOTAL ORE
ACTIVITATE INDIVIDUAL*

STATUTUL DISCIPLINEI (OB-obligatorie/OP-opional/F-facultativ) NUMR

DE CREDITE

NUMRUL ORELOR PE C 2 S 0 L 2 Pr. -

TIPUL DE EVALUARE
(P-pe parcurs, C-colocviu, E-examen, M-mixt)

LIMBA DE PREDARE

56

94

M CATEDRA

Romn

TITULARUL
DISCIPLINEI

GRADUL DIDACTIC I TIINIFIC, PRENUMELE, NUMELE PROF. DR. DOREL LUCANU

Sisteme Software

DISCIPLINE ANTERIOR ABSOLVITE OBIECTIVE TEMATIC GENERAL

TEMATICA

SEMINARIILOR / LUCRRILOR DE LABORATOR METODE DE PREDARE

Familiarizarea studenilor interesai de software engineering cu limbaje i metode, cu un puternic fundament algebric, pentru specificarea, dezvoltarea, analiza i verificarea sistemelor software, * Limbajul Maude * Specificarea algebric a tipurilor abstracte de date * Definiia formal a unui limbaj de programare imperativ * Demonstrare asistata de teoreme inductive * Verificarea programelor secveniale * Definiia formal a unui limbaj de programare orientat-obiect * Specificarea algebric a sistemelor tranziionale * Familiarizarea cu sistemul Maude * Specificarea i verificarea tipurilor abstracte de date n Maude * Familiarizarea cu demonstratorul de teoreme inductive ITP * Verificarea asistat a programelor * Analiza sistemelor tranziionale Expunere folosind videoproiectorul

BIBLIOGRAFIE
OBLIGATORIE (SELECTIV)

Pagina Web a sistemului Maude (sistem, manual, exemple, articolele fundamentale) http://maude.cs.uiuc.edu/ Sistemul ITP, http://maude.sip.ucm.es/itp/ G. Rosu. Formal Software Development Methods, CS477/ECE478 UIUC, http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu
condiii criterii forme Activitatea la laborator (AL), testele scrise (TS) AL 6, TS 4 AL: fiecare tema de laborator va fi notata cu note de la 1 la 10 TS: 2 teste scrise (spt. 7,14). Punctaj Final (PF) = 50% AL +50% TS Nota Finala = absent daca nu sunt indeplinite conditiile 4 daca sunt indeplinite conditiile si NU sunt indeplinite criteriile de promovare, = 10 daca PF este in primii 10% din cei promovati = 9 daca PF este in primii 35% dar NU in primii 10% din cei promovati = 8 daca PF este in primii 65% dar NU in primii 35% din cei promovati = 7 daca PF este in primii 90% dar NU in primii 65% din cei promovati = 6 daca sunt indeplinite criteriile de promovare si PF NU este in primii 90% din cei promovati = 5 daca criteriile nu sunt indeplinite cu o eroare de 3% si activitatea generala justifica totusi o rpomovare la limita

EVALUARE

formula notei finale

* Numrul de ore pentru activitile individuale rezult prin scderea din 150 h/semestru (numrul de ore echivalente pentru 5 credite) a numrului total de ore pe semestru alocat disciplinei (vezi rubrica anterioar).