default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManfred Broy
Person information
- affiliation: Technical University Munich, Germany
- award (2007): Konrad Zuse Medal
- award (1994): Gottfried Wilhelm Leibniz Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j141]Manfred Broy
:
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems. Formal Aspects Comput. 36(3): 16:1-16:54 (2024)- [j140]Manfred Broy, Bran Selic:
Specifying and Composing Layered Architectures. J. Object Technol. 23(1): 1 (2024) - [j139]Manfred Broy:
Time, causality, and realizability: Engineering interactive, distributed software systems. J. Syst. Softw. 210: 111940 (2024) - 2023
- [j138]Manfred Broy, Bernhard Rumpe:
Development Use Cases for Semantics-Driven Modeling Languages. Commun. ACM 66(5): 62-71 (2023) - [j137]Manfred Broy, Albrecht Schmidt, Martin Wirsing:
In memory of Heinrich Hussmann, long-time friend and SoSyM editor. Softw. Syst. Model. 22(2): 453-454 (2023) - [j136]Manfred Broy:
Specification and verification of concurrent systems by causality and realizability. Theor. Comput. Sci. 974: 114106 (2023) - 2022
- [c150]Manfred Broy:
Software System Documentation: Coherent Description of Software System Properties. ISoLA (2) 2022: 10-27 - [c149]Stefan Kugele, Manfred Broy:
Architecture as a Backbone for Safe DevOps in Automotive Systems. ITSC 2022: 4145-4150 - [p23]Manfred Broy:
Edsger W. Dijkstra as a Lecturer in Marktoberdorf. Edsger Wybe Dijkstra 2022: 493-510 - 2021
- [b9]Manfred Broy, Marco Kuhrmann:
Einführung in die Softwaretechnik. Xpert.press, Springer 2021, ISBN 978-3-662-50262-4 - [c148]Manfred Broy:
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability. Formal Methods in Outer Space 2021: 10-31 - [p22]Manfred Broy, Wolfgang Böhm, Bernhard Rumpe:
Advanced Systems Engineering. Model-Based Engineering of Collaborative Embedded Systems 2021: 353-364 - [e27]Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck:
Model-Based Engineering of Collaborative Embedded Systems. Springer 2021, ISBN 978-3-030-62135-3 [contents] - 2020
- [j135]Jennifer Hehn, Daniel Méndez, Falk Uebernickel, Walter Brenner, Manfred Broy:
On Integrating Design Thinking for Human-Centered Requirements Engineering. IEEE Softw. 37(2): 25-31 (2020)
2010 – 2019
- 2019
- [b8]Manfred Broy:
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis. Springer 2019, ISBN 978-3-658-26302-7 - [j134]Manfred Broy, Heinrich Daembkes, Janos Sztipanovits:
Editorial to the theme section on model-based design of cyber-physical systems. Softw. Syst. Model. 18(3): 1575-1576 (2019) - [j133]Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer:
Artefacts in software engineering: a fundamental positioning. Softw. Syst. Model. 18(5): 2777-2786 (2019) - [c147]Manfred Broy:
Seamless Model-Based System Development: Foundations - (Extended Abstract). SETSS 2019: 1-9 - [i15]Jennifer Hehn, Daniel Méndez Fernández, Falk Uebernickel, Walter Brenner, Manfred Broy:
On Integrating Design Thinking for a Human-centered Requirements Engineering. CoRR abs/1908.07223 (2019) - 2018
- [j132]Manfred Broy:
Theory and methodology of assumption/commitment based system interface specification and architectural contracts. Formal Methods Syst. Des. 52(1): 33-87 (2018) - [j131]Manfred Broy:
Yesterday, Today, and Tomorrow: 50 Years of Software Engineering. IEEE Softw. 35(5): 38-43 (2018) - [j130]Manfred Broy, Bernhard Rumpe:
In memory of Bernhard Schätz, long- time friend and SoSyM editor. Softw. Syst. Model. 17(1): 5-7 (2018) - [j129]Manfred Broy:
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views. Softw. Syst. Model. 17(2): 365-393 (2018) - [c146]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) 2018: 3-21 - [c145]Manfred Broy:
On Architecture Specification. SOFSEM 2018: 19-39 - [p21]Manfred Broy:
The Leading Role of Software and Systems Architecture in the Age of Digitization. The Essence of Software Engineering 2018: 1-23 - [e26]Reinhard Stolle, Stephan Scholz, Manfred Broy:
1st IEEE/ACM International Workshop on Software Engineering for AI in Autonomous Systems, SEFAIAS@ICSE 2018, Gothenburg, Sweden, May 28, 2018. ACM 2018, ISBN 978-1-4503-5739-5 [contents] - [i14]Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer:
Artefacts in Software Engineering: What are they after all? CoRR abs/1806.00098 (2018) - 2017
- [j128]Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes:
50 Jahre Informatik an den Universitäten in München. Inform. Spektrum 40(2): 139-140 (2017) - [j127]Manfred Broy:
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. Inform. Spektrum 40(2): 201-204 (2017) - [j126]Walter Brenner, Manfred Broy, Jan Marco Leimeister:
Auf dem Weg zu einer Informatik neuer Prägung in Wissenschaft, Studium und Wirtschaft. Inform. Spektrum 40(6): 602-606 (2017) - [c144]Stefan Kugele, Philipp Obergfell, Manfred Broy, Oliver Creighton, Matthias Traub, Wolfgang Hopfensitz:
On Service-Orientation for Automotive Software. ICSA 2017: 193-202 - [c143]Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy:
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. Software Engineering 2017: 127-128 - [p20]Manfred Broy:
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. 50 Jahre Universitäts-Informatik in München 2017: 197-201 - [e25]Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes:
50 Jahre Universitäts-Informatik in München. Springer 2017, ISBN 978-3-662-54711-3 [contents] - 2016
- [j125]Manfred Broy, Christian Prehofer, Hermann Engesser:
Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung. Inform. Spektrum 39(6): 436-443 (2016) - [j124]Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy:
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. J. Syst. Softw. 121: 49-71 (2016) - [c142]Manfred Broy:
From Actions, Transactions, and Processes to Services. Petri Nets 2016: 13-19 - [c141]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) 2016: 3-10 - [c140]Manfred Broy, Klaus Havelund, Rahul Kumar:
Towards a Unified View of Modeling and Programming. ISoLA (2) 2016: 238-257 - [c139]Manfred Broy:
Model-centric Assumption Promise Specification. MODELSWARD 2016: 5 - [p19]Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger:
Advanced Model-Based Engineering of Embedded Systems. Advanced Model-Based Engineering of Embedded Systems 2016: 3-9 - [p18]Manfred Broy:
Outlook. Advanced Model-Based Engineering of Embedded Systems 2016: 273-276 - [e24]Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger:
Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology. Springer 2016, ISBN 978-3-319-48002-2 [contents] - 2015
- [j123]Manfred Broy:
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer. Acta Informatica 52(4-5): 299-301 (2015) - [j122]Manfred Broy:
Rethinking Nonfunctional Software Requirements. Computer 48(5): 96-99 (2015) - [j121]Manfred Broy:
Computability and realizability for interactive computations. Inf. Comput. 241: 277-301 (2015) - [c138]Manfred Broy:
Pragmatic Formal Specification of System Properties by Tables. Software, Services, and Systems 2015: 329-354 - [c137]Maximilian Junker, Manfred Broy, Benedikt Hauptmann, Wolfgang Böhm, Henning Femmer, Sebastian Eder, Elmar Jürgens, Rainer Janßen, Rudolf Vaas:
Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re. SER&IP@ICSE 2015: 50-53 - [p17]Manfred Broy:
From Actions, Transactions, and Processes to Services. Dependable Software Systems Engineering 2015: 42-78 - 2014
- [j120]Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser:
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. Autom. 62(11): 815-825 (2014) - [j119]Manfred Broy, Albrecht Schmidt:
Challenges in Engineering Cyber-Physical Systems. Computer 47(2): 70-72 (2014) - [j118]Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer:
Guiding requirements engineering for software-intensive embedded systems in the automotive industry. Comput. Sci. Res. Dev. 29(1): 21-43 (2014) - [j117]Manfred Broy:
Verifying of interface assertions for infinite state Mealy machines. J. Comput. Syst. Sci. 80(7): 1298-1322 (2014) - [c136]Manfred Broy:
A Model of Dynamic Systems. FPS@ETAPS 2014: 39-53 - [c135]Manfred Broy:
Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit. GI-Jahrestagung 2014: 41-47 - [i13]Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider:
Orchestration of Global Software Engineering Projects. CoRR abs/1409.6587 (2014) - [i12]Manfred Broy, María Victoria Cengarle, Bernhard Rumpe:
Towards a System Model for UML. The Structural Data Model. CoRR abs/1409.6613 (2014) - [i11]Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
UML 2 Semantics Symposium: Formal Semantics for UML. CoRR abs/1409.6619 (2014) - [i10]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). CoRR abs/1409.6637 (2014) - [i9]Cornel Klein, Bernhard Rumpe, Manfred Broy:
A stream-based mathematical model for distributed information processing systems - SysLab system model. CoRR abs/1409.7236 (2014) - [i8]Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics. CoRR abs/1411.2410 (2014) - 2013
- [b7]Manfred Broy, Marco Kuhrmann:
Projektorganisation und Management im Software Engineering. Xpert.press, Springer 2013, ISBN 978-3-642-29289-7, pp. I-XVI, 1-416 - [j116]Birgit Vogel-Heuser, Christian Diedrich, Manfred Broy:
Anforderungen an CPS aus Sicht der Automatisierungstechnik. Autom. 61(10): 669-676 (2013) - [j115]Manfred Broy:
Cyber Physical Systems (Part 2). it Inf. Technol. 55(1): 3-4 (2013) - [c134]Manfred Broy:
Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering. Perspectives on the Future of Software Engineering 2013: 15-30 - [c133]Manfred Broy:
Challenges in modeling cyber-physical systems. IPSN 2013: 5-6 - [c132]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. SPIN 2013: 358-375 - [c131]Manfred Broy:
Software Quality: From Requirements to Architecture. SWQD 2013: 1-2 - [p16]Manfred Broy:
A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views. Engineering Dependable Software Systems 2013: 1-48 - [e23]Manfred Broy, Doron A. Peled, Georg Kalus:
Engineering Dependable Software Systems. NATO Science for Peace and Security Series, D: Information and Communication Security 34, IOS Press 2013, ISBN 978-1-61499-206-6 [contents] - 2012
- [j114]Manfred Broy, Albert Endres:
Mehr Lebensqualität dank Informatik. Inform. Spektrum 35(1): 34-38 (2012) - [j113]Manfred Broy:
Cyber Physical Systems (Part 1). it Inf. Technol. 54(6): 255-256 (2012) - [c130]Manfred Broy:
System Behaviour Models with Discrete and Dense Time. Advances in Real-Time Systems 2012: 3-25 - [c129]Manfred Broy:
Engineering Cyber-Physical Systems: Challenges and Foundations. CSDM 2012: 1-13 - [c128]Manfred Broy, María Victoria Cengarle, Eva Geisberger:
Cyber-Physical Systems: Imminent Challenges. Monterey Workshop 2012: 1-28 - [p15]Manfred Broy:
Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation. Conquering Complexity 2012: 309-372 - [p14]Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer:
Introduction to the SPES Modeling Framework. Model-Based Engineering of Embedded Systems 2012: 31-49 - [p13]Manfred Broy:
Outlook. Model-Based Engineering of Embedded Systems 2012: 251-254 - [e22]Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy:
Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology. Springer 2012, ISBN 978-3-642-34613-2 [contents] - 2011
- [j112]Manfred Broy:
Can Practitioners Neglect Theory and Theoreticians Neglect Practice? Computer 44(10): 19-24 (2011) - [j111]Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner:
Informatik in der Automobilindustrie. Inform. Spektrum 34(1): 1-5 (2011) - [j110]Manfred Broy, Günter Reichart, Lutz Rothhardt:
Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung. Inform. Spektrum 34(1): 42-59 (2011) - [j109]Manfred Broy, María Victoria Cengarle:
UML formal semantics: lessons learned. Softw. Syst. Model. 10(4): 441-446 (2011) - [c127]Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree:
Cross-layer analysis, testing and verification of automotive control software. EMSOFT 2011: 263-272 - [c126]Manfred Broy:
Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung. GI-Jahrestagung 2011: 43 - [c125]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer:
Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011). Software Engineering 2011: 198 - [c124]Kim Lauenroth, Klaus Pohl, Wolfgang Böhm, Manfred Broy:
Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020). Software Engineering 2011: 201 - [c123]Manfred Broy:
Towards formal modeling of functional features and feature interactions in software intensive systems. SPLC Workshops 2011: 1 - [c122]Manfred Broy:
The Role of Requirements and Specification in Product Line Engineering. SPLC 2011: 3-7 - [p12]Manfred Broy, Alexander Pretschner:
A Model-Based View onto Testing. Model-Based Testing for Embedded Systems 2011 - [p11]Manfred Broy:
Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. Software and Systems Safety - Specification and Verification 2011: 33-87 - [e21]Manfred Broy, Christian Leuxner, Tony Hoare:
Software and Systems Safety - Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 30, IOS Press 2011, ISBN 978-1-60750-710-9 [contents] - 2010
- [j108]Manfred Broy:
A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J. 53(10): 1758-1782 (2010) - [j107]Manfred Broy, Ralf H. Reussner:
Architectural Concepts in Programming Languages. Computer 43(10): 88-91 (2010) - [j106]Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit:
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. Inform. Spektrum 33(1): 37-44 (2010) - [j105]K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger:
Scanning the Issue. Proc. IEEE 98(4): 506-509 (2010) - [j104]K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger:
Scanning Advances in Aerospace & Automobile Software Technology. Proc. IEEE 98(4): 510-514 (2010) - [j103]Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu:
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proc. IEEE 98(4): 526-545 (2010) - [j102]Manfred Broy:
Multifunctional software systems: Structured modeling and specification of functional requirements. Sci. Comput. Program. 75(12): 1193-1214 (2010) - [c121]Manfred Broy:
Seamless Method- and Model-based Software and Systems Engineering. The Future of Software Engineering 2010: 33-47 - [c120]Manfred Broy:
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. Concurrency, Compositionality, and Correctness 2010: 118-126 - [c119]Daniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy:
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. MoDELS (2) 2010: 183-197 - [c118]Manfred Broy, David Cruz, Martin R. Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora:
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). Software Engineering 2010: 240 - [c117]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung (SQMB). Software Engineering 2010: 250
2000 – 2009
- 2009
- [j101]Brian Berenbach, Manfred Broy:
Professional and Ethical Dilemmas in Software Engineering. Computer 42(1): 74-80 (2009) - [j100]Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer:
Toward a Holistic and Standardized Automotive Architecture Description. Computer 42(11): 98-101 (2009) - [j99]Manfred Broy, Albert Endres:
Informatik überall, jederzeit und für alle. Inform. Spektrum 32(2): 153-162 (2009) - [j98]Herbert Weber, Manfred Broy:
Systemorientiertes Automotive Engineering. Inform. Spektrum 32(3): 206-213 (2009) - [j97]Manfred Broy, Gheorghe Stefanescu:
Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebraic Methods Program. 78(2): 53 (2009) - [c116]Manfred Broy:
From system requirements documents to integrated system modeling artifacts. ACM Symposium on Document Engineering 2009: 98 - [c115]Manfred Broy:
Seamless Model Driven Systems Engineering Based on Formal Models. ICFEM 2009: 1-19 - [c114]Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider:
Orchestration of Global Software Engineering Projects - Position Paper. ICGSE 2009: 332-337 - [c113]Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter:
Formalizing the notion of adaptive system behavior. SAC 2009: 1029-1033 - [c112]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung (SQMB 2009). Software Engineering 2009: 211- - [p10]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Considerations and Rationale for a UML System Model. UML 2 Semantics and Applications 2009: 43-60 - [p9]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Definition of the System Model. UML 2 Semantics and Applications 2009: 61-93 - 2008
- [j96]Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone:
Guest Editorial. Formal Aspects Comput. 20(4-5): 349-350 (2008) - [j95]Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova:
On the correctness of upper layers of automotive systems. Formal Aspects Comput. 20(6): 637-662 (2008) - [j94]Arndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels:
Architektur & Management im Großen meistern. Inform. Spektrum 31(6): 523-525 (2008) - [j93]Manfred Broy:
Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer. it Inf. Technol. 50(2): 135-136 (2008) - [c111]Manfred Broy, Reinhard Stolle, Alexandre Saad:
6.Workshop Automotive Software Engineering. GI Jahrestagung (2) 2008: 617-618 - [c110]Manfred Broy:
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). ISoLA 2008: 1-13 - [c109]Manfred Broy:
Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität. Software Engineering 2008: 23 - [c108]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung. Software Engineering 2008: 295-297 - [e20]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922, Springer 2008, ISBN 978-3-540-70929-9 [contents] - 2007
- [j92]Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein:
Das AutoMoDe-Projekt. Inform. Forsch. Entwickl. 22(1): 45-57 (2007) - [j91]Manfred Broy, Bernhard Rumpe:
Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung. Inform. Spektrum 30(1): 3-18 (2007) - [j90]Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz:
Ein Requirements-Engineering-Referenzmodell. Inform. Spektrum 30(3): 127-142 (2007) - [j89]Manfred Broy:
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones. Innov. Syst. Softw. Eng. 3(1): 75-102 (2007) - [j88]Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann:
Engineering Automotive Software. Proc. IEEE 95(2): 356-373 (2007) - [j87]Manfred Broy:
Editorial comment to 'About "trivial" software patents: The IsNot case'. Sci. Comput. Program. 64(3): 263 (2007) - [j86]Manfred Broy:
Editorial-Science of Computer Programming-25 years. Sci. Comput. Program. 66(2): 103-104 (2007) - [j85]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1): 5 (2007) - [c107]Manfred Broy:
From "Formal Methods" to System Modeling. Formal Methods and Hybrid Real-Time Systems 2007: 24-44 - [c106]Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild:
Service-Oriented Modeling of CoCoME with Focus and AutoFocus. CoCoME 2007: 177-206 - [c105]Manfred Broy, Johannes Siedersleben, Clemens A. Szyperski:
CoCoME Jury Evaluation and Conclusion. CoCoME 2007: 449-458 - [c104]Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner:
Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71 - [c103]Manfred Broy:
Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. SERA 2007: 3-12 - [c102]Manfred Broy:
Interaction and Realizability. SOFSEM (1) 2007: 29-50 - [r2]Manfred Broy:
Modular Hierarchies of Models for Embedded Systems. Handbook of Real-Time and Embedded Systems 2007 - [r1]Manfred Broy:
Embedded Systems and Software Technology in the Automotive Domain. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [j84]Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. Computer 39(10): 72-80 (2006) - [j83]Manfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach:
Manifest*: Strategische Bedeutung des Software Engineering in Deutschland. Inform. Spektrum 29(3): 210-221 (2006) - [j82]Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz:
SoSyM special section on service-based software engineering. Softw. Syst. Model. 5(2): 170-171 (2006) - [c101]Manfred Broy:
From Chaos to Undefinedness. Essays Dedicated to Joseph A. Goguen 2006: 476-496 - [c100]Manfred Broy, Florian Deissenboeck, Markus Pizka:
Demystifying maintainability. WoSQ@ICSE 2006: 21-26 - [c99]Manfred Broy:
Challenges in automotive software engineering. ICSE 2006: 33-42 - [c98]Manfred Broy:
Requirements Engineering as a Key to Holistic Software Quality. ISCIS 2006: 24-34 - [c97]Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
2nd UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS (Workshops) 2006: 318-323 - [c96]Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. SEW 2006: 85-88 - [p8]Manfred Broy:
Innovation in Engineering Software Intensive Systems. Managing Development and Application of Digital Technologies 2006: 3-15 - [e19]Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4147, Springer 2006, ISBN 3-540-37677-1 [contents] - 2005
- [j81]Dominikus Herzberg, Manfred Broy:
Modeling layered distributed communication systems. Formal Aspects Comput. 17(1): 1-18 (2005) - [j80]Manfred Broy, Andreas Rausch:
Das neue V-Modell® XT. Inform. Spektrum 28(3): 220-229 (2005) - [j79]Arndt Bode, Manfred Broy, Dirk Taubner:
Software auf dem Weg zur Industrialisierung. Inform. Spektrum 28(4): 269 (2005) - [j78]Manfred Broy:
A semantic and methodological essence of message sequence charts. Sci. Comput. Program. 54(2-3): 213-256 (2005) - [j77]Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle:
Guest Editorial: Special Section on Interaction and State-Based Modeling. IEEE Trans. Software Eng. 31(12): 997-998 (2005) - [c95]Manfred Broy:
The Impact of Models in Software Development. Mechanizing Mathematical Reasoning 2005: 396-406 - [c94]Manfred Broy:
Automotive software and systems engineering (Panel). MEMOCODE 2005: 143-149 - [e18]Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner:
Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. Lecture Notes in Computer Science 3472, Springer 2005, ISBN 3-540-26278-4 [contents] - [e17]Manfred Broy, Manfred Nagl, Hans Dieter Rombach, Matthias Jarke:
Perspectives Workshop, 05.10. - 08.10.2005. Dagstuhl Seminar Proceedings 05402, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - [i7]Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2004
- [b6]Manfred Broy, Ralf Steinbrüggen:
Modellbildung in der Informatik. Xpert.press, Springer 2004, ISBN 978-3-642-62267-0, pp. i-x, 1-256 - [j76]Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial. Formal Aspects Comput. 16(3): 165- (2004) - [j75]Karl-Rudolf Moll, Manfred Broy, Markus Pizka, Tilman Seifert, Klaus Bergner, Andreas Rausch:
Erfolgreiches Management von Software-Projekten. Inform. Spektrum 27(5): 419-432 (2004) - [c93]Manfred Broy:
Distributed Concurrent Object-Oriented Software. Essays in Memory of Ole-Johan Dahl 2004: 83-95 - [c92]Manfred Broy:
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. Architecting Systems with Trustworthy Components 2004: 26-47 - [c91]Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. SoftSpez Final Report 2004: 29-47 - [c90]Manfred Broy:
Architecture Driven Modeling in Software Development. ICECCS 2004: 3-12 - [c89]Manfred Broy:
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. FESCA@ETAPS 2004: 3-9 - 2003
- [j74]Friedrich L. Bauer, Manfred Broy:
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. Acta Informatica 39(3): 141-142 (2003) - [j73]Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial: Where Theory and Practice Meet. Formal Aspects Comput. 15(4): 297-298 (2003) - [j72]Manfred Broy, Wolfgang Pree:
Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme. Inform. Spektrum 26(1): 3-7 (2003) - [j71]Manfred Broy:
Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern. Inform. Spektrum 26(1): 13-16 (2003) - [c88]Manfred Broy:
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. Verification: Theory and Practice 2003: 161-181 - [c87]Manfred Broy:
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. FORTE 2003: 48-61 - [c86]Manfred Broy:
Automotive Software Engineering. ICSE 2003: 719-720 - [c85]Manfred Broy:
Modular Hierarchies of Models for Embedded Systems. MEMOCODE 2003: 183- - [c84]Manfred Broy:
Engineering Software Intensive Systems. SNPD 2003: 1-5 - [e16]Manfred Broy, Alexandre V. Zamulin:
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science 2890, Springer 2003, ISBN 3-540-20813-5 [contents] - 2002
- [j70]Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. Int. J. Softw. Eng. Knowl. Eng. 12(2): 155-174 (2002) - [j69]Manfred Broy, Johannes Siedersleben:
Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung. Inform. Spektrum 25(1): 3-11 (2002) - [j68]Manfred Broy:
Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen). Inform. Spektrum 25(5): 367-369 (2002) - [j67]Manfred Broy, H. Dieter Rombach:
Software Engineering Wurzeln, Stand und Perspektiven. Inform. Spektrum 25(6): 438-451 (2002) - [j66]Luqi, Manfred Broy:
Software engineering beyond our planning horizon: automation for computer-based systems. Sci. Comput. Program. 42(1): 1-10 (2002) - [c83]Manfred Broy:
Multi-view Modeling of Software Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 207-225 - [c82]Manfred Broy:
Message Sequence Charts in the Development Process - Role and Limitations. VISS@ETAPS 2002: 18-33 - [p7]Manfred Broy:
Software Engineering From Auxiliary to Key Technology. Software Pioneers 2002: 10-13 - [e15]Manfred Broy, Ernst Denert:
Software Pioneers. Springer Berlin Heidelberg 2002, ISBN 978-3-642-63970-8 [contents] - 2001
- [b5]Manfred Broy, Ketil Stølen:
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science, Springer 2001, ISBN 978-1-4612-6518-4, pp. 1-348 - [j65]Manfred Broy:
Letter from the Editor. Acta Informatica 37(4/5): 227-228 (2001) - [j64]Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin:
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999). Inform. Forsch. Entwickl. 16(1): 53-59 (2001) - [j63]Michael Friedewald, H. Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche:
Softwareentwicklung in Deutschland, Eine Bestandsaufnahme. Inform. Spektrum 24(2): 81-90 (2001) - [j62]Manfred Broy, Susanne Hartkopf, Kirstin Kohler, H. Dieter Rombach:
Germany: Combining Software and Application Competencies. IEEE Softw. 18(4): 93-95 (2001) - [j61]Manfred Broy:
Refinement of time. Theor. Comput. Sci. 253(1): 3-26 (2001) - [j60]Manfred Broy, Gheorghe Stefanescu:
The algebra of stream processing functions. Theor. Comput. Sci. 258(1-2): 99-129 (2001) - [j59]Manfred Broy:
Toward a Mathematical Foundation of Software Engineering Methods. IEEE Trans. Software Eng. 27(1): 42-57 (2001) - [c81]Manfred Broy, Oscar Slotosch:
From Requirements to Validated Embedded Systems. EMSOFT 2001: 51-65 - [c80]Manfred Broy:
Specification and Modeling: An Academic Perspective. ICSE 2001: 673-675 - [c79]H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas:
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698 - [p6]Manfred Broy, Ernst-Rüdiger Olderog:
Trace-Oriented Models of Concurrency. Handbook of Process Algebra 2001: 101-195 - [e14]Dines Bjørner, Manfred Broy, Alexandre V. Zamulin:
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Lecture Notes in Computer Science 2244, Springer 2001, ISBN 3-540-43075-X [contents] - 2000
- [b4]Manfred Broy, Herbert Ehler, Barbara Paech, Bernhard Rumpe, Veronika Thurner:
Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement. TCW-Report 24, TCW 2000, ISBN 3-931511-52-9, pp. 1-141 - [j58]Detlef Schmid, Manfred Broy:
. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. Inform. Spektrum 23(2): 109-117 (2000) - [j57]Manfred Broy:
Algebraic specification of reactive systems. Theor. Comput. Sci. 239(1): 3-40 (2000) - [c78]Manfred Broy, Martin Wirsing:
Invited Talk: Algebraic State Machines. AMAST 2000: 89-188 - [c77]Manfred Broy:
Software Engineering as a Modelling Process. JISBD 2000: 9 - [c76]Manfred Broy:
The Essence of Message Sequence Charts. ISMSE 2000: 42-47 - [e13]Dines Bjørner, Manfred Broy, Alexandre V. Zamulin:
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Lecture Notes in Computer Science 1755, Springer 2000, ISBN 3-540-67102-1 [contents]
1990 – 1999
- 1999
- [j56]Birgit Schieder, Manfred Broy:
Adapting Calculational Logic to the Undefined. Comput. J. 42(2): 73-81 (1999) - [j55]Manfred Broy, Franz Huber, Bernhard Schätz:
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform. Forsch. Entwickl. 14(3): 121-134 (1999) - [j54]Manfred Broy:
Software technology - formal methods and scientific foundations. Inf. Softw. Technol. 41(14): 947-950 (1999) - [j53]Manfred Broy, Joachim W. Schmidt:
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt). Inform. Spektrum 22(3): 206-209 (1999) - [j52]Manfred Broy, Thomas Stauner:
Requirements Engineering für eingebettete Systeme. Informationstechnik Tech. Inform. 41(2): 7-11 (1999) - [c75]Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy:
A Formal Model for Componentware. FBT 1999: 17-26 - [c74]Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy:
Focusing on Mobility. HICSS 1999 - [c73]Manfred Broy:
From States to Histories. WADT 1999: 22-36 - [p5]Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu:
What is Behind UML-RT? Behavioral Specifications of Businesses and Systems 1999: 75-90 - [p4]Egidio Astesiano, Manfred Broy, Gianna Reggio:
Algebraic Specification of Concurrent Systems. Algebraic Foundations of Systems Specification 1999: 467-520 - [e12]Luqi, Manfred Broy:
The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998. Electronic Notes in Theoretical Computer Science 25, Elsevier 1999 [contents] - 1998
- [j51]Manfred Broy:
A Functional Rephrasing of the Assumption/Commitment Specification Style. Formal Methods Syst. Des. 13(1): 87-119 (1998) - [j50]Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plásil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski:
What characterizes a (software) component? Softw. Concepts Tools 19(1): 49-56 (1998) - [j49]Manfred Broy:
A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?". Softw. Concepts Tools 19(1): 57-59 (1998) - [c72]Radu Grosu, Gheorghe Stefanescu, Manfred Broy:
Visual Formalisms Revisited. ACSD 1998: 41-51 - [c71]Manfred Broy, Oscar Slotosch:
Enriching the Software Development Process by Formal Methods. FM-Trends 1998: 44-61 - [c70]Radu Grosu, Thomas Stauner, Manfred Broy:
A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91 - [c69]Manfred Broy, Ingolf Krüger:
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ICFEM 1998: 2-15 - [c68]Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy:
From MSCs to Statecharts. DIPES 1998: 61-72 - [c67]Manfred Broy:
A Logical Basis for Modular Software and Systems Engineering. SOFSEM 1998: 19-35 - [c66]Luqi, Manfred Broy:
Preface - Software Engineering to our Planning Horizon. Monterey Workshop 1998: 145-146 - [e11]Manfred Broy, Bernhard Rumpe:
Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings. Lecture Notes in Computer Science 1526, Springer 1998, ISBN 3-540-65309-0 [contents] - 1997
- [b3]Manfred Broy, Bernhard Rumpe:
Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen. Springer 1997, ISBN 978-3-540-63549-9, pp. I-IX, 1-355 - [j48]Manfred Broy, Stefan Jähnichen:
KORSO - Korrekte Software durch formale Methoden. Inform. Forsch. Entwickl. 12(3): 157-160 (1997) - [j47]Manfred Broy:
Editorial: Formale Methoden in der Praxis. Informationstechnik Tech. Inform. 39(3): 5-6 (1997) - [j46]Manfred Broy:
Compositional refinement of interactive systems. J. ACM 44(6): 850-891 (1997) - [j45]Peter Hubwieser, Manfred Broy:
Ein neuer Ansatz für den Informatikunterricht am Gymnasium. LOG IN 17(3/4): 42- (1997) - [j44]Manfred Broy:
Towards a Mathematical Concept of a Component and its Use. Softw. Concepts Tools 18(3): 137- (1997) - [c65]Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt:
Using Extended Event Traces to Describe Communication in Software Architectures. APSEC 1997: 203-212 - [c64]Manfred Broy:
Refinement of Time. ARTS 1997: 44-63 - [c63]Manfred Broy:
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. Foundations of Computer Science: Potential - Theory - Cognition 1997: 279-286 - [c62]Manfred Broy:
Compositional Refinement of Interactive Systems Modelled by Relations. COMPOS 1997: 130-149 - [c61]Manfred Broy, Radu Grosu, Cornel Klein:
Reconciling Real-Time with Asynchronous Message Passing. FME 1997: 182-200 - [c60]Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner:
Innovation durch Kooperation im Software-Engineering. GI Jahrestagung 1997: 503-504 - [c59]Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics. Requirements Targeting Software and Systems Engineering 1997: 43-68 - [c58]Peter Hubwieser, Manfred Broy:
Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht. INFOS 1997: 40-50 - 1996
- [j43]Manfred Broy:
Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant. Formal Methods Syst. Des. 8(3): 221-272 (1996) - [c57]Manfred Broy:
Algebraic Specification of Reactive Systems. AMAST 1996: 487-503 - [c56]Bernhard Schätz, Heinrich Hußmann, Manfred Broy:
Graphical Development of Consistent System Specifications. FME 1996: 248-267 - [c55]Manfred Broy:
Formal Description Techniques - How Formal and Descriptive are they? FORTE 1996: 95-110 - [c54]Manfred Broy:
Specification and refinement of a buffer of length one. NATO ASI DPD 1996: 273-304 - [e10]Manfred Broy, Stephan Merz, Katharina Spies:
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Lecture Notes in Computer Science 1169, Springer 1996, ISBN 3-540-61984-4 [contents] - [e9]Dines Bjørner, Manfred Broy, Igor V. Pottosin:
Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Lecture Notes in Computer Science 1181, Springer 1996, ISBN 3-540-62064-8 [contents] - [e8]Manfred Broy:
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. 1996, ISBN 3-540-60947-4 [contents] - 1995
- [j42]Michal Walicki, Manfred Broy:
Structured Specifications and Implementation of Nondeterministic Data Types. Nord. J. Comput. 2(3): 358-395 (1995) - [c53]Manfred Broy:
Mathematics of Software Engineering. MPC 1995: 18-48 - [p3]Manfred Broy:
Mathematical System Models as a Basis of Software Engineering. Computer Science Today 1995: 292-306 - [p2]Manfred Broy, Martin Wirsing:
Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26 - [e7]Manfred Broy, Stefan Jähnichen:
KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Lecture Notes in Computer Science 1009, Springer 1995, ISBN 3-540-60589-4 [contents] - 1994
- [j41]Manfred Broy:
Professor Friedrich L. Bauer zum 70. Geburtstag. Inform. Spektrum 17(4): 258-259 (1994) - [j40]Manfred Broy, Greg Nelson:
Adding Fair Choice to Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 16(3): 924-938 (1994) - [c52]Manfred Broy:
Equations for Describing Dynamic Nets of Communicating Systems. COMPASS/ADT 1994: 170-187 - [c51]Manfred Broy, Leslie Lamport:
The RPC-Memory Specification Problem - Problem Statement. Formal Systems Specification 1994: 1-4 - [c50]Manfred Broy, Stephan Merz, Katharina Spies:
The RPC-Memory Case Study: A Synopsis. Formal Systems Specification 1994: 5-20 - [c49]Manfred Broy:
A Functional Solution to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 183-211 - [c48]Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder:
Interpreter Verification for a Functional Language. FSTTCS 1994: 77-88 - [c47]Manfred Broy, Ketil Stølen:
Specification and Refinement of Finite Dataflow Networks - a Relational Approach. FTRTFT 1994: 247-267 - [c46]Manfred Broy:
Advanced Component Interface Specification. Theory and Practice of Parallel Programming 1994: 369-392 - 1993
- [j39]Manfred Broy:
Functional Specification of Time-Sensitive Communicating Systems. ACM Trans. Softw. Eng. Methodol. 2(1): 1-46 (1993) - [c45]Manfred Broy, Martin Wirsing:
Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43 - [c44]Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl:
Semantics of PAnndA-S. PROSPECTRA Book 1993: 171-222 - [e6]Dines Bjørner, Manfred Broy, Igor V. Pottosin:
Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Lecture Notes in Computer Science 735, Springer 1993, ISBN 3-540-57316-X [contents] - [e5]Manfred Broy:
Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. NATO ASI Series 118, Springer 1993, ISBN 978-3-642-08164-4 [contents] - 1992
- [j38]Manfred Broy:
Algebraic and Functional Specification of an Interactive Serializable Database Interface. Distributed Comput. 6(1): 5-18 (1992) - [j37]Manfred Broy:
Operational and denotational semantics with explicit concurrency. Fundam. Informaticae 16(3-4): 201-229 (1992) - [j36]Freimut Bodendorf, Manfred Broy, Herbert Burkert, Albert Endres, Herbert Fiedler, V. Ilzhöfer, H. Kappus, Christoph Lingenfelder, C. Müller, Franz Stetter:
Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz. Inform. Spektrum 15(2): 89-100 (1992) - [j35]Manfred Broy, Claus Dendorfer:
Modelling Operating System Structures by Timed Stream Processing Functions. J. Funct. Program. 2(1): 1-21 (1992) - [c43]Manfred Broy:
Reliable Systems Enginerring (Position Statement). IFIP Congress (1) 1992: 683 - [c42]Manfred Broy:
(Inter-)Action Refinement: The Easy Way. NATO ASI PDC 1992: 121-158 - [p1]Manfred Broy, Thomas Streicher:
Modular functional modelling of Petri nets with individual tokens. Advances in Petri Nets: The DEMON Project 1992: 70-88 - 1991
- [j34]Manfred Broy:
Towards a Formal Foundation of the Specification and Description Language SDL. Formal Aspects Comput. 3(1): 21-57 (1991) - [j33]Manfred Broy, Thomas Streicher:
Specification and design of shared resource arbitration. Int. J. Parallel Program. 20(1): 1-22 (1991) - [j32]Manfred Broy, Christian Lengauer:
On Denotational versus Predicative Semantics. J. Comput. Syst. Sci. 42(1): 1-29 (1991) - [c41]Manfred Broy:
Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. Methods of Programming 1991: 79-99 - [c40]Manfred Broy:
Declarative specification and declarative programming. IWSSD 1991: 2-11 - [e4]Manfred Broy, Martin Wirsing:
Method of Programming, Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544, Springer 1991, ISBN 3-540-54576-X [contents] - [i6]Manfred Broy:
Characterizing the behavior of reactive systems by trace sets. Forschungsberichte, TU Munich TUM I 9102: 1-24 (1991) - [i5]Thomas F. Gritzner, Manfred Broy:
Parallelism algebras: a link between process algebras and abstract relation algebras? Forschungsberichte, TU Munich TUM I 9123: 1-15 (1991) - [i4]Manfred Broy, Carlos Delgado Kloos:
Weakening the weak conditions for self-timed circuits. Forschungsberichte, TU Munich TUM I 9128: 1-16 (1991) - 1990
- [c39]Manfred Broy:
Methodological Objectives for Formal Description Techniques. FORTE 1990: 1-16 - [e3]Manfred Broy, Cliff B. Jones:
Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. North-Holland 1990, ISBN 0-444-88545-5 [contents] - [i3]Manfred Broy, Thomas Streicher:
Modular functional modelling of Petri nets with individual tokems. Forschungsberichte, TU Munich TUM I 9035: 1-22 (1990) - [i2]Manfred Broy, Claus Dendorfer:
Functional modelling of operating sytem [system] structures by timed higher order stream processing functions. Forschungsberichte, TU Munich TUM I 9042: 1-24 (1990) - [i1]Manfred Broy:
On the design and verification of a simple distributed spanning tree algorithm. Forschungsberichte, TU Munich TUM I 9046: 1-11 (1990)
1980 – 1989
- 1989
- [c38]Manfred Broy:
Functional Specification of Communicating Systems. IFIP Congress 1989: 851-856 - [c37]Manfred Broy:
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. IFIP Congress 1989: 953 - [c36]Manfred Broy:
Formalization of Distributed, Concurrent, Reactive Systems. Formal Description of Programming Concepts 1989: 319-262 - [c35]Manfred Broy:
Functional Specification of Time Sensitive Communicating Systems. REX Workshop 1989: 153-179 - [c34]Martin Wirsing, Manfred Broy:
A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73 - 1988
- [j31]Manfred Broy:
Broadcasting Buffering Communication. Comput. Lang. 13(1): 31-47 (1988) - [j30]Manfred Broy, Martin Wirsing:
Ultra-loose algebraic specifications. Bull. EATCS 35: 117-127 (1988) - [j29]Manfred Broy:
Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly. Sci. Comput. Program. 10(1): 65-85 (1988) - [j28]Manfred Broy:
Views of queues. Sci. Comput. Program. 11(1): 65-86 (1988) - [j27]Manfred Broy:
Equational Specification of Partial Higher-Order Algebras. Theor. Comput. Sci. 57: 3-45 (1988) - [c33]Manfred Broy:
Requirement and Design Specification for Distributed Systems. Concurrency 1988: 33-62 - [c32]Manfred Broy:
Spezifikation und Entwurf komplexer, kausal vernetzter Systeme. GI Jahrestagung (1) 1988: 34-55 - 1987
- [j26]Manfred Broy:
Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. Distributed Comput. 2(1): 13-31 (1987) - [j25]Manfred Broy:
Predicative Specifications for Functional Programs Describing Communication Networks. Inf. Process. Lett. 25(2): 93-101 (1987) - [j24]Manfred Broy:
Specification and Top-Down Design of Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 236-265 (1987) - [j23]Manfred Broy, Martin Wirsing, Peter Pepper:
On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987) - 1986
- [j22]Manfred Broy:
Denotational Semantics of Communicating Sequential Programs. Inf. Process. Lett. 23(5): 253-259 (1986) - [j21]Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing:
Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986) - [j20]Manfred Broy:
A Theory for Nondeterminism, Parallelism, Communication, and Concurrency. Theor. Comput. Sci. 45(1): 1-61 (1986) - [c31]Manfred Broy, Thomas Streicher:
Views of Distributed Systems. Mathematical Models for the Semantics of Parallelism 1986: 114-143 - [c30]Manfred Broy, Alfons Geser, Heinrich Hußmann:
Towards Advanced Programming Environments Based on Algebraic Concepts. Advanced Programming Environments 1986: 554-470 - [c29]Manfred Broy:
Partial Interpretations of Higher Order Algebraic Types (Extended Abstract). MFCS 1986: 29-43 - 1985
- [b2]Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7 - [j19]Manfred Broy, Andrzej Tarlecki:
Algebraic specification of the abstract data type "Continuum". Bull. EATCS 26: 32-35 (1985) - [j18]Manfred Broy:
On the Herbrand-Kleene Universe for Nondeterministic Computations. Theor. Comput. Sci. 36: 1-19 (1985) - [c28]Manfred Broy:
Specification and Top Down Design of Distributed Systems. TAPSOFT, Vol.1 1985: 4-28 - [c27]Manfred Broy:
Rechnergestützte Systeme für den Programmentwurf. Wissensbasierte Systeme 1985: 58-69 - 1984
- [j17]Manfred Broy:
Semantics of Communicating Processes. Inf. Control. 61(3): 202-246 (1984) - [j16]Manfred Broy, Friedrich L. Bauer:
A Systematic Approach to Language Constructs for Concurrent Programs. Sci. Comput. Program. 4(2): 103-139 (1984) - [j15]Manfred Broy, Martin Wirsing, Claude Pair:
A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984) - [c26]Manfred Broy:
On the Herbrand Kleene Universe for Nondeterministic Computations. MFCS 1984: 214-222 - [c25]Manfred Broy:
Denotational Semantics of Concurrent Programs with Shared Memory. STACS 1984: 163-173 - 1983
- [j14]Manfred Broy:
Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming. Inf. Process. Lett. 17(1): 29-35 (1983) - [j13]Manfred Broy, Martin Wirsing:
Algebraic Definition of a Functional Programming Language and Its Semantic Models. RAIRO Theor. Informatics Appl. 17(2): 137-161 (1983) - [c24]Manfred Broy, Martin Wirsing:
Generalized Heterogeneous Algebras. ADT 1983 - [c23]Manfred Broy, Martin Wirsing:
Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34 - [c22]Manfred Broy:
Funktionales Programmieren - Programmieren mit Funktionalen. GI Jahrestagung 1983: 24-40 - [c21]Manfred Broy:
Applicative Real-Time Programming. IFIP Congress 1983: 259-264 - 1982
- [j12]Manfred Broy, Martin Wirsing:
Partial Abstract Types. Acta Informatica 18: 47-64 (1982) - [j11]Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing:
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Inform. Spektrum 5(2): 107-119 (1982) - [j10]Manfred Broy, Peter Pepper:
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. 4(3): 362-381 (1982) - [c20]Manfred Broy:
Fixed PointTheory for Communication and Concurrency. Formal Description of Programming Concepts 1982: 125-148 - [c19]Manfred Broy, Martin Wirsing:
On the Algebraic Specification of Finitary Infinite. Formal Description of Programming Concepts 1982: 171-198 - [e2]Manfred Broy, Martin Wirsing:
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany. University of Passau 1982 [contents] - 1981
- [j9]Manfred Broy, Rupert Gnatz, Martin Wirsing:
Nichtdeterminismus - Das aktuelle Schlagwort. Inform. Spektrum 4(2): 125-126 (1981) - [j8]Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner:
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981) - [j7]Manfred Broy, Peter Pepper:
Program Development as a Formal Activity. IEEE Trans. Software Eng. 7(1): 14-23 (1981) - [c18]Manfred Broy, Martin Wirsing:
On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179 - [c17]Manfred Broy:
On language constructs for concurrent programs. CONPAR 1981: 141-154 - [c16]Manfred Broy:
Prospects of New Tools for Software Development. ECI 1981: 106-121 - [c15]Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing:
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121 - [c14]Manfred Broy:
Are Fairness Assumptions Fair? ICDCS 1981: 116-125 - [c13]Manfred Broy, Martin Wirsing:
On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251 - [c12]Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing:
On the Power of Algebraic Specifications. MFCS 1981: 193-204 - 1980
- [b1]Manfred Broy:
Transformation parallel ablaufender Programme (Transformation of parallel running programs). Technical University of Munich, Germany, 1980 - [j6]Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper:
Programmtransformationen - Das aktuelle Schlagwort. Inform. Spektrum 3(3): 192-193 (1980) - [j5]Manfred Broy, Martin Wirsing:
Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980) - [j4]Manfred Broy:
Transformational Semantics for Concurrent Programs. Inf. Process. Lett. 11(2): 87-91 (1980) - [j3]Manfred Broy, Bernd Krieg-Brückner:
Derivation of Invariant Assertions During Program Development by Transformation. ACM Trans. Program. Lang. Syst. 2(3): 321-337 (1980) - [c11]Manfred Broy, Martin Wirsing:
Programming languages as abstract data types. CLAAP 1980: 160-177 - [c10]Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing:
Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106 - [c9]Manfred Broy:
Zur Spezifikation von Programmen für die Textverarbeitung. Textverarbeitung und Informatik 1980: 75-93 - [c8]Martin Wirsing, Manfred Broy:
Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685 - [c7]Manfred Broy, Peter Pepper, Martin Wirsing:
On Relations Between Programs. Symposium on Programming 1980: 59-78
1970 – 1979
- 1979
- [j2]Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy:
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979) - [c6]Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing:
Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87 - [e1]Friedrich L. Bauer, Manfred Broy:
Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany. Lecture Notes in Computer Science 69, Springer 1979, ISBN 3-540-09251-X [contents] - 1978
- [j1]Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner:
Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices 13(12): 15-24 (1978) - [c5]Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner:
Systematics of Transformation Rules. Program Construction 1978: 273-289 - [c4]Helmuth Partsch, Manfred Broy:
Examples for Change of Types and Object Structures. Program Construction 1978: 421-463 - [c3]Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner:
Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction 1978: 543-552 - [c2]Manfred Broy, Rupert Gnatz, Martin Wirsing:
Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592 - [c1]Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner:
Towards a wide spectrum language to support program specification and program development. Fachtagung über Programmiersprachen 1978: 73-85
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
