Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2017/2018

Seminar on Formal Specifications

Login to KOS for course enrollment Display time-table
Code Completion Credits Range
PI-FME Z,ZK 4 0+3
Lecturer:
Tutor:
Karel Richta (guarantor)
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 2017/2018:
Time-table is not available yet
Time-table for summer semester 2017/2018:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2018-07-17
For updated information see http://bilakniha.cvut.cz/en/predmet1601306.html