Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener
|
Formal Specification and Verification Techniques SS 09
|
Contents
2009/07/16: Sheet 12 available.
- Semester: SS 2009
- Lecturer: Prof. Dr. K. Madlener
- General:
- 89-5151
- 4 h @ 45 min per week lecture (4 Std.)
Tuesday, 8.15 - 9.45 Uhr, room 48-462
thursday, 8.15 - 9.45 Uhr, room 48-462
2 h @ 45 min per week exercise
Auxiliary dates of the lecture:
- A) The mathematically exact specification and verification of
algorithms has become increasingly important in theoretical
informatics, due to the rising complexity in the area of software
development. Various mathematical models of the term algorithm lead
to different specification and verification techniques. This
lecture presents important mathematical models of algorithm and the
specification and verification techniques based on each of them,
e.g. graph rewriting as computability model, and an introduction to
Algebraic Specification and Verification.
- B) Books:
Dörr, Heiko: Efficient graph rewriting and its implementation, Springer, 1995. INF 355/021.
Ehrig, Hartmut, Mahr, Bernd: Fundamentals of algebraic specification, Springer., 1985, INF 510/038.
Baader, Nipkow: Term Rewriting and All That, Cambridge UP, 1998
Börger, Stärk : Abstract State Machines Springer
Nissanke: Formal Specification Techniques and Applications Springer 99
Astesiano, Kreowski, Krieg-Brückner: Algebraic Foundations of System Specifications (IFIP)
- C) Software-Entwicklung 1, 2, Mathematik, Formale Grundlagen der Programmierung, Logik, Entwurf und Analyse von Algorithmen.
- E) Kernveranstaltung des Lehrgebietes.
- First lecture: 2009-04-21
- Further information: KIS
- Slides for on-line reading:
1-393
- Slides for printing (4 per page):
1-393
-
printable.tex for rearranging slides for printing in further ways.
(Just type "pdflatex printable.tex" aufrufen, the slides (log.pdf) have to be in the same
directory. For further help type "texdoc pdfpages".)
Due to high costs of printing the slides on laser-printers and copiers
from your computer accounts, the slides will be printed from the printing
department, and our secretary, Mrs. Stengel will sell them. The expected price
is EUR 5 for the full set of slides. The availability will be announced here
and/or in the lecture.
-
Registration: here
after the first lecture. Name of the lecture: FSVT
- Dates:
- Mo., 13:45-15:15, room 32-439
- Fr., 11:45-13:15, room 32-439
- Sheets
2009/07/09: Sheet 11 available.
2009/07/02: Sheet 10 available.
2009/06/25: Sheet 9 available.
2009/06/18: Sheet 8 available.
2009/06/10: Sheet 7 available.
2009/06/10: By reason of Corpus Christi thursday's lecture is deferred to Friday 8:15 in 32-439.
2009/05/25: Sheet 6 available.
2009/05/18: By reason of Ascension Day thursday's lecture is deferred to Friday 8:15 in 32-439.
2009/05/13: Sheet 5 available.
2009/05/06: Sheet 4 available.
2009/04/29: Sheet 3 available.
2009/04/22: Sheet 2 available.
2009/04/22: Sheet 1 available.
