Die Arbeitsgebiete der Professur sind Mathematische Methoden für Spezifikation, Entwurf, Validierung komplexer informationstechnischer Systeme, insbesondere für physikalisch verteilte und nebenläufig operierende Anwendungen mit zentralen Fragestellungen wie :
Synchronisationsmechanismen, Übergang zwischen Synchronie und Asynchronie, Abstraktion und Verfeinerung, Constraints und Kompositionalitätsproblem, Semantik modellorientierter Entwurfssprachen.
Forschung - Grundlagen der Informatik
www.uni-bamberg.deThe research group ’ s fields of activity are mathematical methods for the specification, design and validation of complex software and hardware systems, particularly physically distributed and concurrently operating applications.
Among the central issues addressed are synchronization mechanisms, the transition between synchrony and asynchrony, abstraction and refinement, compositionality problems, and the semantics of model-driven design languages.
Research Projects - Foundations of Computer Science – Informatics Theory Group
www.uni-bamberg.de是否要添加一些单词、短语或翻译？
请发送新条目。