Manfred Broy
Manfred Broy
Professor of Computer Science, Technical University of Munich
Nenhum e-mail foi confirmado - Página inicial
Citado por
Citado por
Software engineering for automotive systems: A roadmap
A Pretschner, M Broy, IH Kruger, T Stauner
2007 Future of Software Engineering, 55-71, 2007
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, And...
M Broy
Springer, 2013
Specification and development of interactive systems: Focus on streams, interfaces and refinement
M Broy, K Stølen
Springer, 2001
Challenges in automotive software engineering
M Broy
Proceedings of the 28th international conference on Software engineering, 33-42, 2006
Model-based testing of reactive systems: advanced lectures
M Broy
Springer, 2005
Model-based testing of reactive systems (Lecture notes in computer science, Vol. 3472)
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Springer: Berlin, 2005
Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar
M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner
Springer Verlag, 2005
Cyber-Physical Systems
M Broy
Springer DE, 2010
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems
E Geisberger, M Broy
Springer DE, 2012
Engineering automotive software
M Broy, IH Kruger, A Pretschner, C Salzmann
Proceedings of the IEEE 95 (2), 356-373, 2007
From MSCs to statecharts
I Krüger, R Grosu, P Scholz, M Broy
Distributed and Parallel Embedded Systems, 61-71, 1999
Partial abstract types
M Broy, M Wirsing
Acta Informatica 18 (1), 47-64, 1982
A formal model of services
M Broy, IH Krüger, M Meisinger
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (1), 5, 2007
Article 5-A Formal Model of Services
M Broy, IH Kruger, M Meisinger
ACM Transactions on Software Engineering and Methodology-TOSEM 16 (1), 2007
The design of distributed systems: an introduction to focus
F Dederichs, C Dendorfer, M Fuchs, TF Gritzner, R Weber
Mathematisches Institut and Institut für Informatik der technischen …, 1992
On hierarchies of abstract data types
M Wirsing, P Pepper, H Partsch, W Dosch, M Broy
Acta Informatica 20 (1), 1-33, 1983
Model-based Engineering of Embedded Systems: The SPES 2020 Methodology
K Pohl, H Hönninger, R Achatz, M Broy
Springer, 2012
Seamless model-based development: From isolated tools to integrated model engineering environments
M Broy, M Feilkas, M Herrmannsdoerfer, S Merenda, D Ratiu
Proceedings of the IEEE 98 (4), 526-545, 2010
What characterizes a (software) component?
M Broy, A Deimel, J Henn, K Koskimies, F Plášil, G Pomberger, W Pree, ...
Software-Concepts & Tools 19 (1), 49-56, 1998
Cyber-physical systems: imminent challenges
M Broy, MV Cengarle, E Geisberger
Large-Scale Complex IT Systems. Development, Operation and Management, 1-28, 2012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20