Nahtlose Integration in bestehende Anwendungen, die mit Visual Rules erstellt sind
Einzelschritte sind sequenziell oder nebenläufig ausführbar
www.bosch-si.comSeamless integration into existing applications modeled with Visual Rules
Sequential or concurrent processing steps
www.bosch-si.comGrundlagen der Informatik
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.
www.uni-bamberg.deFoundations of Computer Science – Informatics Theory Group
The 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.
www.uni-bamberg.deVollständigen Ablauf beschreiben
Textuelle Beschreibungen treffen häufig keine Aussagen darüber, welche Schritte nacheinander bzw. nebenläufig ausgeführt werden können und unter welchen Bedingungen dies ggf. möglich ist.
Die Abbildung in Ablaufmodellen bietet diesen Vorteil und beschreibt formal.
www.oose.deDescribe the complete process
Textual descriptions often make no statement about the step sequence or if they have to flow side by side, and under which conditions this is possible.
An activity model offers this advantage and describes this point in a formal way.
www.oose.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.