FI:I051 Formální algebr. specif. - Course Information

I051 Formální algebraické specifikace

Extent and Intensity

2/0. 2 credit(s). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Igor Prívara (lecturer)

Prerequisites

Prerequisites M009 Algebra II, recommended M007 Mathematical Logic, I011 Programming Language Semantics

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

• Informatics (programme FI, B-IN)
• Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Information Technology (programme FI, B-IN)

Syllabus

• Formal specifications in program development.
• Algebraic specification - methods and specification. languages
• Algebraic specification semantics - models of specification, term generated models, initial and terminal models, specifications equivalence
• Modular specification - extension (enrichment) of specification, parametric specification, semantics of modular specifications.
• Hierarchical semantics. Observational approach. Specification implementation. Diverse specifications.
• Applications - algebraic specification languages and environments, generation of test data sets from algebraic specification, integration of semiformal and formal methods.

Language of instruction

Czech

• Enrolment Statistics (recent)
  
• Permalink: https://is.muni.cz/course/fi/autumn1996/I051