Manfred Broy

Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist, and Professor in the Institut für Informatik at the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2018
024619952018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Digitalization unleashed This interview with Manfred Broy and Christian Prehofer describes the role of Informatics and its new… (More)
Is this relevant?
2011
2011
Practitioners, who use UML as a sketching language are generally not too concerned about the precision of their models, but… (More)
Is this relevant?
2011
2011
This is a personal appreciation and snapshot view of Manfred Broy’s contributions to the research area of feature-oriented system… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2007
2007
  • Manfred Broy
  • 5th ACIS International Conference on Software…
  • 2007
This paper introduces an approach for the identification, modeling, and formalization of two methodologically essential… (More)
Is this relevant?
2007
2007
The following technical report of the Technische Universität München (TUM) describes the Requirements Engineering Reference Model… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
ten Matthias Jarke BITKOM-Präsident Willi Berchtold, der SAP-Vorstandsvorsitzende Henning Kagermann, Fraunhofer-Präsident Hans-J… (More)
Is this relevant?
2003
2003
ion as the Key for Invariant Verification. . . . . . . . . . . . . . . . . . . . . . 67 Saddek Bensalem, Susanne Graf, Yassine… (More)
Is this relevant?
1998
1998
This thesis deals with the computer-assisted veri cation of embedded systems described as Input/Output automata. We achieve… (More)
Is this relevant?
1997
1997
  • Manfred Broy
  • it+ti - Informationstechnik und Technische…
  • 1997
V Professor Dr. Manfred Broy ist Ordinarius für Informatik an der Technischen Universität München. Sein Hauptarbeitsgebiet sind… (More)
Is this relevant?
1996
1996
We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport. As part of the… (More)
  • figure 6
  • figure 7
Is this relevant?