General

326.076/326.0VR, Friday 8:30-10:00, Room: HS 11, Start: March 8, 2024

The goal of this course is to teach students of computer science and mathematics methods for the formal specification of abstract data types and their application in practical examples. No prerequisites apart from basic set theory and logic are required.

We concentrate on the approach of algebraic/axiomatic program specification where concepts from universal algebra are used to formalize the semantics of specifications. For rapid prototyping, we use the software system CafeOBJ (user manual) in which specifications can be directly executed and also sketch the Common Algebraic Specification Language CASL (a gentle introduction).

Course grades will be based on homework assignments which are both theoretical (paper and pencil) and practical (CafeOBJ).

To participate in the course, you have to register in the KUSSS System. For submitting the assignments, you also have to create an account in the RISC Moodle (press the button "Create new account", you have to register with your students.jku.at email address) and self-enrol in this course (press the button "Enrol me"); then you also receive all messages posted in the course forums per email.