Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
FIŞA DISCIPLINEI

Codul	Disciplina	
MML1014	Specificare algebrica	

Specializarea	Semestrul	Ore: C+S+L	Categoria	Statutul	
Metode formale în programare - în limba engleză	1	2+2+0	specialitate	obligatorie	

Titularii de disciplină	Conf. Dr. CRIVEI Septimiu, crivei@math.ubbcluj.ro	
Obiective	Scopul cursului este de a prezenta bazele specificarii algebrice, verificarii si dezvoltarii formale. Studentii vor invata cum sa scrie specificatii algebrice si cum sa le foloseasca in dezvoltarea sistemelor soft.	
Conţinutul	1. Algebre universale, omomorfisme, congruente.
2. Signaturi, termeni.
3. Algebre termen cat.
4. Corectitudine.
5. Categorii si functori.
6. Specificatii parametrizate.
7. CASL (Common Algebraic Specification Language).  
	
Bibliografie	1. M. Bidoit, P. Mosses, CASL User Manual, Introduction to Using the Common Algebraic Specification Language, Lecture Notes in Computer Science, Springer-Verlag, 2004.
2. S. Crivei, Basic Abstract Algebra, Editura Casa Cartii de Stiinta, Cluj-Napoca, 2003.
3. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag, Berlin, 1985.
4. J. Loeckx, H.-D. Ehrich, M. Wolf: Specification of Abstract Data Types, Wiley/Teubner, 1996.
5. http://www.brics.dk/Projects/CoFI/
	
Evaluare	Referat (2/3 din nota), lucrare scrisa (1/3 din nota).