2003 - German National Academy of Sciences Leopoldina - Deutsche Akademie der Naturforscher Leopoldina – Nationale Akademie der Wissenschaften Informatics
1991 - Member of Academia Europaea
His scientific interests lie mostly in Programming language, Theoretical computer science, Software engineering, Systems engineering and Software system. Manfred Broy has included themes like Transformation and Semantic data model in his Programming language study. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Interface, Functional specification and Modular design.
The study incorporates disciplines such as Software architecture, Reactive system and Computational science in addition to Software engineering. His studies in Systems engineering integrate themes in fields like Automation, Software development and Social software engineering. His research in Software system intersects with topics in Commercial software, Reliability engineering, Risk analysis and Iterative and incremental development.
Programming language, Software engineering, Software development, Theoretical computer science and Systems engineering are his primary areas of study. His biological study spans a wide range of topics, including Software verification and validation, Software, Component-based software engineering and Software verification. He focuses mostly in the field of Software development, narrowing it down to topics relating to Software system and, in certain cases, Software architecture.
His Theoretical computer science research also works with subjects such as
His primary areas of investigation include Software engineering, Software, Systems engineering, Requirements engineering and Software development. Manfred Broy combines subjects such as Formal semantics, Software requirements specification, Business process modeling and Software requirements with his study of Software engineering. His studies deal with areas such as Embedded system and Formal specification as well as Software.
His work is dedicated to discovering how Systems engineering, Software Engineering Process Group are connected with Package development process and other disciplines. His study on Social software engineering and Software construction is often connected to Abstraction as part of broader study in Software development. The Liveness research he does as part of his general Programming language study is frequently linked to other disciplines of science, such as Section, therefore creating a link between diverse domains of science.
Manfred Broy mainly focuses on Software engineering, Software, Systems engineering, Embedded system and System model. His Software engineering research is multidisciplinary, incorporating perspectives in View model, Interface, Theme and Software development. In the subject of general Software, his work in Requirements analysis, Requirements management and Requirements elicitation is often linked to Diversity, thereby combining diverse domains of study.
His work deals with themes such as Service-oriented architecture and Cyber-physical system, which intersect with Systems engineering. Manfred Broy interconnects Unified Modeling Language, UML tool, Interface and System requirements specification in the investigation of issues within System model. Manfred Broy integrates many fields in his works, including Abstraction and Theoretical computer science.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Challenges in automotive software engineering
Manfred Broy.
international conference on software engineering (2006)
Model-Based Testing of Reactive Systems, Advanced Lectures
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
Lecture Notes in Computer Science (2005)
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Manfred Broy;Ketil Stølen.
(2001)
Software Engineering for Automotive Systems: A Roadmap
A. Pretschner;M. Broy;I.H. Kruger;T. Stauner.
international conference on software engineering (2007)
Engineering Automotive Software
M. Broy;I.H. Kruger;A. Pretschner;C. Salzmann.
Proceedings of the IEEE (2007)
From MSCs to statecharts
Ingolf Krüger;Radu Grosu;Peter Scholz;Manfred Broy.
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems (1998)
Perspectives of System Informatics
Dines Bjørner;Manfred Broy;Alexandre V. Zamulin.
(1996)
Partial abstract types
Manfred Broy;Martin Wirsing.
Acta Informatica (1982)
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
F L Bauer;R Berghammer;M Broy;W Dosch.
(1985)
A formal model of services
Manfred Broy;Ingolf H. Krüger;Michael Meisinger.
ACM Transactions on Software Engineering and Methodology (2007)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Ludwig-Maximilians-Universität München
RWTH Aachen University
Technical University of Munich
University of Lübeck
TU Wien
RWTH Aachen University
Uppsala University
University of Duisburg-Essen
University of Stuttgart
Reutlingen University
Université Paris Cité
INRAE : Institut national de recherche pour l'agriculture, l'alimentation et l'environnement
Pacific Northwest National Laboratory
University of Ottawa
University College London
University College London
Beihang University
Technical University of Denmark
École Pratique des Hautes Études
University of Pretoria
University of Bordeaux
Langley Research Center
University of Maryland, College Park
Johns Hopkins University
University of Birmingham
University of California, Los Angeles