 | 2010 |
|---|
| 224 |       | Manfred Broy,
David Cruz,
Martin Deubler,
Kim Lauenroth,
Klaus Pohl,
Ernst Sikora:
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020).
Software Engineering 2010: 240 |
| 223 | | Stefan Wagner,
Manfred Broy,
Florian Deißenböck,
Jürgen Münch,
Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung (SQMB).
Software Engineering 2010: 250 |
| 222 |  | Stefan Wagner,
Manfred Broy,
Florian Deißenböck,
Michael Kläs,
Peter Liggesmeyer,
Jürgen Münch,
Jonathan Streit:
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda.
Informatik Spektrum 33(1): 37-44 (2010) |
| 2009 |
|---|
| 221 | | Manfred Broy:
From system requirements documents to integrated system modeling artifacts.
ACM Symposium on Document Engineering 2009: 98 |
| 220 | | Manfred Broy:
Seamless Model Driven Systems Engineering Based on Formal Models.
ICFEM 2009: 1-19 |
| 219 | | Manfred Broy,
Christian Leuxner,
Wassiou Sitou,
Bernd Spanfelner,
Sebastian Winter:
Formalizing the notion of adaptive system behavior.
SAC 2009: 1029-1033 |
| 218 | | 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- |
| 217 | | Brian Berenbach,
Manfred Broy:
Professional and Ethical Dilemmas in Software Engineering.
IEEE Computer 42(1): 74-80 (2009) |
| 216 | | Manfred Broy,
Albert Endres:
Informatik überall, jederzeit und für alle.
Informatik Spektrum 32(2): 153-162 (2009) |
| 215 | | Herbert Weber,
Manfred Broy:
Systemorientiertes Automotive Engineering.
Informatik Spektrum 32(3): 206-213 (2009) |
| 214 | | 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 | | 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 | | Kamel Barkaoui,
Manfred Broy,
Ana Cavalcanti,
Antonio Cerone:
Guest Editorial.
Formal Asp. Comput. 20(4-5): 349-350 (2008) |
| 207 | | 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 | | 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 | | 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 | | Manfred Broy,
Johannes Siedersleben,
Clemens A. Szyperski:
CoCoME Jury Evaluation and Conclusion.
CoCoME 2007: 449-458 |
| 202 | | Alexander Pretschner,
Manfred Broy,
Ingolf H. Krüger,
Thomas Stauner:
Software Engineering for Automotive Systems: A Roadmap.
FOSE 2007: 55-71 |
| 201 | | Manfred Broy:
From "Formal Methods" to System Modeling.
Formal Methods and Hybrid Real-Time Systems 2007: 24-44 |
| 200 | | Manfred Broy:
Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture.
SERA 2007: 3-12 |
| 199 | | Manfred Broy:
Interaction and Realizability.
SOFSEM (1) 2007: 29-50 |
| 198 | | Manfred Broy,
Ingolf H. Krüger,
Michael Meisinger:
A formal model of services.
ACM Trans. Softw. Eng. Methodol. 16(1): (2007) |
| 197 | | Manfred Broy:
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones.
ISSE 3(1): 75-102 (2007) |
| 196 | | 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 | | Manfred Broy,
Bernhard Rumpe:
Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.
Informatik Spektrum 30(1): 3-18 (2007) |
| 194 | | Manfred Broy,
Eva Geisberger,
Jürgen Kazmeier,
Arnold Rudorfer,
Klaus Beetz:
Ein Requirements-Engineering-Referenzmodell.
Informatik Spektrum 30(3): 127-142 (2007) |
| 193 | | Manfred Broy:
Editorial comment to 'About "trivial" software patents: The IsNot case'.
Sci. Comput. Program. 64(3): 263 (2007) |
| 192 | | 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 | | Manfred Broy:
From Chaos to Undefinedness.
Essays Dedicated to Joseph A. Goguen 2006: 476-496 |
| 189 | | Manfred Broy:
Challenges in automotive software engineering.
ICSE 2006: 33-42 |
| 188 | | Manfred Broy:
Requirements Engineering as a Key to Holistic Software Quality.
ISCIS 2006: 24-34 |
| 187 | | 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 | | Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
SEW 2006: 85-88 |
| 185 | | Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
IEEE Computer 39(10): 72-80 (2006) |
| 184 | | 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 | | 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 | | Manfred Broy:
Automotive software and systems engineering (Panel).
MEMOCODE 2005: 143-149 |
| 180 | | Manfred Broy:
The Impact of Models in Software Development.
Mechanizing Mathematical Reasoning 2005: 396-406 |
| 179 | | Dominikus Herzberg,
Manfred Broy:
Modeling layered distributed communication systems.
Formal Asp. Comput. 17(1): 1-18 (2005) |
| 178 | | 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 | | Manfred Broy,
Andreas Rausch:
Das neue V-Modell® XT.
Informatik Spektrum 28(3): 220-229 (2005) |
| 176 | | Arndt Bode,
Manfred Broy,
Dirk Taubner:
Software auf dem Weg zur Industrialisierung.
Informatik Spektrum 28(4): 269 (2005) |
| 175 | | Manfred Broy:
A semantic and methodological essence of message sequence charts.
Sci. Comput. Program. 54(2-3): 213-256 (2005) |
| 2004 |
|---|
| 174 | | Manfred Broy:
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.
Architecting Systems with Trustworthy Components 2004: 26-47 |
| 173 | | Manfred Broy:
Distributed Concurrent Object-Oriented Software.
Essays in Memory of Ole-Johan Dahl 2004: 83-95 |
| 172 | | Manfred Broy:
Architecture Driven Modeling in Software Development.
ICECCS 2004: 3-12 |
| 171 | | 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 | | Manfred Broy:
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 108: 3-9 (2004) |
| 169 | | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial.
Formal Asp. Comput. 16(3): 165- (2004) |
| 168 | | 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 | | Manfred Broy:
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.
FORTE 2003: 48-61 |
| 165 | | Manfred Broy:
Automotive Software Engineering.
ICSE 2003: 719-720 |
| 164 | | Manfred Broy:
Modular Hierarchies of Models for Embedded Systems.
MEMOCODE 2003: 183- |
| 163 | | Manfred Broy:
Engineering Software Intensive Systems.
SNPD 2003: 1-5 |
| 162 | | Manfred Broy:
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.
Verification: Theory and Practice 2003: 161-181 |
| 161 | | Friedrich L. Bauer,
Manfred Broy:
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf.
Acta Inf. 39(3): 141-142 (2003) |
| 160 | | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial: Where Theory and Practice Meet.
Formal Asp. Comput. 15(4): 297-298 (2003) |
| 159 | | Manfred Broy:
Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern.
Informatik Spektrum 26(1): 13-16 (2003) |
| 158 | | 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 | | Manfred Broy:
Multi-view Modeling of Software Systems.
10th Anniversary Colloquium of UNU/IIST 2002: 207-225 |
| 156 | | Manfred Broy:
Message Sequence Charts in the Development Process - Role and Limitations.
Electr. Notes Theor. Comput. Sci. 65(7): (2002) |
| 155 | | Manfred Broy,
Johannes Siedersleben:
Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung.
Informatik Spektrum 25(1): 3-11 (2002) |
| 154 | | 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 | | Manfred Broy,
H. Dieter Rombach:
Software Engineering Wurzeln, Stand und Perspektiven.
Informatik Spektrum 25(6): 438-451 (2002) |
| 152 | | 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 | | 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 | | Manfred Broy:
Letter from the Editor.
Acta Inf. 37(4/5): 227-228 (2001) |
| 145 | | Manfred Broy,
Susanne Hartkopf,
Kirstin Kohler,
H. Dieter Rombach:
Germany: Combining Software and Application Competencies.
IEEE Software 18(4): 93-95, 100 (2001) |
| 144 | | Manfred Broy:
Toward a Mathematical Foundation of Software Engineering Methods.
IEEE Trans. Software Eng. 27(1): 42-57 (2001) |
| 143 | | 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 | | 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 | | Manfred Broy:
Refinement of time.
Theor. Comput. Sci. 253(1): 3-26 (2001) |
| 140 | | 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 | | Manfred Broy,
Martin Wirsing:
Invited Talk: Algebraic State Machines.
AMAST 2000: 89-188 |
| 137 | | 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 | | 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 | | 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 | | 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 | | Luqi,
Manfred Broy:
Preface - Software Engineering to our Planning Horizon.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 128 | | Manfred Broy,
Franz Huber,
Bernhard Schätz:
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform., Forsch. Entwickl. 14(3): 121-134 (1999) |
| 127 | | Manfred Broy,
Joachim W. Schmidt:
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt).
Informatik Spektrum 22(3): 206-209 (1999) |
| 126 | | 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 | | 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 | | Radu Grosu,
Thomas Stauner,
Manfred Broy:
A Modular Visual Model for Hybrid Systems.
FTRTFT 1998: 75-91 |
| 120 | | Manfred Broy,
Ingolf Krüger:
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts.
ICFEM 1998: 2- |
| 119 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 |
