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

Kalender

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

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.

Dezember 2025

Abschnittsübersicht