Seminar on Formal Specifications

Garant předmětu:

Lecturer:

Tutor:

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:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans:

• Informatics (doctoral) (compulsory elective course)
• Informatics (compulsory elective course)