Seminar on Formal Specifications
- Department of Software Engineering
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.
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.
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: