|
Instructors: Prof. Dr.-Ing. Heiko Mantel
Event type:
Integrated Course
Org-unit: Dept. 20 - Computer Science
Displayed in timetable as:
Mod, Spez, Sem
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
German
Min. | Max. participants:
- | -
Course Contents:
- introduction to modeling using predicate logic and algebraic concepts
- interpretation and faithfulness of formal models
- systematic construction of models and making of design decisions
- abstraction, refinement, composition, and decomposition of models
- syntax and operational semantics of programming languages
- elementary proof techniques and their use
- introduction to specification languages
- syntax and denotational semantics of specification languages
- modeling communication and coordination in concurrent systems
- taxonomy of system properties
Literature:
U. Kastens, H. Kleine Büning: Modellierung - Grundlagen und formale Methoden, Hanser
G. Winskel: The Formal Semantics of Programming Languages, MIT Press
C. A. R. Hoare: Communicating Sequential Processes, Prentice-Hall
Literature recommendations will be updated regularly.
Preconditions:
Recommended:
Participation of lecture “Automaten, formale Sprachen und Entscheidbarkeit” and “Aussagen- und Prädikatenlogik”, resepectively according knowledge.
|
