Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
FISA DISCIPLINEI
| MML1014 | Specificare algebrica |
| Titularii de disciplina |
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. |
| Continutul |
|
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).
|
| Legaturi: | Syllabus-urile tuturor disciplinelor Versiunea in limba engleza a acestei discipline Versiunea in format rtf a acestei discipline |