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

Formal Specification of Abstract Datatypes (SS 2010)

Kalender

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

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.

August 2026

Abschnittsübersicht