Section: Lecture | Formal Specification of Abstract Datatypes (SS 2016)

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
			No events, Thursday, 1 May No events, Thursday, 1 May	No events, Friday, 2 May No events, Friday, 2 May	No events, Saturday, 3 May No events, Saturday, 3 May	No events, Sunday, 4 May No events, Sunday, 4 May
No events, Monday, 5 May No events, Monday, 5 May	No events, Tuesday, 6 May No events, Tuesday, 6 May	No events, Wednesday, 7 May No events, Wednesday, 7 May	No events, Thursday, 8 May No events, Thursday, 8 May	No events, Friday, 9 May No events, Friday, 9 May	No events, Saturday, 10 May No events, Saturday, 10 May	No events, Sunday, 11 May No events, Sunday, 11 May
No events, Monday, 12 May No events, Monday, 12 May	No events, Tuesday, 13 May No events, Tuesday, 13 May	No events, Wednesday, 14 May No events, Wednesday, 14 May	No events, Thursday, 15 May No events, Thursday, 15 May	No events, Friday, 16 May No events, Friday, 16 May	No events, Saturday, 17 May No events, Saturday, 17 May	No events, Sunday, 18 May No events, Sunday, 18 May
No events, Monday, 19 May No events, Monday, 19 May	No events, Tuesday, 20 May No events, Tuesday, 20 May	No events, Wednesday, 21 May No events, Wednesday, 21 May	No events, Thursday, 22 May No events, Thursday, 22 May	No events, Friday, 23 May No events, Friday, 23 May	No events, Saturday, 24 May No events, Saturday, 24 May	No events, Sunday, 25 May No events, Sunday, 25 May
No events, Monday, 26 May No events, Monday, 26 May	No events, Tuesday, 27 May No events, Tuesday, 27 May	No events, Wednesday, 28 May No events, Wednesday, 28 May	No events, Thursday, 29 May No events, Thursday, 29 May	No events, Friday, 30 May No events, Friday, 30 May	No events, Saturday, 31 May No events, Saturday, 31 May

Upcoming events

There are no upcoming events

Section outline

Introduction (4 on 1).

Abstract Datatypes (4 on 1).

CafeOBJ (4 on 1).

Logic (4 on 1).

Specifications: Formal and Informal - A Case Study (restricted)

Loose Specifications (4 on 1).

Model-based Specifications in Larch/C++ (4 on 1).

Proof of Correctness of Data Representations (restricted).

An Overview of Larch/C++: Behavioral Specifications for C++ Modules (original site).

Formal Specification as a Design Tool (restricted)

Term Algebras (4 on 1).

Initial Specifications (4 on 1).

Executing Specifications (4 on 1).

Specifying in the Large (4 on 1).

Case Study - A Multiple Window Environment (restricted)

A Case Study - A Lexical Analyzer (restricted)

A Gentle Introduction to CASL (original site).

Restricted Area

Password is handed out in class.

Literature

Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf: Specification of Abstract Datatypes, John Wiley & Teubner, Chichester, 1996. Amazon.at Page.

Donald Sannella, Andrzej Tarlecki: Foundations of Algebraic Specification and Formal Software Development, Springer, Berlin, 2012. Amazon.at Page.
Wolfgang Schreiner: Thinking Programs (Chapter 6, restricted).

May 2025

Section outline