Persönliches Profil
Kompetenzen im Bereich UN SDGs
2015 einigten sich UN-Mitgliedstaaten auf 17 globale Ziele für nachhaltige Entwicklung (Sustainable Development Goals, SDGs) zur Beendigung der Armut, zum Schutz des Planeten und zur Förderung des allgemeinen Wohlstands. Die Arbeit dieser Person leistet einen Beitrag zu folgendem(n) SDG(s):
-
SDG 3 – Gute Gesundheit und Wohlergehen
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Manfred Broy aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
-
Designing Concurrent Distributed Systems by Interface Contracts
Broy, M., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, S. 234-250 17 S. (Lecture Notes in Computer Science; Band 15471 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
It’s the Specification, Stupid!
Broy, M., Ruess, H. & Shankar, N., 1 Dez. 2025, in: Communications of the ACM. 68, 12, S. 22-24 3 S.Publikation: Beitrag in Fachzeitschrift › Kommentar/Debatte
-
The Effects of Hype in the Software Domain: Causes, Consequences, and Mitigations
Broy, M. & Selic, B., 2025, in: IEEE Software. 42, 2, S. 98-102 5 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
1 Zitat (Scopus) -
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems
Broy, M., 5 Sept. 2024, in: Formal Aspects of Computing. 36, 3, 16.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Captured: Compositional and Modular Approaches to Concurrency
Broy, M., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, S. 24-45 22 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band LNCS 14780).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung