Fakultät für Informatik

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

TUM
 
 

2014


PDF-Datei Manfred Broy, Marco Kuhrmann
Projektorganisation und Management im Software Engineering
In IT Freelancer Magazin, pp. 8--9, 2014
Journal article   Details | Bibtex Entry | Link

2013


Manfred Broy, Marco Kuhrmann
Projektorganisation und Management im Software Engineering
Xpert.press, Springer-Verlag Berlin Heidelberg, 2013
Book   Details | Bibtex Entry | Link

2010


Daniel Mendez-Fernandez, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering
In Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), Dorina Petriu, Nicolas Rouquette, Oystein Haugen (Eds.), pp. 183--197, volume 6395/2010, Speinger Verlag, 2010
Conference paper   Details | Bibtex Entry | Link

PDF-Datei Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments
In Proceedings of the IEEE, pp. 526 - 545, volume 98, number 4, IEEE, 2010
Journal article   Details | Bibtex Entry | Link

PDF-Datei Manfred Broy, Christian Leuxner, Daniel Méndez Fernández, Lars Heinemann, Bernd Spanfelner, Wolfgang Mai, Rainer Schlör
Towards a Formal Engineering Approach for SOA
Technical Report, pp. 14, , 2010
Technical Report   Details | Bibtex Entry | Link

PDF-Datei Marco Kuhrmann, Georg Kalus, Eugen Wachtel, Manfred Broy
Visual Process Model Design using Domain-specific Languages
In Proceedings of SPLASH Workshop on Flexible Modeling Tools 2010, ACM Press, 2010
Conference paper   Details | Bibtex Entry

2009


PDF-Datei Manfred Broy, Mario Gleirscher, Peter Kluge, Wolfgang Krenzer, Stefano Merenda, Doris Wild
Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description.
Technical Report, number TUM-I0915, , 2009
Technical Report   Details | Bibtex Entry

PDF-Datei Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer
Entwicklung eines Leitfadens für das Requirements Engineering softwareintensiver Eingebetteter Systeme
Technical Report, , 2009
Technical Report   Details | Bibtex Entry | Link

Broy,, M. and Leuxner,, C. and Sitou,, W. and Spanfelner,, B. and Winter,, S.
Formalizing the notion of adaptive system behavior
In SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing, pp. 1029--1033, ACM, 2009
Conference paper   Details | Bibtex Entry | Link

Christian Bartelt, Manfred Broy, Christoph Herrmann, Erik Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider
Orchestration of Global Software Engineering Projects
In Proceedings of the Third International Workshop on Tool Support Development and Management in Distributed Software Projects, collocated with the Fourth IEEE International Conference on Global Software, pp. 332--337, IEEE Computer Society, 2009
Conference paper   Details | Bibtex Entry

Stefan Wagner, Manfred Broy, Florian Deissenboeck, Peter Liggesmeyer
Tagungsband 2. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB \'09)
Technical Report, , 2009
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Andreas Fleischman, Shareeful Islam, Leonid Kof, Klaus Lochman, Christian Leuxner, Birgit Penzenstadler, Daniel Mendez Fernandez, Wassiou Sitou, Sebastian Winter
Towards an Integrated Approach to Requirement Engineering
Technical Report, number TUM-INFO-12-I0935-0/1.-FI, , 2009
Technical Report   Details | Bibtex Entry | Link

Broy, Fleischmann, Islam, Kof, Lochmann, Leuxner, Penzenstadler, Mendez, Sitou, Winter
Towards an Integrated Approach to Requirement Engineering
Technical Report, pp. 73, , 2009
Technical Report   Details | Bibtex Entry | Link

2008


PDF-Datei Martin Fritzsche, Manfred Broy
Criteria for the Evaluation of Requirements Engineering Methods in a Change Intensive Environment
Technical Report, number TUM-I0829, , 2008
Technical Report   Details | Bibtex Entry

PDF-Datei Stefan Wagner, Manfred Broy, Florian Deissenboeck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit
Eine Forschungsagenda für Softwarequalität
In , , 2008
Conference paper   Details | Bibtex Entry

Manfred Broy, Ingolf H. Krüger, and Michael Meisinger (Eds.)
Model-Driven Development of Reliable Automotive Services
Lecture Notes in Computer Science, number 4922, Springer, Heidelberg, 2008
Book   Details | Bibtex Entry | Link

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang Paul and Maria Spichkova
On the correctness of upper layers of automotive systems
In Formal Aspects of Computing, pp. 637-662, volume 20, number 6, 2008
Journal article   Details | Bibtex Entry | Link

PDF-Datei Manfred Broy, Martin Feilkas, Johannes Grünbauer, Alexander Gruler, Alexander Harhurin, Judith Hartmann, Birgit Penzenstadler, Bernhard Schätz, Doris Wild
Umfassendes Architekturmodell für das Engineering eingebetteter Software-intensiver Systeme
Technical Report, number TUM-I0816, , 2008
Technical Report   Details | Bibtex Entry

PDF-Datei Stefan Wagner, Manfred Broy, Florian Deissenboeck, Jürgen Münch, Peter Liggesmeyer (Hrsg.)
Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB \'08)
Technical Report, , 2008
Technical Report   Details | Bibtex Entry

2007


Manfred Broy, Ingolf Krüger, Michael Meisinger
A formal model of services
In ACM Transactions on Software Engineering Methodology (TOSEM), volume 16, number 1, ACM Press New York, NY, USA, 2007
Journal article   Details | Bibtex Entry | Link

Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz
Ein Requirements Engineering Referenzmodell
In GI Informatik Spektrum, pp. 127-142, volume 30, number 3, 2007
Journal article   Details | Bibtex Entry

Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann , Bernhard Schätz, Maria Spichkova, Doris Wild
Modeling CoCoME with Focus/AutoFocus
In The Common Component Modeling Example. Comparing Software Component Models, volume 5153, Springer, 2007
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Semantics of UML, Towards a System Model for UML, Part 2: The Control Model
Technical Report, , 2007
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Semantics of UML, Towards a System Model for UML, Part 3: The State Machine Model
Technical Report, , 2007
Technical Report   Details | Bibtex Entry

2006


Manfred Broy, Ingolf Krüger, Michael Meisinger (Eds.)
Automotive Software - Connected Services in Mobile Networks
LNCS, volume 4147, Springer, 2006
Book   Details | Bibtex Entry | Link

Manfred Broy, Marco Kuhrmann
Das V-Modell XT - Stand und Zukunft des IT-Standards
In , pp. 34-36, Vogel IT-Medien GmbH, 2006
Journal article   Details | Bibtex Entry | Link

PDF-Datei Manfred Broy, Florian Deissenboeck, Markus Pizka
Demystifying Maintainability
In Proceedings of the 4th Workshop on Software Quality, 4th Workshop on Software Quality (Eds.), 2006
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Andreas Rausch, Thomas Ternite, David Bettencourt da Cruz, Marco Kuhrmann
IT-Projekte erfolgreich mit dem neuen V-Modell XT
Technical Report, number TUM-I0616, , 2006
Technical Report   Details | Bibtex Entry

PDF-Datei Eva Geisberger, Manfred Broy, Brian Berenbach, Jürgen Kazmeier, Daniel Paulish, Arnold Rudorfer
Requirements Engineering Reference Model (REM)
Technical Report, number TUM-I0924, , 2006
Technical Report   Details | Bibtex Entry

PDF-Datei Eva Geisberger, Manfred Broy ,Brian Berenbach, Juergen Kazmeier, Daniel Paulish, Arnold Rudorfer
Requirements Engineering Reference Model (REM)
Technical Report, pp. 83, number TUM-I0618, , 2006
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Semantics of UML. Towards a System Model for UML. The Structural Data Model
Technical Report, , 2006
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Norbert Diernhofer, Johannes Grünbauer, Michael Meisinger, Martin Rappl, Sabine Rittmann, Bernhard Schätz, Maurice Schoenmakers, Bernd Spanfelner
Service-Oriented Development - Whitepaper
Technical Report, , 2006
Technical Report   Details | Bibtex Entry | Link

2005


Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (Eds.)
Engineering Theories of Software Intensive Systems
Springer Verlag, 2005
Book   Details | Bibtex Entry

PDF-Datei Manfred Broy, Andreas Rausch, Marc Sihling, Marco Kuhrmann
IT-Projekte erfolgreich mit dem neuen V-Modell XT
Technical Report, number TUM-I0508, , 2005
Technical Report   Details | Bibtex Entry

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Model-based Testing of Reactive Systems
LNCS, volume 3472 , Springer Verlag, 2005
Book   Details | Bibtex Entry

2003


M. Broy, Edsger Dijkstra
An Independent and Rigorous Mind
pp. 88 - 96, 2003
Publication   Details | Bibtex Entry

M. Broy
Automotive Software Engineering
In 25th International Conference on Software Engineering, pp. 719 - 720, IEEE 2003, 2003
Conference paper   Details | Bibtex Entry

PDF-Datei Gerd Beneken, Ulrike Hammerschall, Manfred Broy, Maria Victoria Cengarle, Jan Jürjens, Bernhard Rumpe, Maurce Schoenmakers
Componentware - State of the Art 2003
In Proceedings of the CUE Workshop Venedig, 2003
Conference paper   Details | Bibtex Entry

M. Broy
Engineering Software Intensive Systems. Keynote
In Fourth International Conference on Software Engineering, Artificial Intellligence, Networking and Parallel/Distributed Computing, W. Dosch, R.Y. Lee (Eds.), pp. 1 - 11, ACIS, 2003
Conference paper   Details | Bibtex Entry

M. Broy
Hierarchies of Models for Embedded Systems
In First ACM and IEEE Conference on Formal Methods and Models for Co-Design, pp. 183 - 190, IEEE Computer Society, 2003
Conference paper   Details | Bibtex Entry

PDF-Datei A. Alkassar, M. Broy, F. Gehring, M. Garschhammer, H.-G. Hegering, P. Keil, H. Kelter, U. Löwer, M. Pankow, A. Picot, A.-R. Sadeghi, M. Schiffers
Kommunikations- und Informationstechnik 2010+3: Neue Trends und Entwicklungen in Technologie, Anwendungen und Sicherheit
2003
Book   Details | Bibtex Entry

M. Broy
Modeling Services and Layered Architectures
H. König, M. Heiner, A. Wolisz (Eds.), pp. 48 - 61, number LNCS 2767, Springer, 2003
Book chapter   Details | Bibtex Entry

Manfred Broy, Ralf Steinbrüggen
Modellbildung in der Informatik
Springer-Verlag, 2003
Book   Details | Bibtex Entry

PDF-Datei Manfred Broy, Markus Pizka (Eds.)
Models, Algebras and Logic of Engineering Software
III: Computer and Systems Sciences, volume 191, number ISBN 1-58603-342-5, IOS Press, 2003
Book   Details | Bibtex Entry

M. Broy
Multi-view Modeling of Software Systems. Keynote
2003
Publication   Details | Bibtex Entry

PDF-Datei Markus Pizka, Manfred Broy
Success and Failure of 1000 First Semester CS Students
In Computers and Advanced Technology in Education - CATE 2003, Vladimir Uskov (Eds.), pp. 771 - 776, ACTA Press, 2003
Conference paper   Details | Bibtex Entry

Peter Braun, Manfred Broy, María Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl, Robert Sandner
The automotive CASE
M. Nagl, B. Westfechtel (Eds.), pp. 211 - 228, Wiley, 2003
Book chapter   Details | Bibtex Entry

2002


M. Broy
Abstractions from time
A. McIver, C. Morgan (Eds.), pp. 95 - 107, Springer, 2002
Book chapter   Details | Bibtex Entry

I. Krüger, W. Prenninger, R. Sandner, M. Broy
From Scenarios to Hierarchical Broadcasting Software Architectures using UML-RT
In International Journal of Software Engineering and Knowledge Engineering (IJSEKE) 12:4, Y. Deng (Eds.), pp. 1 - 20, World Scientific, 2002
Journal article   Details | Bibtex Entry

PDF-Datei Klaus Bender, Manfred Broy, Istvan Peter, Alexander Pretschner, Thomas Stauner
Model based development of hybrid systems: specification, simulation, test case generation
number LNCS 279, Springer, 2002
Book chapter   Details | Bibtex Entry

M. Broy
Object-oriented Programming and Software Development – A Critical Assessment
A. McIver, C. Morgan (Eds.), pp. 211 - 222, Springer, 2002
Book chapter   Details | Bibtex Entry

M. Broy, J. Siedersleben
Objektorientierte Programmierung und Softwareentwicklung: Eine kritische Einschätzung
In Informatik Spektrum 3, pp. 3 - 11, 2002
Journal article   Details | Bibtex Entry

M. Broy, D. Rombach
Software Engineering. Wurzeln, Stand und Perspectiven
In Informatik Spektrum 25:6, pp. 438 - 451, 2002
Journal article   Details | Bibtex Entry

M. Broy, E. Denert (Eds.)
Software Pioneers
Springer, 2002
Book   Details | Bibtex Entry

A. Pink, H. Koßmann, M. Broy, E. Kargl, M. Lagally, T. Schimper
Software-Entwicklung für Kommunikationsnetze
Springer, 2002
Publication   Details | Bibtex Entry

Peter Braun, Manfred Broy, María Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl, Robert Sandner
The Automotive CASE
In , 2002
Conference paper   Details | Bibtex Entry

M. Broy
Unifying Models and Engineering Theories of Composed Software Systems
In Models, Algebra and Logic of Engineering Software. Marktoberdorf Summer School 2002, M. Broy, M. Pizka (Eds.), Series F: Computer and System Sciences, volume 191, Springer, 2002
Conference paper   Details | Bibtex Entry

2001


Michael von der Beeck, Peter Braun, Manfred Broy, Martin Rappl
A fundamental critique of the UML for the specification of embedded systems
2001
Journal article   Details | Bibtex Entry

PDF-Datei Manfred Broy, Michael Gnatz, Ingolf Krüger, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin (Hrsg)
ADL-Workshop München 2001
, 2001
Book   Details | Bibtex Entry

Tony Hoare, Manfred Broy, Ralf Steinbrüggen (Eds.)
Engineering Theories of Software Construction
NATO Science Series, volume III 180, IOS Press, 2001
Book   Details | Bibtex Entry

M. Broy
From States to Histories: Relating States and History Views onto Systems
T. Hoare, M. Broy, R Steinbrüggen (Eds.), pp. 149 - 186, Springer NATO ASI Series, volume 180, IOS Press, 2001
Book chapter   Details | Bibtex Entry

PDF-Datei Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
Methodik, Sprachen und Grundlagen des Software Engineering - Abschlußbericht des Forschungslabors SysLab (1.10.94 - 30.9.99)
In Informatik: Forschung und Entwicklung, pp. 53 - 59, number 16(1), Springer-Verlag, 2001
Journal article   Details | Bibtex Entry

B. Björner, M. Broy, A.V. Zamulin (Eds.)
Perspectives of System Informatics. 4th International Andrei Ershov Memorial Conference
number LNCS 2244, Springer, 2001
Book   Details | Bibtex Entry

M. Broy, S. Hartkopf, K. Kohler, D. Rombach
Software Development in Germany: A Survey
In Informatik Spektrum 24:2, pp. 81 - 90, 2001
Journal article   Details | Bibtex Entry

M. Broy, K. Stoelen
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Springer, 2001
Publication   Details | Bibtex Entry

M. Broy
Specification and Modeling: An Academic Perspective
In ICSE 2001, 23rd International Conference on Software Engineering, pp. 673 - 675, IEEE Computer Society, 2001
Conference paper   Details | Bibtex Entry

PDF-Datei Jan Jürjens, Guido Wimmel
Specification-based Testing of Firewalls
In Andrei Ershov 4th International Conference "Perspectives of System Informatics" (PSI'01), Novosibirsk, Russia, D. Bjorner, M. Broy, A. Zamulin (Eds.), Springer-Verlag, 2001
Conference paper   Details | Bibtex Entry

M. Broy
Toward a Mathematical Foundation of Software Engineering Methods
In IEEE Transactions on Software Engineerring 27:1, pp. 42 - 57, 2001
Journal article   Details | Bibtex Entry

M. Broy, E.-R. Olderog
Trace-Oriented Models of Concurrency
J.A. Bergstra, A. Ponse, S. A. Smolka (Eds.), pp. 101 - 195, Elsevier Science B.V., 2001
Book chapter   Details | Bibtex Entry

M. Broy, B. Rumpe
Übungen zur Einführung in die Informatik Strukturierte Aufgabensammlung mit Musterlösungen
Springer-Verlag, 2001
Book   Details | Bibtex Entry

2000


K. Bergner, A. Rausch, M. Sihling, A. Vilbig, M. Broy
A Formal Model for Componentware
G. T. Leavens, M. Sitaraman (Eds.), pp. 189 - 210, Cambrige University Press, 2000
Book chapter   Details | Bibtex Entry

M. Broy, M. Wirsing
Algebraic State Machines
In Proc. 8th Int. Conf. Algebraic Methodology and Software Technology, AMAST 2000, T. Rus (Eds.), number LNCS 1816, Springer, 2000
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Michael Gnatz, Frank Marschall, Sascha Molterer, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin (Hrsg.)
Architektur-Workshop München 2000
, 2000
Book   Details | Bibtex Entry

M. Broy
Dynamic Distributed Systems
In 2000 Monterey Workshop on Modelling Software System Structures in a Fastly Moving Scenario, pp. 86 - 97, 2000
Conference paper   Details | Bibtex Entry

M. Broy
From States to Histories
D. Bert, Ch. Choppy, P. Mosses (Eds.), pp. 22 - 36, number LNCS 1827, Springer, 2000
Book chapter   Details | Bibtex Entry

M. Broy, H.-G. Hegering, A. Picot, A. Buttermann, M. Garschhammer, R. Hauck, S. Vogel
Kommunikations- und Informationstechnik 2010 – Trends in Technologie und Markt
SecuMedia Verlag, 2000
Publication   Details | Bibtex Entry

D. Bjorner, M. Broy, A.V. Zamulin (Eds.)
Perspectives of System Informatics
2000
Publication   Details | Bibtex Entry

M. Broy, H. Ehler, B. Paech, B. Rumpe, V. Thurner
Software Engineering
number ISBN 3-934155-52-9, TCW Transfer Centrum, 2000
Book   Details | Bibtex Entry

M. Broy, D. Rombach
Studie für das BMBF „Analyse und Evaluation der Software-Entwicklung in Deutschland"
2000
Publication   Details | Bibtex Entry

PDF-Datei Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
SysLab - Abschlußbericht
Technical Report, number TUM-I0008, , 2000
Technical Report   Details | Bibtex Entry

M. Broy
The Essence of Message Sequence Charts. Keynote Speech
In Proceedings of the International Symposium on Multimedia Software Engineering, pp. 42 - 47, IEEE Computer Society, 2000
Conference paper   Details | Bibtex Entry

Manfred Broy, Bernhard Rumpe
Übungen zur Einführung in die Informatik - Strukturierte Aufgabensammlung mit Musterlösungen
Naucnii Mir Verlag, 2000
Book   Details | Bibtex Entry

M. Broy
Von der belehrten zur lernenden Gesellschaft
In FOURUMTTN: Technik, Theologie, Naturwissenschaften 3, pp. 15 - 27, 2000
Journal article   Details | Bibtex Entry

1999


R. Grosu, M. Broy, B. Selic, B. Rumpe
A formal foundation for UML-RT
1999
Publication   Details | Bibtex Entry

Birgit Schieder, Manfred Broy
Adapting Calculational Logic to the Undefined
In The Computer Journal, volume 42, number 2, 1999
Journal article   Details | Bibtex Entry

E. Astesiano, M. Broy, G. Reggio
Algebraic Specification of Concurrent Systems
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), pp. 467 - 520, Springer, 1999
Book chapter   Details | Bibtex Entry

PDF-Datei Manfred Broy, Franz Huber, Bernhard Schätz
AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
In Informatik Forschung und Entwicklung, Theo Härder, Stefan Jähnichen (Eds.), pp. 121--134, number 13(3), Springer Verlag, 1999
Journal article   Details | Bibtex Entry

M. Broy, R Steinbrüggen (Eds.)
Calculational System Design
NATO ASI Series, Series F: Computer and System Sciences, volume 158, IOS Press, 1999
Book   Details | Bibtex Entry

P. Hubwieser, M. Broy
Educating Surfers or Craftsmen: Introducing an ICT Curriculum for the 21st century
In Communications and Networking in Education: Learning in a Networked Society. IFIP WG 3.1 and 3.5 Open Conference, T. Downes, D. Watson (Eds.), pp. 162 - 170, number ISBN 951-45-8627-1, 1999
Conference paper   Details | Bibtex Entry

M. Broy, O. Slotosch
Enriching the Software Engineering Process by Formal Methods
pp. 1 - 43, number LNCS 1641, Springer, 1999
Book chapter   Details | Bibtex Entry

PDF-Datei Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
Focusing on Mobility
In Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences, Ralph H. Sprague, Jr. (Eds.), IEEE Computer Society, 1999
Conference paper   Details | Bibtex Entry

PDF-Datei Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
From MSCs to Statecharts
pp. 61 - 71, Kluwer Academic Publishers, 1999
Publication   Details | Bibtex Entry

M. Broy, J. Schmidt
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin?
In Informatik Spektrum 22, pp. 206 - 209, Springer, 1999
Journal article   Details | Bibtex Entry

M. Broy, Th. Stauner
Requirements Engineering für eingebettete Systeme
In it+ti, pp. 7 - 11, number 2/99, 1999
Journal article   Details | Bibtex Entry

M. Broy
Software technology - formal models and scientific foundations
In Information and Software Technology 41: 14, pp. 947 - 950, 1999
Journal article   Details | Bibtex Entry

M. Broy
Towards a Logical Basis of Software Engineering
pp. 101 - 131, NATO ASI Series, Series F: Computer and System Sciences, volume 158, Springer, 1999
Publication   Details | Bibtex Entry

1998


M. Broy
A Logical Basis for Modular Software and Systems Engineering
B. Rovan (Eds.), pp. 19 - 35, number LNCS 1521, Springer, 1998
Book chapter   Details | Bibtex Entry

PDF-Datei Radu Grosu, Thomas Stauner, Manfred Broy
A Modular Visual Model for Hybrid Systems
pp. 75 - 91, number LNCS 1486, Springer-Verlag, 1998
Publication   Details | Bibtex Entry

M. Broy, P. Scholz
Anforderungsspezifikation und Entwurf eingebetteter Softwaresystem im Kfz
pp. 107 - 118, 1998
Publication   Details | Bibtex Entry

M. Broy
Appendix: A Unifom Model of Component
pp. 57 - 60, 1998
Publication   Details | Bibtex Entry

PDF-Datei Manfred Broy
Compositional Refinement of Interactive Systems Modelled by Relations
In International Symposium Compositionality, pp. 130 - 149, number LNCS 1536, Springer, 1998
Conference paper   Details | Bibtex Entry

M. Broy
Informatik - eine grundlegende Einführung
Springer, 1998
Book   Details | Bibtex Entry

M. Broy, O. Spaniol (Eds.)
Informatik und Kommunikationstechnik
Springer, 1998
Book   Details | Bibtex Entry

PDF-Datei Manfred Broy, Ingolf Krüger
Interaction Interfaces -- Towards a scientific foundation of a methodological usage of Message Sequence Charts
In Formal Engineering Methods (ICFEM'98), J. Staples, M. G. Hinchey, Shaoying Liu Hinchey, Shaoying Liu (Eds.), pp. 2 - 15, IEEE Computer Society, 1998
Conference paper   Details | Bibtex Entry

M. Broy
Kultur in der Informationsgesellschaft - die digitale Revolution frißt ihre Eltern - Einschätzungen aus Sicht eines Infomatikers
pp. 65 - 70, 1998
Publication   Details | Bibtex Entry

M. Broy
On the Meaning of Message Sequence Charts (Key Note)
In Proceedings of the1st Workshop of the SDL Forum Society Workshop on SDL & MSC, Berlin, Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), pp. 13 - 34, volume 1, 1998
Conference paper   Details | Bibtex Entry

M. Broy
Pragmatic and Formal Specification of System Properties by Tables
Technical Report, number TUM-I9802, , 1998
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Derek Coleman, Tom S. E. Maibaum, Bernhard Rumpe
PSMT -- ICSE'98 Workshop on Precise Semantics for Software Modeling Techniques
In Proceedings of International Conference on Software Engineerig (ICSE'98) Addendum, volume 2, IEEE Computer Society, 1998
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Derec Coleman, Tom S. E. Maibaum, Bernhard Rumpe
PSMT'98- Workshop on Precise Semantics for Software Modeling Techniques
Technical Report, number TUM-I9803, , 1998
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Bernhard Rumpe (Eds.)
Requirements Targeting Software and Systems Engineering
number LNCS 1526, Springer-Verlag, 1998
Book   Details | Bibtex Entry

M. Broy, M. von der Beeck, I. Krüger
SOFTBED: Problemanalyse für das Großverbundprojekt ”Systemtechnik Automobil - Software für eingebettete Systeme”
1998
Publication   Details | Bibtex Entry

PDF-Datei Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Software and System Modeling Based on a Unified Formal Semantics
In Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, Benried, Germany, Manfred Broy, Bernhard Rumpe (Eds.), pp. 43 - 68, number LNCS 1526, Springer Verlag, 1998
Conference paper   Details | Bibtex Entry

PDF-Datei R. Grosu, M. Broy, B. Selic, Gh. Stefanescu
Towards a Calculus for UML-RT Specifications
In Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada, Haim Kilov, Bernhard Rumpe, Ian Simmonds (Eds.), , 1998
Journal article   Details | Bibtex Entry

PDF-Datei R. Grosu, G. Stefanescu, M. Broy
Visual Formalisms Revisited
In CSD '98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima, L. Lavagno, W. Reisig (Eds.), IEEE Computer Society Press, 1998
Conference paper   Details | Bibtex Entry

M. Broy, A. Deimel, J. Henn, K. Koskimies, F. Plasil, G. Pomberger, W. Pree, M. Stal, C. Szyperski
What Characterizes a Software Component: Software Concepts & Tools 19:1
pp. 49 - 56, 1998
Publication   Details | Bibtex Entry

Manfred Broy, Bernhard Rumpe
Workshop on Requirements Targeting Software Engineering
In RTSE'97, (Springer LNCS 1526 contains revised versions of this articles), number TUM-I9807, , 1998
Conference paper   Details | Bibtex Entry

1997


PDF-Datei R. Grosu, K. Stoelen, M. Broy
A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing
Technical Report, number TUM-I9724, , 1997
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
A Graphical Description Technique for Communication in Software Architectures
Technical Report, number TUM-I9705, , 1997
Technical Report   Details | Bibtex Entry

R. Grosu, K. Stoelen, M. Broy
A Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing
Technical Report, number 342/17/97A, 1997
Technical Report   Details | Bibtex Entry

M. Broy
Abstract Semantics of Synchronous Languages: The Example ESTEREL
Technical Report, number TUM-I9706, , 1997
Technical Report   Details | Bibtex Entry

P. Hubwieser, M. Broy
Ein neuer Ansatz für den Informatikunterricht am Gymnasium
In LOG IN 17, pp. 42 - 47, number 3/4, 1997
Journal article   Details | Bibtex Entry

Manfred Broy, Stephan Merz, Katharina Spies
Formal Systems Specification -- The RPC-Memory Specification Case Study
number LNCS 1169, 1997
Book   Details | Bibtex Entry

P. Hubwieser, M. Broy
Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht
In Informatik und Lernen in der Informationsgesellschaft. 7. GI-Fachtagung Informatik und Schule Duisburg 1997, H.U. Hoppe, W. Luther (Eds.), pp. 40 - 50, Springer, 1997
Conference paper   Details | Bibtex Entry

M. Broy
Informatik - eine grundlegende Einführung
Springer, 1997
Book   Details | Bibtex Entry

PDF-Datei Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner
Innovation durch Kooperation im Software-Engineering
In , M. Jarke, K. Pasedach, K. Pohl (Eds.), pp. 503 - 504, Springer-Verlag, 1997
Conference paper   Details | Bibtex Entry

M. Broy
Interactive and Reactive Systems: States, Observations, Experiments and all that ...
Ch. Freksa, M. Jantzen, R. Valk (Eds.), pp. 279 - 286, number LNCS 1337, Springer, 1997
Book chapter   Details | Bibtex Entry

PDF-Datei Manfred Broy, Stefan Jähnichen
KORSO -- Korrekte Software durch formale Methoden
In Informatik Forschung und Entwicklung, A. Endres (Eds.), pp. 157 - 160, number 12 (3), Springer, 1997
Journal article   Details | Bibtex Entry

M. Broy, B. Schieder (Eds.)
Mathematical Methods in Program Development
NATO ASI Series, Series F: Computer and System Sciences, volume 158, Springer, 1997
Publication   Details | Bibtex Entry

PDF-Datei M. Broy
Mathematical Methods in System and Software Engineering
NATO ASI, Series F: Computer and System Sciences, volume 158, Springer, 1997
Publication   Details | Bibtex Entry

B. Schieder, M. Broy
On a calculational logic with undefined
pp. 108 - 117, 1997
Publication   Details | Bibtex Entry

PDF-Datei M. Broy, R. Grosu, C. Klein
Reconciling Real-Time with Asynchronous Message Passing
In FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313, J. Fitzgerald, C.B. Jones, P. Lucas (Eds.), Springer, 1997
Conference paper   Details | Bibtex Entry

PDF-Datei M. Broy
Refinement of Time
In Transformation-Based Reactive System Development, ARTS'97, M. Bertran, Th. Rus (Eds.), pp. 44 - 63, number LNCS 1231, TCS, 1997
Conference paper   Details | Bibtex Entry

PDF-Datei M. Broy
Requirements Engineering for Embedded Systems
In FemSys'97, 1997
Conference paper   Details | Bibtex Entry

M. Broy (Eds.)
Schwerpunktthema: Formale Methoden in der Praxis
number 3, 1997
Publication   Details | Bibtex Entry

M. Broy
Semantic Concepts for Software Architectures
Technical Report, pp. 241 - 260, number TUM-I9746, , 1997
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt (Eds.)
Software Architectures and Design Patterns in Business Applications
Technical Report, number TUM-I9746, , 1997
Technical Report   Details | Bibtex Entry

M. Broy
Software Engineering - eine Schlüsselfunktion für Hochtechnologie - Gefahren, Chancen, und Grenzen
pp. 127 - 156, 1997
Publication   Details | Bibtex Entry

PDF-Datei Jan Philipps, Bernhard Rumpe
Stepwise Refinement of Data Flow Architectures
In Software Architectures and Design Patterns in Business Applications, Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt (Eds.), number TUM-I9746, , 1997
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies
Summary of Case Studies in Focus - Part II
Technical Report, number TUM-I9740, , 1997
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy
The Specification of System Components by State Transition Diagrams
Technical Report, number TUM-I9729, , 1997
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies
The Steamboiler Specification - A Case Study in Focus
Technical Report, number TUM-I9714, , 1997
Technical Report   Details | Bibtex Entry

M. Broy
Towards a Mathematical Concept of a Component and its Use
In Software- Concepts and Tools 18, pp. 137 - 148, 1997
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
Using Extended Event Traces to Describe Communication in Software Architectures
In Asia-Pacific Software Engineering Conference and International Computer Science Conference, Hong Kong, IEEE Computer Society, 1997
Conference paper   Details | Bibtex Entry

M. Broy, B. Rumpe
Übungen zur Einführung in die Informatik
Springer, 1997
Book   Details | Bibtex Entry

1996


PDF-Datei Manfred Broy
A Functional Solution to the RPC-Memory Specification Problem
M. Broy, S. Merz, K. Spies (Eds.), pp. 183 - 211, number LNCS 1169, Springer-Verlag, 1996
Book chapter   Details | Bibtex Entry

P. Hubwieser, M. Broy, W. Brauer
A New Approach in Teaching Information Technologies: Shifting Emphasis form Technology to Information
In IFIP WG 3.1 & WG 3.5, International Conference, Information Technology: Supporting Change Through Teacher Education, Kiryat Anavim, Israel, 1996
Conference paper   Details | Bibtex Entry

PDF-Datei Cornel Klein, Bernhard Rumpe, Manfred Broy
A stream-based mathematical model for distributed information processing systems - SysLab system model -
In FMOODS'96, Formal Methods for Open Object-based Distributed Systems, Elie Naijm, Jean-Bernard Stefani (Eds.), pp. 323 - 338, ENST France Telecom, 1996
Conference paper   Details | Bibtex Entry

PDF-Datei Martín Abadi, Leslie Lamport, Stephan Merz
A TLA Solution to the RPC-Memory Specification problem
pp. 21 - 66, Springer-Verlag, 1996
Publication   Details | Bibtex Entry

PDF-Datei Manfred Broy
Algebraic Specification of Reactive Systems
In Algebraic Methodology and Software Technology, M. Nivat, Martin Wirsing (Eds.), pp. 487 - 503, Springer, 1996
Conference paper   Details | Bibtex Entry

M. Broy (Eds.)
Deductive Program Design
NATO ASI Series, Series F: Computer and System Sciences, volume 152, Springer, 1996
Book   Details | Bibtex Entry

P. Hubwieser, M. Broy
Der informationszentrierte Ansatz: Ein Vorschlag für eine zeitgemäße Form des Informatikunterrichts am Gymnasium
Technical Report, number TUM-I9624, , 1996
Technical Report   Details | Bibtex Entry

M. Broy
Experiences with Software Specification and Verification Using LP, the Larch Proof Assistent
In Formal Methods in System Design 8, pp. 221 - 272, 1996
Journal article   Details | Bibtex Entry

PDF-Datei M. Broy
Formal Description Techniques - How Formal and Descriptive are they
pp. 95 - 112, Chapman & Hall, 1996
Publication   Details | Bibtex Entry

M. Broy, H. Hußmann, B. Schätz
Formal Development of Consistent System Specification
M.-C. Gaudel, J. Woodcock (Eds.), pp. 248 - 267, number LNCS 1051, Springer, 1996
Book chapter   Details | Bibtex Entry

M. Broy, S. Merz, K. Spies (Eds.)
Formal Systems Specification
number LNCS 1169, Springer, 1996
Book   Details | Bibtex Entry

PDF-Datei Bernhard Schätz, Heinrich Hußmann, Manfred Broy
Graphical Development of Consistent System Specifications
In FME'96: Industrial Benefit and Advances In Formal Methods, Marie-Claude Gaudel, James Woodcock (Eds.), Springer, 1996
Conference paper   Details | Bibtex Entry

M. Broy, W. Damm, M. Eckrich, W. Mala, G. Venzl
Korrekte Software für sicherheitskritische Systeme - Das Projekt KorSys im Überblick
1996
Publication   Details | Bibtex Entry

M. Broy
Mathematik des Software-Engineering
I. Wegener (Eds.), pp. 229 - 252, Springer, 1996
Book chapter   Details | Bibtex Entry

M. Broy
On the Construction of Reliable Systems
1996
Publication   Details | Bibtex Entry

B. Björner, M. Broy, I.V. Potosin (Eds.)
Perspectives of System Informatics
number LNCS 1181, Springer, 1996
Book   Details | Bibtex Entry

M. Broy
Schneller, jünger, flexibler
H.-H. Holzamer (Eds.), pp. 100 - 103, SZ-Aktuell Olzog Verlag, 1996
Book chapter   Details | Bibtex Entry

M. Broy
Software-Engineering - von der Wissenschaft zur Anwendung in der Technik
J. Swoboda (Eds.), pp. 19 - 30, VDE Verlag, 1996
Book chapter   Details | Bibtex Entry

PDF-Datei Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy
State Transition Diagrams.
Technical Report, number TUM-I9630, , 1996
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Gheorghe Stefanescu
The Algebra of Stream Processing Functions.
Technical Report, number TUM-I9620, , 1996
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Stephan Merz, Katharina Spies (eds.)
The RPC Memory Case Study: A Synopsis
M. Broy, S. Merz, K. Spies (Eds.), pp. 1 - 4, number LNCS 1169, Springer, 1996
Book chapter   Details | Bibtex Entry

M. Broy, L. Lamport
The RPC-Memory Specification Problem - Problem Statement
M. Broy, S. Merz, K. Spies (Eds.), pp. 1 - 4, number LNCS 1169, Springer, 1996
Book chapter   Details | Bibtex Entry

PDF-Datei Manfred Broy
Towards a Mathematical Model of a Component and Its Use
In Componentware Users Conference 1996, Munich, Proceedings, SIGS Publications, 1996
Conference paper   Details | Bibtex Entry

PDF-Datei Ketil Stoelen
Using Relations on Streams to Solve the RPC-Memory Specification Problem
pp. 477 - 520, Springer-Verlag, 1996
Publication   Details | Bibtex Entry

M. Broy
Wettbewerbsvorteile durch fortgeschrittene Softwaretechnik
1996
Publication   Details | Bibtex Entry

1995


M. Broy
A Functional Specification of the Alpha AXPTM Shared Memory Model
1995
Publication   Details | Bibtex Entry

PDF-Datei Manfred Broy
Advanced Component Interface Specification
In Theory and Practice of Parallel Programming - International Workshop TPPP'94, Takaysau Ito, Akinori Yonezawa (Eds.), pp. 89 - 104, Springer, 1995
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy
Characterizing the Behavior of Reactive Systems by Trace Sets
Technical Report, number TUM-I9102, , 1995
Technical Report   Details | Bibtex Entry

PDF-Datei Bernhard Rumpe, Cornel Klein, Manfred Broy
Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell -
Technical Report, number TUM-I9510, , 1995
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy
Equations for Describing Dynamic Nets of Communicating Systems
In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, Astesiano, Reggio, Tarlecki (Eds.), pp. 170 - 187, Springer, 1995
Conference paper   Details | Bibtex Entry

M. Broy
Informatik - eine grundlegende Einführung. Teil IV
Springer Verlag, 1995
Book   Details | Bibtex Entry

M. Broy, S. Jähnichen (Eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report
Springer, 1995
Publication   Details | Bibtex Entry

PDF-Datei Manfred Broy
Mathematical System Models as a Basis of Software Engineering
In Computer Science Today, J. van Leeuwen (Eds.), pp. 292 - 306, Springer, 1995
Journal article   Details | Bibtex Entry

M. Broy
Mathematics of Software Engineering. Invited talk at MPC 95
In Mathematics of Program Construction, Lecture Notes of Computer Science 947, B. Möller (Eds.), pp. 18 - 47, Springer, 1995
Journal article   Details | Bibtex Entry

PDF-Datei Manfred Broy
On the Design and Verification of a Simple Distributed Spanning Tree Algorithm
Technical Report, number TUM-I9046, , 1995
Technical Report   Details | Bibtex Entry

PDF-Datei Martin Abadi, Stephan Merz
On TLA as a logic
In Deductive Program Design, Manfred Broy (Eds.), Springer, 1995
Journal article   Details | Bibtex Entry

M. Walicki, M. Broy
Structured Specifications and Implementation of Nondeterministic Data Types
Technical Report, number TUM-I, , 1995
Technical Report   Details | Bibtex Entry

1994


PDF-Datei Manfred Broy
A Functional Rephrasing of the Assumption/Commitment Specification Style
Technical Report, number TUM-I9417, , 1994
Technical Report   Details | Bibtex Entry

M. Broy
A Functional Solution to the Memory and RPC Specification Problem
1994
Publication   Details | Bibtex Entry

M. Broy
Informatik - eine grundlegende Einführung. Teil III
Springer, 1994
Book   Details | Bibtex Entry

PDF-Datei Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
Interpreter Verification for a Functional Language
In Proc. 14th Conf. Foundations of Software Technology and Theoretical Computer Science, P.S. Thiagarajan (Eds.), pp. 77 - 88, 1994
Conference paper   Details | Bibtex Entry

M. Broy
Sicherheit und Logik
M.-T. Tinnefeld, L. Phillips, K. Weis (Eds.), pp. 159 - 164, Oldenbourg Verlag, 1994
Book chapter   Details | Bibtex Entry

M. Broy
Software - eine andauernde Herausforderung. Siemens
1994
Publication   Details | Bibtex Entry

M. Broy
Software – Gestalten mit Sprache
In , pp. 93 - 103, number 1, 1994
Journal article   Details | Bibtex Entry

PDF-Datei Manfred Broy
Specification and Refinement of a Buffer of Length One
In Deductive Program Design, Manfred Broy (Eds.), pp. 273 - 304, ASI Series, Series F: Computer and System Sciences, volume 152, Springer, 1994
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Ketil Stoelen
Specification and Refinement of Finite Dataflow Networks - A Relational Approach
Technical Report, number TUM-I9412, , 1994
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Ketil Stoelen
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
In Proc. FTRTFT'94, Lecture Notes in Computer Science 863, H. Langmaack, W.-P. de Roever, J. Vytopil (Eds.), pp. 247 - 267, Springer, 1994
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Michal Walicki
Structured Specifications and Implementation of Nondeterministic Data Types
Technical Report, number TUM-I9442, , 1994
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Max Fuchs, Thomas F. Gritzner, Bernhard Schätz, Katharina Spies, Ketil Stølen
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
Technical Report, number TUM-I9423, , 1994
Technical Report   Details | Bibtex Entry

1993


PDF-Datei Manfred Broy
(Inter-)Action Refinement: The Easy Way
Manfred Broy (Eds.), Series F: Computer and System Sciences, volume 118, Springer NATO ASI Series, 1993
Book chapter   Details | Bibtex Entry

M. Broy, S. Jähnichen
Das BMFT-Verbundprojekt ”Korrekte Software (Korso)”
In Informatik in Forschung und Entwicklung 8, pp. 152 - 165, 1993
Journal article   Details | Bibtex Entry

D. Björner, M. Broy, I.V. Pottosin (Eds.)
Formal Methods in Programming and their Application
Springer, 1993
Book   Details | Bibtex Entry

PDF-Datei Manfred Broy
Functional Specification of Time Sensitive Communicating Systems
In ACM Transactions on Software Engeneering and Methodology 2:1, pp. 1 - 46, 1993
Conference paper   Details | Bibtex Entry

PDF-Datei Manfred Broy, Claus Dendorfer, Ketil Stoelen
HOPSA - a High-level Programming Language for Parallel Computations
In Proc. Euro-ARCH'93, Informatik aktuell, Peter Spies (Eds.), pp. 636 - 646, Springer, 1993
Conference paper   Details | Bibtex Entry

M. Broy
Informatik - eine grundlegende Einführung. Teil II
Springer Verlag, 1993
Book   Details | Bibtex Entry

M. Broy, M. Wirsing
Korrekte Software – vom Experiment zur Anwendung
In Informatik, Wirtschaft, Gesellschaft. GI Jahrestagung 1993, Informatik aktuell, H. Reichel (Eds.), pp. 29 - 44, Springer, 1993
Journal article   Details | Bibtex Entry

M. Broy (Eds.)
Program Design Calculi
NATO ASI Series, Series F: Computer and System Sciences, volume 118, Springer, 1993
Book   Details | Bibtex Entry

PDF-Datei Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hußmann, Dieter Nazareth, Franz Regensburger, Oscar Slotosch, Ketil Stølen
The Requirement and Design Specification Language SPECTRUM An Informal Introduction (V 1.0)
Technical Report, number TUM-I9311, TUM-I9312, , 1993
Technical Report   Details | Bibtex Entry

M. Broy
Zur Bewahrung unserer Autonomie vor den Automaten: Zum Menschenbild des Informatikers
In Bilder vom Menschen in Technik Wissenschaft und Religion, K. Weis (Eds.), pp. 65 - 88, , 1993
Journal article   Details | Bibtex Entry

M. Broy
Zur Beziehung zwischen der Systembeschreibung GRAPES und der Modellierung im Semantischen Objektmodell. EMSC
1993
Publication   Details | Bibtex Entry

1992


M. Broy
Algebraic and Functional Specification of an Interactive Serializable Database Interface
In Distributed Computing 6:5, pp. 5 - 18, 1992
Journal article   Details | Bibtex Entry

PDF-Datei Manfred Broy
Compositional Refinement of Interactive Systems
1992
Publication   Details | Bibtex Entry

M. Broy, M. Lehmann
Die Schutzfähigkeit von Computerprogrammen nach dem neuen europäischen und deutschem Urheberrecht
In Gewerblicher Rechtsschutz und Urheberrecht, number 7, 1992
Journal article   Details | Bibtex Entry

M. Broy, C. Dendorfer
Functional Modelling of Operating System Structures by Timed Higher Order Stream Processing Functions
In Journal of Functional Programming 2 (1), pp. 1 - 21, 1992
Journal article   Details | Bibtex Entry

M. Broy
Informatik - eine grundlegende Einführung. Teil I
Springer Verlag, 1992
Book   Details | Bibtex Entry

M. Broy, Th. Streicher
Modular Functional Modelling of Petri Nets with Individual Tokens
In Advances in Petri Nets 1992, Lecture Notes in Computer Science 609, G. Rozenberg (Eds.), pp. 70 - 88, 1992
Journal article   Details | Bibtex Entry

M. Broy
Operational and Denotational Semantics with Explicit Concurrency
In Fundamenta Informaticae 16:3, pp. 201 - 230, 1992
Journal article   Details | Bibtex Entry

M. Broy (Eds.)
Programming and Mathematical Method
NATO ASI Series, Series F: Computer and System Sciences, volume 88, Springer, 1992
Book   Details | Bibtex Entry

M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
Technical Report, number TUM-I9203, , 1992
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy, Frank Dederich, Claus Dendorfer, Max Fuchs, Thomas Gritzner, Rainer Weber
The Design of Distributed Systems - An Introduction to FOCUS
Technical Report, number TUM-I9202, , 1992
Technical Report   Details | Bibtex Entry

1991


M. Broy
Aspekte der Zuverlässigkeit bei der Spezifikation von Softwaresystemen
In , pp. 7 - 18, vde-Verlag, 1991
Journal article   Details | Bibtex Entry

M. Broy, F. Dederichs, C. Dendorfer, R. Weber
Characterizing the Behaviour of Reactive Systems by Trace Sets
number 324/2/91, , 1991
Publication   Details | Bibtex Entry

M. Broy
Declarative Specification and Declarative Programming
In Proceedings Sixth International Workshop on Software Specification and Design, Como, pp. 2 - 13, IEEE Computer Society Press, 1991
Conference paper   Details | Bibtex Entry

M. Broy
Formal Modelling of Networks of Time Sensitve Interactive Systems. Networks 91
pp. 19 - 33, 1991
Publication   Details | Bibtex Entry

PDF-Datei Manfred Broy, Claus Dendorfer
Modelling Operating System Structures by Timed Stream Processing Functions
Technical Report, number TUM-I9042, , 1991
Technical Report   Details | Bibtex Entry

M. Broy
On the Design and Verification of a simple Distributed Tree Algorithm
number 324/24/90, , 1991
Publication   Details | Bibtex Entry

M. Broy, T.F. Gritzner
Parallelism Algebras: A Link between Process Algebras and Abstract Relational Algebra
Technical Report, number TUM-I9123, , 1991
Technical Report   Details | Bibtex Entry

M. Broy, Ch. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, R. Regensburger, K. Stolen
The Requirement and Design Specification Language SPECTRUM
Technical Report, number TUM-I9140, , 1991
Technical Report   Details | Bibtex Entry

PDF-Datei Manfred Broy
Towards a Formal Foundation of the Specification and Description Language SDL
pp. 21 - 57, 1991
Publication   Details | Bibtex Entry

M. Broy, C. Delgado Kloos
Weakening the Weak Conditions for Self-Timed Circuits
number TUM-INFO-91, , 1991
Publication   Details | Bibtex Entry

1990


M. Broy
Das Mißverständnis ”Künstliche Intelligenz”
In , B. Irrgang, J. Klawitter (Eds.), pp. 65 - 78, S. Hirzel, Stuttgart, 1990
Journal article   Details | Bibtex Entry