Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Seminar on Formal Specifications

Login to KOS for course enrollment Display time-table
Code Completion Credits Range
PI-FME.1 ZK 4 3C
Garant předmětu:
Karel Richta
Lecturer:
Tutor:
Karel Richta
Supervisor:
Department of Software Engineering
Synopsis:

Students learn how to evaluate pros and cons of formal specifications and how to work with tools supporting such formalisms, and also how to design and evaluate specification prototypes.

Requirements:

Basics knowledge from mathematics and logics.

Syllabus of lectures:

1.Syntax and semantics of specification languages, different approaches to specifications of systems.

2.Algebraic specifications and its implementation.

3.Rewriting systems, transformation of a specification into a rewriting system.

4.Abstract rewriting machines, algebraic specifications prototyping.

5.Examples of specification prototyping.

Syllabus of tutorials:

The course is conducted as a seminar.

Study Objective:

To teach students how to work with formal specifications, to use them for the documentation and the design of systems.

Study materials:

1. Bjorner, Henson: Logics of Specification Languages. Springer, ISBN 978-3-540-74106-0, 2008.

2. Goguen, Winkler, Meseguer, Futatsugi, Jouannaud: Introducing OBJ. SRI-CSL-92-03, Menlo Park 1992.

3. Watt: Programming Language Syntax and Semantics, Prentice Hall 1991.

4. McCombs: Maude 2.0 Primer. http://maude.cs.uiuc.edu/primer/maude-primer.pdf, 2003.

Note:
Time-table for winter semester 2023/2024:
Time-table is not available yet
Time-table for summer semester 2023/2024:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2024-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet5683206.html