Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
Domeniul: Informatica
Programul de studii: Metode formale în programare - în limba engleză
Limba de predare: Engleză

SYLLABUS

I. General data
Code	Subject	
MML1014	Algebraic Specification	

Semester	Hours: C+S+L+P	Category	Status	
1	2+1+0+1	speciality	compulsory	

II. Full status faculty members
Name and	Scientific	Didactic	Chair	Type of activity	
surname	title	title		C	S	L	
CRIVEI Septimiu	Ph.D.	Assoc.Prof.	Algebra, Mathematical Analysis and Geometry	*			

Associated faculty members
Name and	Scientific	Institution	Type of	Type of activity	
surname	title		position	C	S	L	

III. Course objectives
The aim of the course is to give an approach to algebraic specification, verification and formal development. Students will learn how to write algebraic specifications and how to use them in developing software systems.	

IV. Course contents
1. Universal algebras, homomorphisms, congruences.
2. Signatures, terms.
3. Quotient term algebras.
4. Correctness.
5. Categories and functors.
6. Parametrized specifications.
7. CASL (Common Algebraic Specification Language). 

V. Bibliography
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/

VI. Thematic of didactic activities per weeks

VII. Didactic methods used

VIII. Assessment
Presentation (2/3 of the grade), test paper (1/3 of the grade).	

IX. Additional references

	Dean,							Chair head,

	Date,							Course responsible,
								Assoc.Prof. CRIVEI Septimiu, Ph.D.