Abschnitt: Topic 1 | Formal Specification of Abstract Datatypes (SS 2010)

Kalender

Montag	Dienstag	Mittwoch	Donnerstag	Freitag	Samstag	Sonntag
		Keine Termine, Mittwoch, 1. Oktober Keine Termine, Mittwoch, 1. Oktober	Keine Termine, Donnerstag, 2. Oktober Keine Termine, Donnerstag, 2. Oktober	Keine Termine, Freitag, 3. Oktober Keine Termine, Freitag, 3. Oktober	Keine Termine, Samstag, 4. Oktober Keine Termine, Samstag, 4. Oktober	Keine Termine, Sonntag, 5. Oktober Keine Termine, Sonntag, 5. Oktober
Keine Termine, Montag, 6. Oktober Keine Termine, Montag, 6. Oktober	Keine Termine, Dienstag, 7. Oktober Keine Termine, Dienstag, 7. Oktober	Keine Termine, Mittwoch, 8. Oktober Keine Termine, Mittwoch, 8. Oktober	Keine Termine, Donnerstag, 9. Oktober Keine Termine, Donnerstag, 9. Oktober	Keine Termine, Freitag, 10. Oktober Keine Termine, Freitag, 10. Oktober	Keine Termine, Samstag, 11. Oktober Keine Termine, Samstag, 11. Oktober	Keine Termine, Sonntag, 12. Oktober Keine Termine, Sonntag, 12. Oktober
Keine Termine, Montag, 13. Oktober Keine Termine, Montag, 13. Oktober	Keine Termine, Dienstag, 14. Oktober Keine Termine, Dienstag, 14. Oktober	Keine Termine, Mittwoch, 15. Oktober Keine Termine, Mittwoch, 15. Oktober	Keine Termine, Donnerstag, 16. Oktober Keine Termine, Donnerstag, 16. Oktober	Keine Termine, Freitag, 17. Oktober Keine Termine, Freitag, 17. Oktober	Keine Termine, Samstag, 18. Oktober Keine Termine, Samstag, 18. Oktober	Keine Termine, Sonntag, 19. Oktober Keine Termine, Sonntag, 19. Oktober
Keine Termine, Montag, 20. Oktober Keine Termine, Montag, 20. Oktober	Keine Termine, Dienstag, 21. Oktober Keine Termine, Dienstag, 21. Oktober	Keine Termine, Mittwoch, 22. Oktober Keine Termine, Mittwoch, 22. Oktober	Keine Termine, Donnerstag, 23. Oktober Keine Termine, Donnerstag, 23. Oktober	Keine Termine, Freitag, 24. Oktober Keine Termine, Freitag, 24. Oktober	Keine Termine, Samstag, 25. Oktober Keine Termine, Samstag, 25. Oktober	Keine Termine, Sonntag, 26. Oktober Keine Termine, Sonntag, 26. Oktober
Keine Termine, Montag, 27. Oktober Keine Termine, Montag, 27. Oktober	Keine Termine, Dienstag, 28. Oktober Keine Termine, Dienstag, 28. Oktober	Keine Termine, Mittwoch, 29. Oktober Keine Termine, Mittwoch, 29. Oktober	Keine Termine, Donnerstag, 30. Oktober Keine Termine, Donnerstag, 30. Oktober	Keine Termine, Freitag, 31. Oktober Keine Termine, Freitag, 31. Oktober

Aktuelle Termine

Keine weiteren Termine

Abschnittsübersicht

Presentations

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.

Oktober 2025

Abschnittsübersicht