2009 |
217 | EE | Manfred Broy,
Christian Leuxner,
Wassiou Sitou,
Bernd Spanfelner,
Sebastian Winter:
Formalizing the notion of adaptive system behavior.
SAC 2009: 1029-1033 |
216 | | 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- |
215 | EE | Manfred Broy,
Albert Endres:
Informatik überall, jederzeit und für alle.
Informatik Spektrum 32(2): 153-162 (2009) |
214 | EE | Manfred Broy,
Gheorghe Stefanescu:
Guest Editors' Foreword: Selected papers on "Streams and Algebra".
J. Log. Algebr. Program. 78(2): 53 (2009) |
2008 |
213 | | 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
Springer 2008 |
212 | | Manfred Broy,
Reinhard Stolle,
Alexandre Saad:
6.Workshop Automotive Software Engineering.
GI Jahrestagung (2) 2008: 617-618 |
211 | EE | Manfred Broy:
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).
ISoLA 2008: 1-13 |
210 | | Manfred Broy:
Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität.
Software Engineering 2008: 23 |
209 | | Stefan Wagner,
Manfred Broy,
Florian Deißenböck,
Jürgen Münch,
Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung.
Software Engineering 2008: 295-297 |
208 | EE | Kamel Barkaoui,
Manfred Broy,
Ana Cavalcanti,
Antonio Cerone:
Guest Editorial.
Formal Asp. Comput. 20(4-5): 349-350 (2008) |
207 | EE | 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 Asp. Comput. 20(6): 637-662 (2008) |
206 | EE | Arndt Bode,
Manfred Broy,
Uwe Dumslaff,
Gregor Engels:
Architektur & Management im Großen meistern.
Informatik Spektrum 31(6): 523-525 (2008) |
205 | | Manfred Broy:
Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer.
it - Information Technology 50(2): 135-136 (2008) |
2007 |
204 | EE | 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 |
203 | EE | Manfred Broy,
Johannes Siedersleben,
Clemens A. Szyperski:
CoCoME Jury Evaluation and Conclusion.
CoCoME 2007: 449-458 |
202 | EE | Alexander Pretschner,
Manfred Broy,
Ingolf H. Krüger,
Thomas Stauner:
Software Engineering for Automotive Systems: A Roadmap.
FOSE 2007: 55-71 |
201 | EE | Manfred Broy:
From "Formal Methods" to System Modeling.
Formal Methods and Hybrid Real-Time Systems 2007: 24-44 |
200 | EE | Manfred Broy:
Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture.
SERA 2007: 3-12 |
199 | EE | Manfred Broy:
Interaction and Realizability.
SOFSEM (1) 2007: 29-50 |
198 | EE | Manfred Broy,
Ingolf H. Krüger,
Michael Meisinger:
A formal model of services.
ACM Trans. Softw. Eng. Methodol. 16(1): (2007) |
197 | EE | Manfred Broy:
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones.
ISSE 3(1): 75-102 (2007) |
196 | EE | 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) |
195 | EE | Manfred Broy,
Bernhard Rumpe:
Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.
Informatik Spektrum 30(1): 3-18 (2007) |
194 | EE | Manfred Broy,
Eva Geisberger,
Jürgen Kazmeier,
Arnold Rudorfer,
Klaus Beetz:
Ein Requirements-Engineering-Referenzmodell.
Informatik Spektrum 30(3): 127-142 (2007) |
193 | EE | Manfred Broy:
Editorial comment to 'About "trivial" software patents: The IsNot case'.
Sci. Comput. Program. 64(3): 263 (2007) |
192 | EE | Manfred Broy:
Editorial-Science of Computer Programming-25 years.
Sci. Comput. Program. 66(2): 103-104 (2007) |
2006 |
191 | | 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
Springer 2006 |
190 | EE | Manfred Broy:
From Chaos to Undefinedness.
Essays Dedicated to Joseph A. Goguen 2006: 476-496 |
189 | EE | Manfred Broy:
Challenges in automotive software engineering.
ICSE 2006: 33-42 |
188 | EE | Manfred Broy:
Requirements Engineering as a Key to Holistic Software Quality.
ISCIS 2006: 24-34 |
187 | EE | 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 |
186 | EE | Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
SEW 2006: 85-88 |
185 | EE | Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
IEEE Computer 39(10): 72-80 (2006) |
184 | EE | Manfred Broy,
Matthias Jarke,
Manfred Nagl,
H. Dieter Rombach:
Manifest*: Strategische Bedeutung des Software Engineering in Deutschland.
Informatik Spektrum 29(3): 210-221 (2006) |
183 | EE | Manfred Broy,
Heinrich Hussmann,
Ingolf H. Krüger,
Bernhard Schätz:
SoSyM special section on service-based software engineering.
Software and System Modeling 5(2): 170-171 (2006) |
2005 |
182 | | 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]
Springer 2005 |
181 | EE | Manfred Broy:
Automotive software and systems engineering (Panel).
MEMOCODE 2005: 143-149 |
180 | EE | Manfred Broy:
The Impact of Models in Software Development.
Mechanizing Mathematical Reasoning 2005: 396-406 |
179 | EE | Dominikus Herzberg,
Manfred Broy:
Modeling layered distributed communication systems.
Formal Asp. Comput. 17(1): 1-18 (2005) |
178 | EE | 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) |
177 | EE | Manfred Broy,
Andreas Rausch:
Das neue V-Modell® XT.
Informatik Spektrum 28(3): 220-229 (2005) |
176 | EE | Arndt Bode,
Manfred Broy,
Dirk Taubner:
Software auf dem Weg zur Industrialisierung.
Informatik Spektrum 28(4): 269 (2005) |
175 | EE | Manfred Broy:
A semantic and methodological essence of message sequence charts.
Sci. Comput. Program. 54(2-3): 213-256 (2005) |
2004 |
174 | EE | Manfred Broy:
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.
Architecting Systems with Trustworthy Components 2004: 26-47 |
173 | EE | Manfred Broy:
Distributed Concurrent Object-Oriented Software.
Essays in Memory of Ole-Johan Dahl 2004: 83-95 |
172 | EE | Manfred Broy:
Architecture Driven Modeling in Software Development.
ICECCS 2004: 3-12 |
171 | EE | 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 |
170 | EE | Manfred Broy:
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 108: 3-9 (2004) |
169 | EE | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial.
Formal Asp. Comput. 16(3): 165- (2004) |
168 | EE | Karl-Rudolf Moll,
Manfred Broy,
Markus Pizka,
Tilman Seifert,
Klaus Bergner,
Andreas Rausch:
Erfolgreiches Management von Software-Projekten.
Informatik Spektrum 27(5): 419-432 (2004) |
2003 |
167 | | 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
Springer 2003 |
166 | EE | Manfred Broy:
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.
FORTE 2003: 48-61 |
165 | EE | Manfred Broy:
Automotive Software Engineering.
ICSE 2003: 719-720 |
164 | EE | Manfred Broy:
Modular Hierarchies of Models for Embedded Systems.
MEMOCODE 2003: 183- |
163 | | Manfred Broy:
Engineering Software Intensive Systems.
SNPD 2003: 1-5 |
162 | EE | Manfred Broy:
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.
Verification: Theory and Practice 2003: 161-181 |
161 | EE | Friedrich L. Bauer,
Manfred Broy:
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf.
Acta Inf. 39(3): 141-142 (2003) |
160 | EE | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial: Where Theory and Practice Meet.
Formal Asp. Comput. 15(4): 297-298 (2003) |
159 | EE | Manfred Broy:
Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern.
Informatik Spektrum 26(1): 13-16 (2003) |
158 | EE | Manfred Broy,
Wolfgang Pree:
Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme.
Informatik Spektrum 26(1): 3-7 (2003) |
2002 |
157 | EE | Manfred Broy:
Multi-view Modeling of Software Systems.
10th Anniversary Colloquium of UNU/IIST 2002: 207-225 |
156 | EE | Manfred Broy:
Message Sequence Charts in the Development Process - Role and Limitations.
Electr. Notes Theor. Comput. Sci. 65(7): (2002) |
155 | EE | Manfred Broy,
Johannes Siedersleben:
Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung.
Informatik Spektrum 25(1): 3-11 (2002) |
154 | EE | Manfred Broy:
Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen).
Informatik Spektrum 25(5): 367-369 (2002) |
153 | EE | Manfred Broy,
H. Dieter Rombach:
Software Engineering Wurzeln, Stand und Perspektiven.
Informatik Spektrum 25(6): 438-451 (2002) |
152 | EE | Ingolf Krüger,
Wolfgang Prenninger,
Robert Sandner,
Manfred Broy:
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.
International Journal of Software Engineering and Knowledge Engineering 12(2): 155-174 (2002) |
151 | | Luqi,
Manfred Broy:
Software engineering beyond our planning horizon: automation for computer-based systems.
Sci. Comput. Program. 42(1): 1-10 (2002) |
2001 |
150 | | 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
Springer 2001 |
149 | EE | Manfred Broy,
Oscar Slotosch:
From Requirements to Validated Embedded Systems.
EMSOFT 2001: 51-65 |
148 | | Manfred Broy:
Specification and Modeling: An Academic Perspective.
ICSE 2001: 673-675 |
147 | | 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-698 |
146 | EE | Manfred Broy:
Letter from the Editor.
Acta Inf. 37(4/5): 227-228 (2001) |
145 | EE | Manfred Broy,
Susanne Hartkopf,
Kirstin Kohler,
H. Dieter Rombach:
Germany: Combining Software and Application Competencies.
IEEE Software 18(4): 93-95, 100 (2001) |
144 | EE | Manfred Broy:
Toward a Mathematical Foundation of Software Engineering Methods.
IEEE Trans. Software Eng. 27(1): 42-57 (2001) |
143 | EE | 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) |
142 | EE | Michael Friedewald,
H. Dieter Rombach,
Petra Stahl,
Manfred Broy,
Susanne Hartkopf,
Simone Kimpeler,
Kirstin Kohler,
Robert Wucher,
Peter Zoche:
Softwareentwicklung in Deutschland, Eine Bestandsaufnahme.
Informatik Spektrum 24(2): 81-90 (2001) |
141 | EE | Manfred Broy:
Refinement of time.
Theor. Comput. Sci. 253(1): 3-26 (2001) |
140 | EE | Manfred Broy,
Gheorghe Stefanescu:
The algebra of stream processing functions.
Theor. Comput. Sci. 258(1-2): 99-129 (2001) |
2000 |
139 | | 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
Springer 2000 |
138 | EE | Manfred Broy,
Martin Wirsing:
Invited Talk: Algebraic State Machines.
AMAST 2000: 89-188 |
137 | EE | Manfred Broy:
The Essence of Message Sequence Charts.
ISMSE 2000: 42-47 |
136 | | Manfred Broy:
Software Engineering as a Modelling Process.
JISBD 2000: 9 |
135 | EE | Detlef Schmid,
Manfred Broy:
. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.
Informatik Spektrum 23(2): 109-117 (2000) |
134 | EE | Manfred Broy:
Algebraic specification of reactive systems.
Theor. Comput. Sci. 239(1): 3-40 (2000) |
1999 |
133 | | Klaus Bergner,
Andreas Rausch,
Marc Sihling,
Alexander Vilbig,
Manfred Broy:
A Formal Model for Componentware.
FBT 1999: 17-26 |
132 | EE | Klaus Bergner,
Radu Grosu,
Andreas Rausch,
Alexander Schmidt,
Peter Scholz,
Manfred Broy:
Focusing on Mobility.
HICSS 1999 |
131 | | Manfred Broy:
From States to Histories.
WADT 1999: 22-36 |
130 | | Birgit Schieder,
Manfred Broy:
Adapting Calculational Logic to the Undefined.
Comput. J. 42(2): 73-81 (1999) |
129 | EE | Luqi,
Manfred Broy:
Preface - Software Engineering to our Planning Horizon.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
128 | EE | Manfred Broy,
Franz Huber,
Bernhard Schätz:
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform., Forsch. Entwickl. 14(3): 121-134 (1999) |
127 | EE | Manfred Broy,
Joachim W. Schmidt:
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt).
Informatik Spektrum 22(3): 206-209 (1999) |
126 | EE | Manfred Broy:
Software technology - formal methods and scientific foundations.
Information & Software Technology 41(14): 947-950 (1999) |
1998 |
125 | | Manfred Broy,
Bernhard Rumpe:
Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings
Springer 1998 |
124 | EE | Radu Grosu,
Gheorghe Stefanescu,
Manfred Broy:
Visual Formalisms Revisited.
ACSD 1998: 41-51 |
123 | | Ingolf Krüger,
Radu Grosu,
Peter Scholz,
Manfred Broy:
From MSCs to Statecharts.
DIPES 1998: 61-72 |
122 | | Manfred Broy,
Oscar Slotosch:
Enriching the Software Development Process by Formal Methods.
FM-Trends 1998: 44-61 |
121 | EE | Radu Grosu,
Thomas Stauner,
Manfred Broy:
A Modular Visual Model for Hybrid Systems.
FTRTFT 1998: 75-91 |
120 | EE | Manfred Broy,
Ingolf Krüger:
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts.
ICFEM 1998: 2- |
119 | EE | Manfred Broy:
A Logical Basis for Modular Software and Systems Engineering.
SOFSEM 1998: 19-35 |
118 | | Manfred Broy:
A Functional Rephrasing of the Assumption/Commitment Specification Style.
Formal Methods in System Design 13(1): 87-119 (1998) |
117 | EE | Manfred Broy,
Anton Deimel,
Juergen Henn,
Kai Koskimies,
Frantisek Plasil,
Gustav Pomberger,
Wolfgang Pree,
Michael Stal,
Clemens A. Szyperski:
What characterizes a (software) component?
Software - Concepts and Tools 19(1): 49-56 (1998) |
116 | EE | Manfred Broy:
A uniform mathematical concept of a component (Appendix to M. Broy et al.: ``What characterizes a (software) component?''.
Software - Concepts and Tools 19(1): 57-59 (1998) |
1997 |
115 | EE | Manfred Broy,
Christoph Hofmann,
Ingolf Krüger,
Monika Schmidt:
Using Extended Event Traces to Describe Communication in Software Architectures.
APSEC 1997: 203-212 |
114 | | Manfred Broy:
Refinement of Time.
ARTS 1997: 44-63 |
113 | EE | Manfred Broy:
Compositional Refinement of Interactive Systems Modelled by Relations.
COMPOS 1997: 130-149 |
112 | | Manfred Broy,
Radu Grosu,
Cornel Klein:
Reconciling Real-Time with Asynchronous Message Passing.
FME 1997: 182-200 |
111 | EE | 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 |
110 | | Manfred Broy,
Herbert Ehler,
Barbara Paech,
Veronika Thurner:
Innovation durch Kooperation im Software-Engineering.
GI Jahrestagung 1997: 503-504 |
109 | | Peter Hubwieser,
Manfred Broy:
Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht.
INFOS 1997: 40-50 |
108 | | 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 |
107 | | Manfred Broy,
Stefan Jähnichen:
KORSO - Korrekte Software durch formale Methoden.
Inform., Forsch. Entwickl. 12(3): 157-160 (1997) |
106 | EE | Manfred Broy:
Compositional refinement of interactive systems.
J. ACM 44(6): 850-891 (1997) |
105 | | Peter Hubwieser,
Manfred Broy:
Ein neuer Ansatz für den Informatikunterricht am Gymnasium.
LOG IN 17(3/4): 42- (1997) |
104 | | Manfred Broy:
Towards a Mathematical Concept of a Component and its Use.
Software - Concepts and Tools 18(3): 137- (1997) |
1996 |
103 | | Manfred Broy:
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany
NATO ASI DPD 1996 |
102 | | 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)
Springer 1996 |
101 | | 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
Springer 1996 |
100 | | Manfred Broy:
Algebraic Specification of Reactive Systems.
AMAST 1996: 487-503 |
99 | | Bernhard Schätz,
Heinrich Hußmann,
Manfred Broy:
Graphical Development of Consistent System Specifications.
FME 1996: 248-267 |
98 | | Manfred Broy:
Formal Description Techniques - How Formal and Descriptive are they?
FORTE 1996: 95-110 |
97 | | Manfred Broy:
Specification and refinement of a buffer of length one.
NATO ASI DPD 1996: 273-304 |
96 | | Manfred Broy:
Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant.
Formal Methods in System Design 8(3): 221-272 (1996) |
1995 |
95 | | Manfred Broy,
Stefan Jähnichen:
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Springer 1995 |
94 | | Manfred Broy,
Martin Wirsing:
Correct Software: From Experiments to Applications.
KORSO Book 1995: 1-26 |
93 | | Manfred Broy:
Mathematics of Software Engineering.
MPC 1995: 18-48 |
92 | | Manfred Broy:
Mathematical System Models as a Basis of Software Engineering.
Computer Science Today 1995: 292-306 |
91 | | Michal Walicki,
Manfred Broy:
Structured Specifications and Implementation of Nondeterministic Data Types.
Nord. J. Comput. 2(3): 358-395 (1995) |
1994 |
90 | | Manfred Broy:
Equations for Describing Dynamic Nets of Communicating Systems.
COMPASS/ADT 1994: 170-187 |
89 | | Manfred Broy,
Ursula Hinkel,
Tobias Nipkow,
Christian Prehofer,
Birgit Schieder:
Interpreter Verification for a Functional Language.
FSTTCS 1994: 77-88 |
88 | | Manfred Broy,
Ketil Stølen:
Specification and Refinement of Finite Dataflow Networks - a Relational Approach.
FTRTFT 1994: 247-267 |
87 | | Manfred Broy,
Leslie Lamport:
The RPC-Memory Specification Problem - Problem Statement.
Formal Systems Specification 1994: 1-4 |
86 | | Manfred Broy:
A Functional Solution to the RPC-Memory Specification Problem.
Formal Systems Specification 1994: 183-211 |
85 | | Manfred Broy,
Stephan Merz,
Katharina Spies:
The RPC-Memory Case Study: A Synopsis.
Formal Systems Specification 1994: 5-20 |
84 | | Manfred Broy:
Advanced Component Interface Specification.
Theory and Practice of Parallel Programming 1994: 369-392 |
83 | EE | Manfred Broy,
Greg Nelson:
Adding Fair Choice to Dijkstra's Calculus.
ACM Trans. Program. Lang. Syst. 16(3): 924-938 (1994) |
82 | | Manfred Broy:
Professor Friedrich L. Bauer zum 70. Geburtstag.
Informatik Spektrum 17(4): 258-259 (1994) |
1993 |
81 | | 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
Springer 1993 |
80 | | Manfred Broy,
Martin Wirsing:
Korrekte Software: Vom Experiment zur Anwendung.
GI Jahrestagung 1993: 29-43 |
79 | | Michael Breu,
Manfred Broy,
Thomas Grünler,
Friederike Nickl:
Semantics of PAnndA-S.
PROSPECTRA Book 1993: 171-222 |
78 | EE | Manfred Broy:
Functional Specification of Time-Sensitive Communicating Systems.
ACM Trans. Softw. Eng. Methodol. 2(1): 1-46 (1993) |
1992 |
77 | | Manfred Broy,
Thomas Streicher:
Modular functional modelling of Petri nets with individual tokens.
Advances in Petri Nets: The DEMON Project 1992: 70-88 |
76 | | Manfred Broy:
Reliable Systems Enginerring (Position Statement).
IFIP Congress (1) 1992: 683 |
75 | | Manfred Broy:
Algebraic and Functional Specification of an Interactive Serializable Database Interface.
Distributed Computing 6(1): 5-18 (1992) |
74 | | Manfred Broy:
Operational and denotational semantics with explicit concurrency.
Fundam. Inform. 16(3-4): 201-229 (1992) |
73 | | 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.
Informatik Spektrum 15(2): 89-100 (1992) |
72 | | Manfred Broy,
Claus Dendorfer:
Modelling Operating System Structures by Timed Stream Processing Functions.
J. Funct. Program. 2(1): 1-21 (1992) |
1991 |
71 | | Manfred Broy,
Martin Wirsing:
Method of Programming, Selected Papers on the CIP-Project
Springer 1991 |
70 | | Manfred Broy:
Deductive Program Development: Evaluation in Reverse Polish Notation as an Example.
Methods of Programming 1991: 79-99 |
69 | | Manfred Broy:
Towards a Formal Foundation of the Specification and Description Language SDL.
Formal Asp. Comput. 3(1): 21-57 (1991) |
68 | | Manfred Broy,
Christian Lengauer:
On Denotational versus Predicative Semantics.
J. Comput. Syst. Sci. 42(1): 1-29 (1991) |
1990 |
67 | | Manfred Broy:
Methodological Objectives for Formal Description Techniques.
FORTE 1990: 1-16 |
1989 |
66 | | Manfred Broy:
Functional Specification of Communicating Systems.
IFIP Congress 1989: 851-856 |
65 | | Manfred Broy:
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering.
IFIP Congress 1989: 953 |
64 | | Manfred Broy:
Functional Specification of Time Sensitive Communicating Systems.
REX Workshop 1989: 153-179 |
63 | | Martin Wirsing,
Manfred Broy:
A Modular Framework for Specification and Implementation.
TAPSOFT, Vol.1 1989: 42-73 |
1988 |
62 | | Manfred Broy:
Requirement and Design Specification for Distributed Systems.
Concurrency 1988: 33-62 |
61 | | Manfred Broy:
Spezifikation und Entwurf komplexer, kausal vernetzter Systeme.
GI Jahrestagung (1) 1988: 34-55 |
60 | | Manfred Broy,
Martin Wirsing:
Ultra-loose algebraic specifications.
Bulletin of the EATCS 35: 117-127 (1988) |
59 | | Manfred Broy:
Broadcasting Buffering Communication.
Comput. Lang. 13(1): 31-47 (1988) |
58 | | Manfred Broy:
Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly.
Sci. Comput. Program. 10(1): 65-85 (1988) |
57 | | Manfred Broy:
Equational Specification of Partial Higher-Order Algebras.
Theor. Comput. Sci. 57: 3-45 (1988) |
1987 |
56 | EE | Manfred Broy,
Martin Wirsing,
Peter Pepper:
On the Algebraic Definition of Programming Languages.
ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987) |
55 | | Manfred Broy:
Semantics of Finite and Infinite Networks of Concurrent Communicating Agents.
Distributed Computing 2(1): 13-31 (1987) |
54 | | Manfred Broy:
Predicative Specifications for Functional Programs Describing Communication Networks.
Inf. Process. Lett. 25(2): 93-101 (1987) |
53 | | Manfred Broy:
Specification and Top-Down Design of Distributed Systems.
J. Comput. Syst. Sci. 34(2/3): 236-265 (1987) |
1986 |
52 | | Manfred Broy,
Alfons Geser,
Heinrich Hußmann:
Towards Advanced Programming Environments Based on Algebraic Concepts.
Advanced Programming Environments 1986: 554-470 |
51 | | Manfred Broy:
Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).
MFCS 1986: 29-43 |
50 | | Manfred Broy,
Thomas Streicher:
Views of Distributed Systems.
Mathematical Models for the Semantics of Parallelism 1986: 114-143 |
49 | | Manfred Broy:
Denotational Semantics of Communicating Sequential Programs.
Inf. Process. Lett. 23(5): 253-259 (1986) |
48 | | Manfred Broy,
Bernhard Möller,
Peter Pepper,
Martin Wirsing:
Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program. 7(1): 35-53 (1986) |
47 | | Manfred Broy:
A Theory for Nondeterminism, Parallelism, Communication, and Concurrency.
Theor. Comput. Sci. 45(1): 1-61 (1986) |
1985 |
46 | | 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
Springer 1985 |
45 | | Manfred Broy:
Specification and Top Down Design of Distributed Systems.
TAPSOFT, Vol.1 1985: 4-28 |
44 | | Manfred Broy:
Rechnergestützte Systeme für den Programmentwurf.
Wissensbasierte Systeme 1985: 58-69 |
43 | | Manfred Broy,
Andrzej Tarlecki:
Algebraic specification of the abstract data type "Continuum".
Bulletin of the EATCS 26: 32-35 (1985) |
42 | | Manfred Broy:
On the Herbrand-Kleene Universe for Nondeterministic Computations.
Theor. Comput. Sci. 36: 1-19 (1985) |
1984 |
41 | | Manfred Broy:
On the Herbrand Kleene Universe for Nondeterministic Computations.
MFCS 1984: 214-222 |
40 | | Manfred Broy:
Denotational Semantics of Concurrent Programs with Shared Memory.
STACS 1984: 163-173 |
39 | | Manfred Broy:
Semantics of Communicating Processes
Information and Control 61(3): 202-246 (1984) |
38 | | Manfred Broy,
Friedrich L. Bauer:
A Systematic Approach to Language Constructs for Concurrent Programs.
Sci. Comput. Program. 4(2): 103-139 (1984) |
37 | | Manfred Broy,
Martin Wirsing,
C. Pair:
A Systematic Study of Models of Abstract Data Types.
Theor. Comput. Sci. 33: 139-174 (1984) |
1983 |
36 | | Manfred Broy,
Martin Wirsing:
Generalized Heterogeneous Algebras.
ADT 1983 |
35 | | Manfred Broy,
Martin Wirsing:
Generalized Heterogeneous Algebras and Partial Interpretations.
CAAP 1983: 1-34 |
34 | | Manfred Broy:
Funktionales Programmieren - Programmieren mit Funktionalen.
GI Jahrestagung 1983: 24-40 |
33 | | Manfred Broy:
Applicative Real-Time Programming.
IFIP Congress 1983: 259-264 |
32 | | Manfred Broy,
Martin Wirsing:
Algebraic Definition of a Functional Programming Language and Its Semantic Models.
ITA 17(2): 137-161 (1983) |
31 | | Manfred Broy:
Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming.
Inf. Process. Lett. 17(1): 29-35 (1983) |
1982 |
30 | EE | 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) |
29 | | Manfred Broy,
Martin Wirsing:
Partial Abstract Types.
Acta Inf. 18: 47-64 (1982) |
28 | | Peter Pepper,
Manfred Broy,
Friedrich L. Bauer,
Helmuth Partsch,
Walter Dosch,
Martin Wirsing:
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Informatik Spektrum 5(2): 107-119 (1982) |
1981 |
27 | | Manfred Broy,
Martin Wirsing:
On the Algebraic Specification of Nondeterministic Programming Languages.
CAAP 1981: 162-179 |
26 | | Manfred Broy:
On language constructs for concurrent programs.
CONPAR 1981: 141-154 |
25 | | Manfred Broy:
Prospects of New Tools for Software Development.
ECI 1981: 106-121 |
24 | | 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 |
23 | | Manfred Broy:
Are Fairness Assumptions Fair?
ICDCS 1981: 116-125 |
22 | | Manfred Broy,
Martin Wirsing:
On the Algebraic Extensions of Abstract Data Types.
ICFPC 1981: 244-251 |
21 | | Jan A. Bergstra,
Manfred Broy,
J. V. Tucker,
Martin Wirsing:
On the Power of Algebraic Specifications.
MFCS 1981: 193-204 |
20 | | Manfred Broy,
Peter Pepper:
Program Development as a Formal Activity.
IEEE Trans. Software Eng. 7(1): 14-23 (1981) |
19 | | Manfred Broy,
Rupert Gnatz,
Martin Wirsing:
Nichtdeterminismus - Das aktuelle Schlagwort.
Informatik Spektrum 4(2): 125-126 (1981) |
18 | | 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) |
1980 |
17 | | Manfred Broy,
Martin Wirsing:
Programming languages as abstract data types.
CLAAP 1980: 160-177 |
16 | | Manfred Broy,
Helmuth Partsch,
Peter Pepper,
Martin Wirsing:
Semantic Relations in Programming Languages.
IFIP Congress 1980: 101-106 |
15 | | Martin Wirsing,
Manfred Broy:
Abstract Data Types as Lattices of Finitely Generated Models.
MFCS 1980: 673-685 |
14 | | Manfred Broy,
Peter Pepper,
Martin Wirsing:
On Relations Between Programs.
Symposium on Programming 1980: 59-78 |
13 | | Manfred Broy:
Zur Spezifikation von Programmen für die Textverarbeitung.
Textverarbeitung und Informatik 1980: 75-93 |
12 | EE | 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) |
11 | | Manfred Broy,
Martin Wirsing:
Program Development: From Enumeration to Backtracking.
Inf. Process. Lett. 10(4/5): 193-197 (1980) |
10 | | Manfred Broy:
Transformational Semantics for Concurrent Programs.
Inf. Process. Lett. 11(2): 87-91 (1980) |
9 | | Friedrich L. Bauer,
Manfred Broy,
Helmuth Partsch,
Peter Pepper:
Programmtransformationen - Das aktuelle Schlagwort.
Informatik Spektrum 3(3): 192-193 (1980) |
1979 |
8 | | Friedrich L. Bauer,
Manfred Broy:
Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany
Springer 1979 |
7 | | Manfred Broy,
Walter Dosch,
Helmuth Partsch,
Peter Pepper,
Martin Wirsing:
Existential Quantifiers in Abstract Data Types.
ICALP 1979: 73-87 |
6 | | Manfred Broy,
Martin Wirsing,
Jean-Pierre Finance,
Alain Quéré,
Jean-Luc Remy:
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett. 8(5): 224-229 (1979) |
1978 |
5 | | 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 |
4 | | Friedrich L. Bauer,
Manfred Broy,
Helmuth Partsch,
Peter Pepper,
Hans Wössner:
Systematics of Transformation Rules.
Program Construction 1978: 273-289 |
3 | | Helmuth Partsch,
Manfred Broy:
Examples for Change of Types and Object Structures.
Program Construction 1978: 421-463 |
2 | | 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 |
1 | | Manfred Broy,
Rupert Gnatz,
Martin Wirsing:
Semantics of Nondeterministic and Noncontinuous Constructs.
Program Construction 1978: 553-592 |