default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manfred Broy
@article{DBLP:journals/fac/Broy24,
author = {Manfred Broy},
title = {A Calculus for the Specification, Design, and Verification of Distributed
Concurrent Systems},
journal = {Formal Aspects Comput.},
volume = {36},
number = {3},
pages = {16:1--16:54},
year = {2024},
url = {https://doi.org/10.1145/3672085},
doi = {10.1145/3672085},
timestamp = {Sat, 21 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Broy24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BroyS24,
author = {Manfred Broy and
Bran Selic},
title = {Specifying and Composing Layered Architectures},
journal = {J. Object Technol.},
volume = {23},
number = {1},
pages = {1},
year = {2024},
url = {https://doi.org/10.5381/jot.2024.23.1.a2},
doi = {10.5381/JOT.2024.23.1.A2},
timestamp = {Sun, 18 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BroyS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Broy24,
author = {Manfred Broy},
title = {Time, causality, and realizability: Engineering interactive, distributed
software systems},
journal = {J. Syst. Softw.},
volume = {210},
pages = {111940},
year = {2024},
url = {https://doi.org/10.1016/j.jss.2023.111940},
doi = {10.1016/J.JSS.2023.111940},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/Broy24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BroyR23,
author = {Manfred Broy and
Bernhard Rumpe},
title = {Development Use Cases for Semantics-Driven Modeling Languages},
journal = {Commun. {ACM}},
volume = {66},
number = {5},
pages = {62--71},
year = {2023},
url = {https://doi.org/10.1145/3569927},
doi = {10.1145/3569927},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BroyR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BroySW23,
author = {Manfred Broy and
Albrecht Schmidt and
Martin Wirsing},
title = {In memory of Heinrich Hussmann, long-time friend and SoSyM editor},
journal = {Softw. Syst. Model.},
volume = {22},
number = {2},
pages = {453--454},
year = {2023},
url = {https://doi.org/10.1007/s10270-023-01099-0},
doi = {10.1007/S10270-023-01099-0},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BroySW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Broy23,
author = {Manfred Broy},
title = {Specification and verification of concurrent systems by causality
and realizability},
journal = {Theor. Comput. Sci.},
volume = {974},
pages = {114106},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114106},
doi = {10.1016/J.TCS.2023.114106},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Broy23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Broy22,
author = {Manfred Broy},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Software System Documentation: Coherent Description of Software System
Properties},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {10--27},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_2},
doi = {10.1007/978-3-031-19756-7\_2},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/Broy22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KugeleB22,
author = {Stefan Kugele and
Manfred Broy},
title = {Architecture as a Backbone for Safe DevOps in Automotive Systems},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {4145--4150},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9922097},
doi = {10.1109/ITSC55140.2022.9922097},
timestamp = {Thu, 10 Nov 2022 21:13:36 +0100},
biburl = {https://dblp.org/rec/conf/itsc/KugeleB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Broy22,
author = {Manfred Broy},
editor = {Krzysztof R. Apt and
Tony Hoare},
title = {Edsger W. Dijkstra as a Lecturer in Marktoberdorf},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
series = {{ACM} Books},
volume = {45},
pages = {493--510},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2022},
url = {https://doi.org/10.1145/3544585.3544616},
doi = {10.1145/3544585.3544616},
timestamp = {Tue, 29 Aug 2023 07:46:41 +0200},
biburl = {https://dblp.org/rec/books/mc/22/Broy22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/21/BK2021,
author = {Manfred Broy and
Marco Kuhrmann},
title = {Einf{\"{u}}hrung in die Softwaretechnik},
series = {Xpert.press},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-50263-1},
doi = {10.1007/978-3-662-50263-1},
isbn = {978-3-662-50262-4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/BK2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy21,
author = {Manfred Broy},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Refining the Safety-Liveness Classification of Temporal Properties
According to Realizability},
booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
pages = {10--31},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6\_2},
doi = {10.1007/978-3-030-87348-6\_2},
timestamp = {Thu, 18 Nov 2021 08:40:03 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Broy21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/Broy0R21,
author = {Manfred Broy and
Wolfgang B{\"{o}}hm and
Bernhard Rumpe},
editor = {Wolfgang B{\"{o}}hm and
Manfred Broy and
Cornel Klein and
Klaus Pohl and
Bernhard Rumpe and
Sebastian Schr{\"{o}}ck},
title = {Advanced Systems Engineering},
booktitle = {Model-Based Engineering of Collaborative Embedded Systems},
pages = {353--364},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-62136-0\_19},
doi = {10.1007/978-3-030-62136-0\_19},
timestamp = {Sat, 30 Sep 2023 09:32:41 +0200},
biburl = {https://dblp.org/rec/books/sp/21/Broy0R21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/21/BBKPRS2021,
editor = {Wolfgang B{\"{o}}hm and
Manfred Broy and
Cornel Klein and
Klaus Pohl and
Bernhard Rumpe and
Sebastian Schr{\"{o}}ck},
title = {Model-Based Engineering of Collaborative Embedded Systems},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-62136-0},
doi = {10.1007/978-3-030-62136-0},
isbn = {978-3-030-62135-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/BBKPRS2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HehnMUBB20,
author = {Jennifer Hehn and
Daniel M{\'{e}}ndez and
Falk Uebernickel and
Walter Brenner and
Manfred Broy},
title = {On Integrating Design Thinking for Human-Centered Requirements Engineering},
journal = {{IEEE} Softw.},
volume = {37},
number = {2},
pages = {25--31},
year = {2020},
url = {https://doi.org/10.1109/MS.2019.2957715},
doi = {10.1109/MS.2019.2957715},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/HehnMUBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/19/Broy2019,
author = {Manfred Broy},
title = {Logische und Methodische Grundlagen der Programm- und Systementwicklung:
Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung
- Unter Mitarbeit von Alexander Malkis},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-658-26302-7},
doi = {10.1007/978-3-658-26302-7},
isbn = {978-3-658-26302-7},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/Broy2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BroyDS19,
author = {Manfred Broy and
Heinrich Daembkes and
Janos Sztipanovits},
title = {Editorial to the theme section on model-based design of cyber-physical
systems},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1575--1576},
year = {2019},
url = {https://doi.org/10.1007/s10270-018-0670-9},
doi = {10.1007/S10270-018-0670-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BroyDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FernandezBVMBKW19,
author = {Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
Wolfgang B{\"{o}}hm and
Andreas Vogelsang and
Jakob Mund and
Manfred Broy and
Marco Kuhrmann and
Thorsten Weyer},
title = {Artefacts in software engineering: a fundamental positioning},
journal = {Softw. Syst. Model.},
volume = {18},
number = {5},
pages = {2777--2786},
year = {2019},
url = {https://doi.org/10.1007/s10270-019-00714-3},
doi = {10.1007/S10270-019-00714-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/FernandezBVMBKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Broy19,
author = {Manfred Broy},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {Seamless Model-Based System Development: Foundations - (Extended Abstract)},
booktitle = {Engineering Trustworthy Software Systems - 5th International School,
{SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12154},
pages = {1--9},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-55089-9\_1},
doi = {10.1007/978-3-030-55089-9\_1},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/Broy19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07223,
author = {Jennifer Hehn and
Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
Falk Uebernickel and
Walter Brenner and
Manfred Broy},
title = {On Integrating Design Thinking for a Human-centered Requirements Engineering},
journal = {CoRR},
volume = {abs/1908.07223},
year = {2019},
url = {http://arxiv.org/abs/1908.07223},
eprinttype = {arXiv},
eprint = {1908.07223},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Broy18,
author = {Manfred Broy},
title = {Theory and methodology of assumption/commitment based system interface
specification and architectural contracts},
journal = {Formal Methods Syst. Des.},
volume = {52},
number = {1},
pages = {33--87},
year = {2018},
url = {https://doi.org/10.1007/s10703-017-0304-9},
doi = {10.1007/S10703-017-0304-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Broy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Broy18,
author = {Manfred Broy},
title = {Yesterday, Today, and Tomorrow: 50 Years of Software Engineering},
journal = {{IEEE} Softw.},
volume = {35},
number = {5},
pages = {38--43},
year = {2018},
url = {https://doi.org/10.1109/MS.2018.290111138},
doi = {10.1109/MS.2018.290111138},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Broy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BroyR18,
author = {Manfred Broy and
Bernhard Rumpe},
title = {In memory of Bernhard Sch{\"{a}}tz, long- time friend and SoSyM
editor},
journal = {Softw. Syst. Model.},
volume = {17},
number = {1},
pages = {5--7},
year = {2018},
url = {https://doi.org/10.1007/s10270-018-0657-6},
doi = {10.1007/S10270-018-0657-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BroyR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Broy18,
author = {Manfred Broy},
title = {A logical approach to systems engineering artifacts: semantic relationships
and dependencies beyond traceability - from requirements to functional
and architectural views},
journal = {Softw. Syst. Model.},
volume = {17},
number = {2},
pages = {365--393},
year = {2018},
url = {https://doi.org/10.1007/s10270-017-0619-4},
doi = {10.1007/S10270-017-0619-4},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Broy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BroyHKS18,
author = {Manfred Broy and
Klaus Havelund and
Rahul Kumar and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Unified View of Modeling and Programming (ISoLA 2018 Track
Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {3--21},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_1},
doi = {10.1007/978-3-030-03418-4\_1},
timestamp = {Sun, 09 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BroyHKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Broy18,
author = {Manfred Broy},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {On Architecture Specification},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {19--39},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_2},
doi = {10.1007/978-3-319-73117-9\_2},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Broy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/Broy18,
author = {Manfred Broy},
editor = {Volker Gruhn and
R{\"{u}}diger Striemer},
title = {The Leading Role of Software and Systems Architecture in the Age of
Digitization},
booktitle = {The Essence of Software Engineering},
pages = {1--23},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73897-0\_1},
doi = {10.1007/978-3-319-73897-0\_1},
timestamp = {Fri, 31 Jan 2020 21:31:48 +0100},
biburl = {https://dblp.org/rec/books/sp/18/Broy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018sefaias,
editor = {Reinhard Stolle and
Stephan Scholz and
Manfred Broy},
title = {1st {IEEE/ACM} International Workshop on Software Engineering for
{AI} in Autonomous Systems, SEFAIAS@ICSE 2018, Gothenburg, Sweden,
May 28, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194085},
doi = {10.1145/3194085},
isbn = {978-1-4503-5739-5},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018sefaias.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-00098,
author = {Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
Wolfgang B{\"{o}}hm and
Andreas Vogelsang and
Jakob Mund and
Manfred Broy and
Marco Kuhrmann and
Thorsten Weyer},
title = {Artefacts in Software Engineering: What are they after all?},
journal = {CoRR},
volume = {abs/1806.00098},
year = {2018},
url = {http://arxiv.org/abs/1806.00098},
eprinttype = {arXiv},
eprint = {1806.00098},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-00098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BodeBBM17,
author = {Arndt Bode and
Manfred Broy and
Hans{-}Joachim Bungartz and
Florian Matthes},
title = {50 Jahre Informatik an den Universit{\"{a}}ten in M{\"{u}}nchen},
journal = {Inform. Spektrum},
volume = {40},
number = {2},
pages = {139--140},
year = {2017},
url = {https://doi.org/10.1007/s00287-017-1033-6},
doi = {10.1007/S00287-017-1033-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BodeBBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Broy17,
author = {Manfred Broy},
title = {Informatik als Wissenschaft an der Technischen Universit{\"{a}}t
M{\"{u}}nchen und ihre Anwendung in Wirtschaft und Gesellschaft},
journal = {Inform. Spektrum},
volume = {40},
number = {2},
pages = {201--204},
year = {2017},
url = {https://doi.org/10.1007/s00287-017-1024-7},
doi = {10.1007/S00287-017-1024-7},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Broy17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BrennerBL17,
author = {Walter Brenner and
Manfred Broy and
Jan Marco Leimeister},
title = {Auf dem Weg zu einer Informatik neuer Pr{\"{a}}gung in Wissenschaft,
Studium und Wirtschaft},
journal = {Inform. Spektrum},
volume = {40},
number = {6},
pages = {602--606},
year = {2017},
url = {https://doi.org/10.1007/s00287-017-1066-x},
doi = {10.1007/S00287-017-1066-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BrennerBL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/KugeleOBCTH17,
author = {Stefan Kugele and
Philipp Obergfell and
Manfred Broy and
Oliver Creighton and
Matthias Traub and
Wolfgang Hopfensitz},
title = {On Service-Orientation for Automotive Software},
booktitle = {2017 {IEEE} International Conference on Software Architecture, {ICSA}
2017, Gothenburg, Sweden, April 3-7, 2017},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSA.2017.20},
doi = {10.1109/ICSA.2017.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/KugeleOBCTH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KuhrmannTFRB17,
author = {Marco Kuhrmann and
Thomas Ternit{\'{e}} and
Jan Friedrich and
Andreas Rausch and
Manfred Broy},
editor = {Jan J{\"{u}}rjens and
Kurt Schneider},
title = {Flexible software process lines in practice: {A} metamodel-based approach
to effectively construct and manage families of software process models},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-24. Februar 2017, Hannover, Deutschland},
series = {{LNI}},
volume = {{P-267}},
pages = {127--128},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/1305},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KuhrmannTFRB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/Broy17,
author = {Manfred Broy},
editor = {Arndt Bode and
Manfred Broy and
Hans{-}Joachim Bungartz and
Florian Matthes},
title = {Informatik als Wissenschaft an der Technischen Universit{\"{a}}t
M{\"{u}}nchen und ihre Anwendung in Wirtschaft und Gesellschaft},
booktitle = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
pages = {197--201},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54712-0\_17},
doi = {10.1007/978-3-662-54712-0\_17},
timestamp = {Fri, 02 Dec 2022 12:49:56 +0100},
biburl = {https://dblp.org/rec/books/sp/17/Broy17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/17/BBBM2017,
editor = {Arndt Bode and
Manfred Broy and
Hans{-}Joachim Bungartz and
Florian Matthes},
title = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54712-0},
doi = {10.1007/978-3-662-54712-0},
isbn = {978-3-662-54711-3},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/17/BBBM2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyPE16,
author = {Manfred Broy and
Christian Prehofer and
Hermann Engesser},
title = {Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung
und Forschung},
journal = {Inform. Spektrum},
volume = {39},
number = {6},
pages = {436--443},
year = {2016},
url = {https://doi.org/10.1007/s00287-016-0995-0},
doi = {10.1007/S00287-016-0995-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyPE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KuhrmannTFRB16,
author = {Marco Kuhrmann and
Thomas Ternit{\'{e}} and
Jan Friedrich and
Andreas Rausch and
Manfred Broy},
title = {Flexible software process lines in practice: {A} metamodel-based approach
to effectively construct and manage families of software process models},
journal = {J. Syst. Softw.},
volume = {121},
pages = {49--71},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.07.031},
doi = {10.1016/J.JSS.2016.07.031},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/KuhrmannTFRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Broy16,
author = {Manfred Broy},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {From Actions, Transactions, and Processes to Services},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {13--19},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_2},
doi = {10.1007/978-3-319-39086-4\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Broy16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BroyHKS16,
author = {Manfred Broy and
Klaus Havelund and
Rahul Kumar and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Unified View of Modeling and Programming (Track Summary)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {3--10},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_1},
doi = {10.1007/978-3-319-47169-3\_1},
timestamp = {Sun, 09 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BroyHKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BroyHK16,
author = {Manfred Broy and
Klaus Havelund and
Rahul Kumar},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Unified View of Modeling and Programming},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {238--257},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_17},
doi = {10.1007/978-3-319-47169-3\_17},
timestamp = {Sun, 09 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BroyHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Broy16,
author = {Manfred Broy},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Model-centric Assumption Promise Specification},
booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
on Model-Driven Engineering and Software Development, Rome, Italy,
19-21 February, 2016},
pages = {5},
publisher = {SciTePress},
year = {2016},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Broy16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/PohlBDH16,
author = {Klaus Pohl and
Manfred Broy and
Heinrich Daembkes and
Harald H{\"{o}}nninger},
editor = {Klaus Pohl and
Manfred Broy and
Heinrich Daembkes and
Harald H{\"{o}}nninger},
title = {Advanced Model-Based Engineering of Embedded Systems},
booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of
the {SPES} 2020 Methodology},
pages = {3--9},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48003-9\_1},
doi = {10.1007/978-3-319-48003-9\_1},
timestamp = {Tue, 16 May 2017 14:01:44 +0200},
biburl = {https://dblp.org/rec/books/sp/16/PohlBDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/Broy16,
author = {Manfred Broy},
editor = {Klaus Pohl and
Manfred Broy and
Heinrich Daembkes and
Harald H{\"{o}}nninger},
title = {Outlook},
booktitle = {Advanced Model-Based Engineering of Embedded Systems, Extensions of
the {SPES} 2020 Methodology},
pages = {273--276},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48003-9\_16},
doi = {10.1007/978-3-319-48003-9\_16},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/16/Broy16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/spes2016,
editor = {Klaus Pohl and
Manfred Broy and
Heinrich Daembkes and
Harald H{\"{o}}nninger},
title = {Advanced Model-Based Engineering of Embedded Systems, Extensions of
the {SPES} 2020 Methodology},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48003-9},
doi = {10.1007/978-3-319-48003-9},
isbn = {978-3-319-48002-2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/spes2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Broy15,
author = {Manfred Broy},
title = {A life dedicated to informatics: an obituary for Prof. Friedrich L.
Bauer},
journal = {Acta Informatica},
volume = {52},
number = {4-5},
pages = {299--301},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0241-2},
doi = {10.1007/S00236-015-0241-2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Broy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Broy15,
author = {Manfred Broy},
title = {Rethinking Nonfunctional Software Requirements},
journal = {Computer},
volume = {48},
number = {5},
pages = {96--99},
year = {2015},
url = {https://doi.org/10.1109/MC.2015.139},
doi = {10.1109/MC.2015.139},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Broy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Broy15,
author = {Manfred Broy},
title = {Computability and realizability for interactive computations},
journal = {Inf. Comput.},
volume = {241},
pages = {277--301},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2014.12.019},
doi = {10.1016/J.IC.2014.12.019},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Broy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy15,
author = {Manfred Broy},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Pragmatic Formal Specification of System Properties by Tables},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {329--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_21},
doi = {10.1007/978-3-319-15545-6\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JunkerBH0FEJJV15,
author = {Maximilian Junker and
Manfred Broy and
Benedikt Hauptmann and
Wolfgang B{\"{o}}hm and
Henning Femmer and
Sebastian Eder and
Elmar J{\"{u}}rgens and
Rainer Jan{\ss}en and
Rudolf Vaas},
editor = {Rakesh Shukla and
Sagar Sen and
Forrest Shull and
Judith Bishop},
title = {Principles and a Process for Successful Industry Cooperation - The
Case of {TUM} and Munich Re},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Engineering Research
and Industrial Practice, SER{\&}IP 2015, Florence, Italy, May
17, 2015},
pages = {50--53},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SERIP.2015.17},
doi = {10.1109/SERIP.2015.17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/JunkerBH0FEJJV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Broy15,
author = {Manfred Broy},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {From Actions, Transactions, and Processes to Services},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {42--78},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-42},
doi = {10.3233/978-1-61499-495-4-42},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Broy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/LegatMCHFSBV14,
author = {Christoph Legat and
Jakob Mund and
Alarico Campetelli and
Georg Hackenberg and
Jens Folmer and
Daniel Sch{\"{u}}tz and
Manfred Broy and
Birgit Vogel{-}Heuser},
title = {Interface Behavior Modeling for Automatic Verification of Industrial
Automation Systems' Functional Conformance},
journal = {Autom.},
volume = {62},
number = {11},
pages = {815--825},
year = {2014},
url = {http://www.degruyter.com/view/j/auto.2014.62.issue-11/auto-2014-1126/auto-2014-1126.xml},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/LegatMCHFSBV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BroyS14,
author = {Manfred Broy and
Albrecht Schmidt},
title = {Challenges in Engineering Cyber-Physical Systems},
journal = {Computer},
volume = {47},
number = {2},
pages = {70--72},
year = {2014},
url = {https://doi.org/10.1109/MC.2014.30},
doi = {10.1109/MC.2014.30},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BroyS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/0003BHKMPPW14,
author = {Peter Braun and
Manfred Broy and
Frank Houdek and
Matthias Kirchmayr and
Mark M{\"{u}}ller and
Birgit Penzenstadler and
Klaus Pohl and
Thorsten Weyer},
title = {Guiding requirements engineering for software-intensive embedded systems
in the automotive industry},
journal = {Comput. Sci. Res. Dev.},
volume = {29},
number = {1},
pages = {21--43},
year = {2014},
url = {https://doi.org/10.1007/s00450-010-0136-y},
doi = {10.1007/S00450-010-0136-Y},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ife/0003BHKMPPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Broy14,
author = {Manfred Broy},
title = {Verifying of interface assertions for infinite state Mealy machines},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {7},
pages = {1298--1322},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2014.03.002},
doi = {10.1016/J.JCSS.2014.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Broy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/Broy14,
author = {Manfred Broy},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {A Model of Dynamic Systems},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {39--53},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_3},
doi = {10.1007/978-3-642-54848-2\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/Broy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Broy14,
author = {Manfred Broy},
editor = {Erhard Pl{\"{o}}dereder and
Lars Grunske and
Eric Schneider and
Dominik Ull},
title = {Cyber-Physical Systems - Konsequenzen f{\"{u}}r eine Informatik
mit N{\"{a}}he zur physikalischen Wirklichkeit},
booktitle = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
- Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
September 22-26, 2014},
series = {{LNI}},
volume = {{P-232}},
pages = {41--47},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/2692},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Broy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarteltBHKKRRS14,
author = {Christian Bartelt and
Manfred Broy and
Christoph Herrmann and
Eric Knauss and
Marco Kuhrmann and
Andreas Rausch and
Bernhard Rumpe and
Kurt Schneider},
title = {Orchestration of Global Software Engineering Projects},
journal = {CoRR},
volume = {abs/1409.6587},
year = {2014},
url = {http://arxiv.org/abs/1409.6587},
eprinttype = {arXiv},
eprint = {1409.6587},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarteltBHKKRRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyCR14,
author = {Manfred Broy and
Mar{\'{\i}}a Victoria Cengarle and
Bernhard Rumpe},
title = {Towards a System Model for {UML.} The Structural Data Model},
journal = {CoRR},
volume = {abs/1409.6613},
year = {2014},
url = {http://arxiv.org/abs/1409.6613},
eprinttype = {arXiv},
eprint = {1409.6613},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyCDHRS14,
author = {Manfred Broy and
Michelle L. Crane and
J{\"{u}}rgen Dingel and
Alan Hartman and
Bernhard Rumpe and
Bran Selic},
title = {{UML} 2 Semantics Symposium: Formal Semantics for {UML}},
journal = {CoRR},
volume = {abs/1409.6619},
year = {2014},
url = {http://arxiv.org/abs/1409.6619},
eprinttype = {arXiv},
eprint = {1409.6619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyCDHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyCGR14,
author = {Manfred Broy and
Mar{\'{\i}}a Victoria Cengarle and
Hans Gr{\"{o}}nniger and
Bernhard Rumpe},
title = {Modular Description of a Comprehensive Semantics Model for the {UML}
(Version 2.0)},
journal = {CoRR},
volume = {abs/1409.6637},
year = {2014},
url = {http://arxiv.org/abs/1409.6637},
eprinttype = {arXiv},
eprint = {1409.6637},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyCGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KleinRB14,
author = {Cornel Klein and
Bernhard Rumpe and
Manfred Broy},
title = {A stream-based mathematical model for distributed information processing
systems - SysLab system model},
journal = {CoRR},
volume = {abs/1409.7236},
year = {2014},
url = {http://arxiv.org/abs/1409.7236},
eprinttype = {arXiv},
eprint = {1409.7236},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KleinRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyHPRS14,
author = {Manfred Broy and
Franz Huber and
Barbara Paech and
Bernhard Rumpe and
Katharina Spies},
title = {Software and System Modeling Based on a Unified Formal Semantics},
journal = {CoRR},
volume = {abs/1411.2410},
year = {2014},
url = {http://arxiv.org/abs/1411.2410},
eprinttype = {arXiv},
eprint = {1411.2410},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyHPRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0033262,
author = {Manfred Broy and
Marco Kuhrmann},
title = {Projektorganisation und Management im Software Engineering},
series = {Xpert.press},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-29290-3},
doi = {10.1007/978-3-642-29290-3},
isbn = {978-3-642-29289-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0033262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/Vogel-HeuserDB13,
author = {Birgit Vogel{-}Heuser and
Christian Diedrich and
Manfred Broy},
title = {Anforderungen an {CPS} aus Sicht der Automatisierungstechnik},
journal = {Autom.},
volume = {61},
number = {10},
pages = {669--676},
year = {2013},
url = {https://doi.org/10.1515/auto.2013.0061},
doi = {10.1515/AUTO.2013.0061},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/Vogel-HeuserDB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Broy13,
author = {Manfred Broy},
title = {Cyber Physical Systems (Part 2)},
journal = {it Inf. Technol.},
volume = {55},
number = {1},
pages = {3--4},
year = {2013},
url = {https://doi.org/10.1524/itit.2013.9001},
doi = {10.1524/ITIT.2013.9001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Broy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy13,
author = {Manfred Broy},
editor = {J{\"{u}}rgen M{\"{u}}nch and
Klaus Schmid},
title = {Domain Modeling and Domain Engineering: Key Tasks in Requirements
Engineering},
booktitle = {Perspectives on the Future of Software Engineering, Essays in Honor
of Dieter Rombach},
pages = {15--30},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37395-4\_2},
doi = {10.1007/978-3-642-37395-4\_2},
timestamp = {Sun, 02 Oct 2022 15:55:44 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/Broy13,
author = {Manfred Broy},
editor = {Tarek F. Abdelzaher and
Kay R{\"{o}}mer and
Raj Rajkumar},
title = {Challenges in modeling cyber-physical systems},
booktitle = {The 12th International Conference on Information Processing in Sensor
Networks (co-located with {CPS} Week 2013), {IPSN} 2013, Philadelphia,
PA, USA, April 8-11, 2013},
pages = {5--6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461381.2461385},
doi = {10.1145/2461381.2461385},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/Broy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/TripakisSBL13,
author = {Stavros Tripakis and
Christos Stergiou and
Manfred Broy and
Edward A. Lee},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Error-Completion in Interface Theories},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {358--375},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_22},
doi = {10.1007/978-3-642-39176-7\_22},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/TripakisSBL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swqd/Broy13,
author = {Manfred Broy},
editor = {Dietmar Winkler and
Stefan Biffl and
Johannes Bergsmann},
title = {Software Quality: From Requirements to Architecture},
booktitle = {Software Quality. Increasing Value in Software and Systems Development
- 5th International Conference, {SWQD} 2013, Vienna, Austria, January
15-17, 2013. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {133},
pages = {1--2},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35702-2\_1},
doi = {10.1007/978-3-642-35702-2\_1},
timestamp = {Fri, 25 Jan 2019 12:00:39 +0100},
biburl = {https://dblp.org/rec/conf/swqd/Broy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Broy13,
author = {Manfred Broy},
editor = {Manfred Broy and
Doron A. Peled and
Georg Kalus},
title = {A Logical Approach to Systems Engineering Artifacts and Traceability:
From Requirements to Functional and Architectural Views},
booktitle = {Engineering Dependable Software Systems},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {34},
pages = {1--48},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-207-3-1},
doi = {10.3233/978-1-61499-207-3-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Broy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/34,
editor = {Manfred Broy and
Doron A. Peled and
Georg Kalus},
title = {Engineering Dependable Software Systems},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {34},
publisher = {{IOS} Press},
year = {2013},
isbn = {978-1-61499-206-6},
timestamp = {Fri, 12 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/natosec/34.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyE12,
author = {Manfred Broy and
Albert Endres},
title = {Mehr Lebensqualit{\"{a}}t dank Informatik},
journal = {Inform. Spektrum},
volume = {35},
number = {1},
pages = {34--38},
year = {2012},
url = {https://doi.org/10.1007/s00287-011-0521-3},
doi = {10.1007/S00287-011-0521-3},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Broy12,
author = {Manfred Broy},
title = {Cyber Physical Systems (Part 1)},
journal = {it Inf. Technol.},
volume = {54},
number = {6},
pages = {255--256},
year = {2012},
url = {https://doi.org/10.1524/itit.2012.9078},
doi = {10.1524/ITIT.2012.9078},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Broy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy12,
author = {Manfred Broy},
editor = {Samarjit Chakraborty and
J{\"{o}}rg Ebersp{\"{a}}cher},
title = {System Behaviour Models with Discrete and Dense Time},
booktitle = {Advances in Real-Time Systems (to Georg F{\"{a}}rber on the occasion
of his appointment as Professor Emeritus at {TU} M{\"{u}}nchen
after leading the Lehrstuhl f{\"{u}}r Realzeit-Computersysteme
for 34 illustrious years)},
pages = {3--25},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-24349-3\_1},
doi = {10.1007/978-3-642-24349-3\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/Broy12,
author = {Manfred Broy},
editor = {Marc Aiguier and
Yves Caseau and
Daniel Krob and
Antoine Rauzy},
title = {Engineering Cyber-Physical Systems: Challenges and Foundations},
booktitle = {Complex Systems Design {\&} Management, Proceedings of the Third
International Conference on Complex Systems Design {\&} Management
CSD{\&}M 2012, Paris, France, December 12-14, 2012},
pages = {1--13},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34404-6\_1},
doi = {10.1007/978-3-642-34404-6\_1},
timestamp = {Wed, 24 May 2017 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/csdm/Broy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/BroyCG12,
author = {Manfred Broy and
Mar{\'{\i}}a Victoria Cengarle and
Eva Geisberger},
editor = {Radu Calinescu and
David Garlan},
title = {Cyber-Physical Systems: Imminent Challenges},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {1--28},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_1},
doi = {10.1007/978-3-642-34059-8\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/BroyCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Broy12,
author = {Manfred Broy},
editor = {Mike Hinchey and
Lorcan Coyle},
title = {Software and System Modeling: Structured Multi-view Modeling, Specification,
Design and Implementation},
booktitle = {Conquering Complexity},
pages = {309--372},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-2297-5\_14},
doi = {10.1007/978-1-4471-2297-5\_14},
timestamp = {Sat, 19 Oct 2019 19:02:43 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Broy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Pohl2012/BroyDHPVW12,
author = {Manfred Broy and
Werner Damm and
Stefan Henkler and
Klaus Pohl and
Andreas Vogelsang and
Thorsten Weyer},
editor = {Klaus Pohl and
Harald H{\"{o}}nninger and
Reinhold Achatz and
Manfred Broy},
title = {Introduction to the {SPES} Modeling Framework},
booktitle = {Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology},
pages = {31--49},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34614-9\_3},
doi = {10.1007/978-3-642-34614-9\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Pohl2012/BroyDHPVW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Pohl2012/Broy12,
author = {Manfred Broy},
editor = {Klaus Pohl and
Harald H{\"{o}}nninger and
Reinhold Achatz and
Manfred Broy},
title = {Outlook},
booktitle = {Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology},
pages = {251--254},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34614-9\_18},
doi = {10.1007/978-3-642-34614-9\_18},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Pohl2012/Broy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/pohl12,
editor = {Klaus Pohl and
Harald H{\"{o}}nninger and
Reinhold Achatz and
Manfred Broy},
title = {Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34614-9},
doi = {10.1007/978-3-642-34614-9},
isbn = {978-3-642-34613-2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/pohl12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Broy11,
author = {Manfred Broy},
title = {Can Practitioners Neglect Theory and Theoreticians Neglect Practice?},
journal = {Computer},
volume = {44},
number = {10},
pages = {19--24},
year = {2011},
url = {https://doi.org/10.1109/MC.2011.305},
doi = {10.1109/MC.2011.305},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Broy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyMT11,
author = {Manfred Broy and
Klaus Hardy M{\"{u}}hleck and
Dirk Taubner},
title = {Informatik in der Automobilindustrie},
journal = {Inform. Spektrum},
volume = {34},
number = {1},
pages = {1--5},
year = {2011},
url = {https://doi.org/10.1007/s00287-010-0508-5},
doi = {10.1007/S00287-010-0508-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyRR11,
author = {Manfred Broy and
G{\"{u}}nter Reichart and
Lutz Rothhardt},
title = {Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen
zur Umsetzung},
journal = {Inform. Spektrum},
volume = {34},
number = {1},
pages = {42--59},
year = {2011},
url = {https://doi.org/10.1007/s00287-010-0507-6},
doi = {10.1007/S00287-010-0507-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BroyC11,
author = {Manfred Broy and
Mar{\'{\i}}a Victoria Cengarle},
title = {{UML} formal semantics: lessons learned},
journal = {Softw. Syst. Model.},
volume = {10},
number = {4},
pages = {441--446},
year = {2011},
url = {https://doi.org/10.1007/s10270-011-0207-y},
doi = {10.1007/S10270-011-0207-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BroyC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BroyCGRSRP11,
author = {Manfred Broy and
Samarjit Chakraborty and
Dip Goswami and
S. Ramesh and
Manoranjan Satpathy and
Stefan Resmerita and
Wolfgang Pree},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Cross-layer analysis, testing and verification of automotive control
software},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {263--272},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038683},
doi = {10.1145/2038642.2038683},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BroyCGRSRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Broy11,
author = {Manfred Broy},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {Informatik als wissenschaftliche Methode: Zur Rolle der Informatik
in Forschung und Anwendung},
booktitle = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
2011, Abstract Proceedings},
series = {{LNI}},
volume = {{P-192}},
pages = {43},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18837},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Broy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WagnerBDML11,
author = {Stefan Wagner and
Manfred Broy and
Florian Dei{\ss}enb{\"{o}}ck and
J{\"{u}}rgen M{\"{u}}nch and
Peter Liggesmeyer},
editor = {Ralf H. Reussner and
Matthias Grund and
Andreas Oberweis and
Walter F. Tichy},
title = {Vierter Workshop zur Software-Qualit{\"{a}}tsmodellierung und
-bewertung {(SQMB} 2011)},
booktitle = {Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2011 in Karlsruhe},
series = {{LNI}},
volume = {{P-183}},
pages = {198},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/19860},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/WagnerBDML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LauenrothPBB11,
author = {Kim Lauenroth and
Klaus Pohl and
Wolfgang B{\"{o}}hm and
Manfred Broy},
editor = {Ralf H. Reussner and
Matthias Grund and
Andreas Oberweis and
Walter F. Tichy},
title = {Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter
Systeme {(ENVISION} 2020)},
booktitle = {Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2011 in Karlsruhe},
series = {{LNI}},
volume = {{P-183}},
pages = {201},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/19862},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/LauenrothPBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Broy11,
author = {Manfred Broy},
editor = {Ina Schaefer and
Isabel John and
Klaus Schmid},
title = {Towards formal modeling of functional features and feature interactions
in software intensive systems},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume
2)},
pages = {1},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2019136.2019138},
doi = {10.1145/2019136.2019138},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/Broy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Broy11a,
author = {Manfred Broy},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {The Role of Requirements and Specification in Product Line Engineering},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {3--7},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.68},
doi = {10.1109/SPLC.2011.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/Broy11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/BroyP11,
author = {Manfred Broy and
Alexander Pretschner},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {A Model-Based View onto Testing},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-11},
doi = {10.1201/B11321-11},
timestamp = {Tue, 20 Aug 2019 14:31:32 +0200},
biburl = {https://dblp.org/rec/books/tf/11/BroyP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Broy11,
author = {Manfred Broy},
editor = {Manfred Broy and
Christian Leuxner and
Tony Hoare},
title = {Towards a Theory of Architectural Contracts: - Schemes and Patterns
of Assumption/Promise Based System Specification},
booktitle = {Software and Systems Safety - Specification and Verification},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {30},
pages = {33--87},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-711-6-33},
doi = {10.3233/978-1-60750-711-6-33},
timestamp = {Tue, 16 May 2017 14:24:21 +0200},
biburl = {https://dblp.org/rec/series/natosec/Broy11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/natosec/30,
editor = {Manfred Broy and
Christian Leuxner and
Tony Hoare},
title = {Software and Systems Safety - Specification and Verification},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {30},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-711-6},
doi = {10.3233/978-1-60750-711-6},
isbn = {978-1-60750-710-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/30.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Broy10,
author = {Manfred Broy},
title = {A Logical Basis for Component-Oriented Software and Systems Engineering},
journal = {Comput. J.},
volume = {53},
number = {10},
pages = {1758--1782},
year = {2010},
url = {https://doi.org/10.1093/comjnl/bxq005},
doi = {10.1093/COMJNL/BXQ005},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Broy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BroyR10,
author = {Manfred Broy and
Ralf H. Reussner},
title = {Architectural Concepts in Programming Languages},
journal = {Computer},
volume = {43},
number = {10},
pages = {88--91},
year = {2010},
url = {https://doi.org/10.1109/MC.2010.277},
doi = {10.1109/MC.2010.277},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BroyR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/WagnerBDKLMS10,
author = {Stefan Wagner and
Manfred Broy and
Florian Dei{\ss}enb{\"{o}}ck and
Michael Kl{\"{a}}s and
Peter Liggesmeyer and
J{\"{u}}rgen M{\"{u}}nch and
Jonathan Streit},
title = {Softwarequalit{\"{a}}tsmodelle - Praxisempfehlungen und Forschungsagenda},
journal = {Inform. Spektrum},
volume = {33},
number = {1},
pages = {37--44},
year = {2010},
url = {https://doi.org/10.1007/s00287-009-0339-4},
doi = {10.1007/S00287-009-0339-4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/WagnerBDKLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/PrasadBK10,
author = {K. Venkatesh Prasad and
Manfred Broy and
Ingolf Kr{\"{u}}ger},
title = {Scanning the Issue},
journal = {Proc. {IEEE}},
volume = {98},
number = {4},
pages = {506--509},
year = {2010},
url = {https://doi.org/10.1109/JPROC.2010.2041833},
doi = {10.1109/JPROC.2010.2041833},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/PrasadBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/PrasadBK10a,
author = {K. Venkatesh Prasad and
Manfred Broy and
Ingolf Kr{\"{u}}ger},
title = {Scanning Advances in Aerospace {\&} Automobile Software Technology},
journal = {Proc. {IEEE}},
volume = {98},
number = {4},
pages = {510--514},
year = {2010},
url = {https://doi.org/10.1109/JPROC.2010.2041835},
doi = {10.1109/JPROC.2010.2041835},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/PrasadBK10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BroyFHMR10,
author = {Manfred Broy and
Martin Feilkas and
Markus Herrmannsdoerfer and
Stefano Merenda and
Daniel Ratiu},
title = {Seamless Model-Based Development: From Isolated Tools to Integrated
Model Engineering Environments},
journal = {Proc. {IEEE}},
volume = {98},
number = {4},
pages = {526--545},
year = {2010},
url = {https://doi.org/10.1109/JPROC.2009.2037771},
doi = {10.1109/JPROC.2009.2037771},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BroyFHMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Broy10,
author = {Manfred Broy},
title = {Multifunctional software systems: Structured modeling and specification
of functional requirements},
journal = {Sci. Comput. Program.},
volume = {75},
number = {12},
pages = {1193--1214},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2010.06.007},
doi = {10.1016/J.SCICO.2010.06.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Broy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy10a,
author = {Manfred Broy},
editor = {Sebastian Nanz},
title = {Seamless Method- and Model-based Software and Systems Engineering},
booktitle = {The Future of Software Engineering},
pages = {33--47},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15187-3\_2},
doi = {10.1007/978-3-642-15187-3\_2},
timestamp = {Tue, 23 May 2017 01:06:46 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy10,
author = {Manfred Broy},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Synchronous Message Passing: On the Relation between Bisimulation
and Refusal Equivalence},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {118--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_8},
doi = {10.1007/978-3-642-11512-7\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FernandezPKB10,
author = {Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
Birgit Penzenstadler and
Marco Kuhrmann and
Manfred Broy},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned
in Requirements Engineering},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6395},
pages = {183--197},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16129-2\_14},
doi = {10.1007/978-3-642-16129-2\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/FernandezPKB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BroyCDLPS10,
author = {Manfred Broy and
David Cruz and
Martin R. Deubler and
Kim Lauenroth and
Klaus Pohl and
Ernst Sikora},
editor = {Gregor Engels and
Markus Luckey and
Wilhelm Sch{\"{a}}fer},
title = {Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter
Systeme {(ENVISION2020)}},
booktitle = {Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26.2.2010 in Paderborn},
series = {{LNI}},
volume = {{P-159}},
pages = {240},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/20228},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BroyCDLPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WagnerBDML10,
author = {Stefan Wagner and
Manfred Broy and
Florian Dei{\ss}enb{\"{o}}ck and
J{\"{u}}rgen M{\"{u}}nch and
Peter Liggesmeyer},
editor = {Gregor Engels and
Markus Luckey and
Wilhelm Sch{\"{a}}fer},
title = {Software-Qualit{\"{a}}tsmodellierung und -bewertung {(SQMB)}},
booktitle = {Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26.2.2010 in Paderborn},
series = {{LNI}},
volume = {{P-159}},
pages = {250},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/20238},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/WagnerBDML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BerenbachB09,
author = {Brian Berenbach and
Manfred Broy},
title = {Professional and Ethical Dilemmas in Software Engineering},
journal = {Computer},
volume = {42},
number = {1},
pages = {74--80},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.22},
doi = {10.1109/MC.2009.22},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BerenbachB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BroyGMWKK09,
author = {Manfred Broy and
Mario Gleirscher and
Stefano Merenda and
Doris Wild and
Peter Kluge and
Wolfgang Krenzer},
title = {Toward a Holistic and Standardized Automotive Architecture Description},
journal = {Computer},
volume = {42},
number = {11},
pages = {98--101},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.413},
doi = {10.1109/MC.2009.413},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/BroyGMWKK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyE09,
author = {Manfred Broy and
Albert Endres},
title = {Informatik {\"{u}}berall, jederzeit und f{\"{u}}r alle},
journal = {Inform. Spektrum},
volume = {32},
number = {2},
pages = {153--162},
year = {2009},
url = {https://doi.org/10.1007/s00287-009-0326-9},
doi = {10.1007/S00287-009-0326-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/WeberB09,
author = {Herbert Weber and
Manfred Broy},
title = {Systemorientiertes Automotive Engineering},
journal = {Inform. Spektrum},
volume = {32},
number = {3},
pages = {206--213},
year = {2009},
url = {https://doi.org/10.1007/s00287-009-0337-6},
doi = {10.1007/S00287-009-0337-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/WeberB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BroyS09,
author = {Manfred Broy and
Gheorghe Stefanescu},
title = {Guest Editors' Foreword: Selected papers on "Streams and Algebra"},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {2},
pages = {53},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2008.10.001},
doi = {10.1016/J.JLAP.2008.10.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BroyS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/Broy09,
author = {Manfred Broy},
editor = {Uwe M. Borghoff and
Boris Chidlovskii},
title = {From system requirements documents to integrated system modeling artifacts},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Document Engineering, Munich,
Germany, September 16-18, 2009},
pages = {98},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1600193.1600215},
doi = {10.1145/1600193.1600215},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/Broy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Broy09,
author = {Manfred Broy},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Seamless Model Driven Systems Engineering Based on Formal Models},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {1--19},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_1},
doi = {10.1007/978-3-642-10373-5\_1},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Broy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/BarteltBHKKRRS09,
author = {Christian Bartelt and
Manfred Broy and
Christoph Herrmann and
Eric Knauss and
Marco Kuhrmann and
Andreas Rausch and
Bernhard Rumpe and
Kurt Schneider},
title = {Orchestration of Global Software Engineering Projects - Position Paper},
booktitle = {4th {IEEE} International Conference on Global Software Engineering,
{ICGSE} 2009, Limerick, Ireland, 13-16 July, 2009},
pages = {332--337},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICGSE.2009.52},
doi = {10.1109/ICGSE.2009.52},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icgse/BarteltBHKKRRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BroyLSSW09,
author = {Manfred Broy and
Christian Leuxner and
Wassiou Sitou and
Bernd Spanfelner and
Sebastian Winter},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Formalizing the notion of adaptive system behavior},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1029--1033},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529508},
doi = {10.1145/1529282.1529508},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/BroyLSSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WagnerBDML09,
author = {Stefan Wagner and
Manfred Broy and
Florian Dei{\ss}enb{\"{o}}ck and
J{\"{u}}rgen M{\"{u}}nch and
Peter Liggesmeyer},
editor = {Peter Liggesmeyer and
Gregor Engels and
J{\"{u}}rgen M{\"{u}}nch and
J{\"{o}}rg D{\"{o}}rr and
Norman Riegel},
title = {Software-Qualit{\"{a}}tsmodellierung und -bewertung {(SQMB} 2009)},
booktitle = {Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik
02.-06.03. 2009 in Kaiserslautern},
series = {{LNI}},
volume = {{P-143}},
pages = {211},
publisher = {{GI}},
year = {2009},
timestamp = {Wed, 13 Jan 2021 09:41:33 +0100},
biburl = {https://dblp.org/rec/conf/se/WagnerBDML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/BroyCGR09,
author = {Manfred Broy and
Mar{\'{\i}}a Victoria Cengarle and
Hans Gr{\"{o}}nniger and
Bernhard Rumpe},
editor = {Kevin Lano},
title = {Considerations and Rationale for a {UML} System Model},
booktitle = {{UML} 2 Semantics and Applications},
pages = {43--60},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch3},
doi = {10.1002/9780470522622.CH3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/BroyCGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/09/BroyCGR09a,
author = {Manfred Broy and
Mar{\'{\i}}a Victoria Cengarle and
Hans Gr{\"{o}}nniger and
Bernhard Rumpe},
editor = {Kevin Lano},
title = {Definition of the System Model},
booktitle = {{UML} 2 Semantics and Applications},
pages = {61--93},
publisher = {Wiley},
year = {2009},
url = {https://doi.org/10.1002/9780470522622.ch4},
doi = {10.1002/9780470522622.CH4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/09/BroyCGR09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BarkaouiBCC08,
author = {Kamel Barkaoui and
Manfred Broy and
Ana Cavalcanti and
Antonio Cerone},
title = {Guest Editorial},
journal = {Formal Aspects Comput.},
volume = {20},
number = {4-5},
pages = {349--350},
year = {2008},
url = {https://doi.org/10.1007/s00165-008-0085-4},
doi = {10.1007/S00165-008-0085-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BarkaouiBCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BotaschanjanBGHKKPS08,
author = {Jewgenij Botaschanjan and
Manfred Broy and
Alexander Gruler and
Alexander Harhurin and
Steffen Knapp and
Leonid Kof and
Wolfgang J. Paul and
Maria Spichkova},
title = {On the correctness of upper layers of automotive systems},
journal = {Formal Aspects Comput.},
volume = {20},
number = {6},
pages = {637--662},
year = {2008},
url = {https://doi.org/10.1007/s00165-008-0097-0},
doi = {10.1007/S00165-008-0097-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BotaschanjanBGHKKPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BodeBDE08,
author = {Arndt Bode and
Manfred Broy and
Uwe Dumslaff and
Gregor Engels},
title = {Architektur {\&} Management im Gro{\ss}en meistern},
journal = {Inform. Spektrum},
volume = {31},
number = {6},
pages = {523--525},
year = {2008},
url = {https://doi.org/10.1007/s00287-008-0286-5},
doi = {10.1007/S00287-008-0286-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BodeBDE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Broy08,
author = {Manfred Broy},
title = {{\"{U}}ber "Sequentielle Formel{\"{u}}bersetzung"
von Klaus Samelson und Friedrich L. Bauer},
journal = {it Inf. Technol.},
volume = {50},
number = {2},
pages = {135--136},
year = {2008},
url = {https://doi.org/10.1524/itit.2008.0476},
doi = {10.1524/ITIT.2008.0476},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Broy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BroySS07,
author = {Manfred Broy and
Reinhard Stolle and
Alexandre Saad},
editor = {Heinz{-}Gerd Hegering and
Axel Lehmann and
Hans J{\"{u}}rgen Ohlbach and
Christian Scheideler},
title = {6.Workshop Automotive Software Engineering},
booktitle = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
8-13, 2008, Band 2},
series = {{LNI}},
volume = {{P-134}},
pages = {617--618},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/21255},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/BroySS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Broy08,
author = {Manfred Broy},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Architecture Based Specification and Verification of Embedded Software
Systems (Work in Progress)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {1--13},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_1},
doi = {10.1007/978-3-540-88479-8\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Broy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Broy08,
author = {Manfred Broy},
editor = {Korbinian Herrmann and
Bernd Br{\"{u}}gge},
title = {Requirements Engineering als Schl{\"{u}}ssel zur Softwarequalit{\"{a}}t
und Produktivit{\"{a}}t},
booktitle = {Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik,
18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-121}},
pages = {23},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/22224},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Broy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WagnerBDML08,
author = {Stefan Wagner and
Manfred Broy and
Florian Dei{\ss}enb{\"{o}}ck and
J{\"{u}}rgen M{\"{u}}nch and
Peter Liggesmeyer},
editor = {Korbinian Herrmann and
Bernd Br{\"{u}}gge},
title = {Software-Qualit{\"{a}}tsmodellierung und -bewertung},
booktitle = {Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik,
18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-121}},
pages = {295--297},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/22241},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/WagnerBDML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswsd/2006,
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Model-Driven Development of Reliable Automotive Services, Second Automotive
Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4922},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70930-5},
doi = {10.1007/978-3-540-70930-5},
isbn = {978-3-540-70929-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BauerBRSBFMSMZ07,
author = {Andreas Bauer and
Manfred Broy and
Jan Romberg and
Bernhard Sch{\"{a}}tz and
Peter Braun and
Ulrich Freund and
Nuria Mata and
Robert Sandner and
Pierre Mai and
Dirk Ziegenbein},
title = {Das AutoMoDe-Projekt},
journal = {Inform. Forsch. Entwickl.},
volume = {22},
number = {1},
pages = {45--57},
year = {2007},
url = {https://doi.org/10.1007/s00450-007-0028-y},
doi = {10.1007/S00450-007-0028-Y},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BauerBRSBFMSMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyR07,
author = {Manfred Broy and
Bernhard Rumpe},
title = {Modulare hierarchische Modellierung als Grundlage der Software- und
Systementwicklung},
journal = {Inform. Spektrum},
volume = {30},
number = {1},
pages = {3--18},
year = {2007},
url = {https://doi.org/10.1007/s00287-006-0124-6},
doi = {10.1007/S00287-006-0124-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyGKRB07,
author = {Manfred Broy and
Eva Geisberger and
J{\"{u}}rgen Kazmeier and
Arnold Rudorfer and
Klaus Beetz},
title = {Ein Requirements-Engineering-Referenzmodell},
journal = {Inform. Spektrum},
volume = {30},
number = {3},
pages = {127--142},
year = {2007},
url = {https://doi.org/10.1007/s00287-007-0149-5},
doi = {10.1007/S00287-007-0149-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyGKRB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Broy07,
author = {Manfred Broy},
title = {Model-driven architecture-centric engineering of (embedded) software
intensive systems: modeling theories and architectural milestones},
journal = {Innov. Syst. Softw. Eng.},
volume = {3},
number = {1},
pages = {75--102},
year = {2007},
url = {https://doi.org/10.1007/s11334-006-0011-y},
doi = {10.1007/S11334-006-0011-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Broy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BroyKPS07,
author = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Alexander Pretschner and
Christian Salzmann},
title = {Engineering Automotive Software},
journal = {Proc. {IEEE}},
volume = {95},
number = {2},
pages = {356--373},
year = {2007},
url = {https://doi.org/10.1109/JPROC.2006.888386},
doi = {10.1109/JPROC.2006.888386},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BroyKPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Broy07,
author = {Manfred Broy},
title = {Editorial comment to 'About "trivial" software patents:
The IsNot case'},
journal = {Sci. Comput. Program.},
volume = {64},
number = {3},
pages = {263},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.09.004},
doi = {10.1016/J.SCICO.2006.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Broy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Broy07a,
author = {Manfred Broy},
title = {Editorial-Science of Computer Programming-25 years},
journal = {Sci. Comput. Program.},
volume = {66},
number = {2},
pages = {103--104},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2007.01.001},
doi = {10.1016/J.SCICO.2007.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Broy07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BroyKM07,
author = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {A formal model of services},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {1},
pages = {5},
year = {2007},
url = {https://doi.org/10.1145/1189748.1189753},
doi = {10.1145/1189748.1189753},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/BroyKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy07,
author = {Manfred Broy},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {From "Formal Methods" to System Modeling},
booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
Papers presented at a Symposium held in Macao, China, September 24-25,
2007},
series = {Lecture Notes in Computer Science},
volume = {4700},
pages = {24--44},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75221-9\_2},
doi = {10.1007/978-3-540-75221-9\_2},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Broy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyFHKKMPRSSW07,
author = {Manfred Broy and
Jorge Fox and
Florian H{\"{o}}lzl and
Dagmar Koss and
Marco Kuhrmann and
Michael Meisinger and
Birgit Penzenstadler and
Sabine Rittmann and
Bernhard Sch{\"{a}}tz and
Maria Spichkova and
Doris Wild},
editor = {Andreas Rausch and
Ralf H. Reussner and
Raffaela Mirandola and
Frantisek Pl{\'{a}}sil},
title = {Service-Oriented Modeling of CoCoME with Focus and AutoFocus},
booktitle = {The Common Component Modeling Example: Comparing Software Component
Models [result from the Dagstuhl research seminar for CoCoME, August
1-3, 2007]},
series = {Lecture Notes in Computer Science},
volume = {5153},
pages = {177--206},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85289-6\_8},
doi = {10.1007/978-3-540-85289-6\_8},
timestamp = {Mon, 02 Sep 2024 13:54:52 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyFHKKMPRSSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroySS07,
author = {Manfred Broy and
Johannes Siedersleben and
Clemens A. Szyperski},
editor = {Andreas Rausch and
Ralf H. Reussner and
Raffaela Mirandola and
Frantisek Pl{\'{a}}sil},
title = {CoCoME Jury Evaluation and Conclusion},
booktitle = {The Common Component Modeling Example: Comparing Software Component
Models [result from the Dagstuhl research seminar for CoCoME, August
1-3, 2007]},
series = {Lecture Notes in Computer Science},
volume = {5153},
pages = {449--458},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85289-6\_17},
doi = {10.1007/978-3-540-85289-6\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroySS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PretschnerBKS07,
author = {Alexander Pretschner and
Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Thomas Stauner},
editor = {Lionel C. Briand and
Alexander L. Wolf},
title = {Software Engineering for Automotive Systems: {A} Roadmap},
booktitle = {International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
Minneapolis, MN, {USA}},
pages = {55--71},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FOSE.2007.22},
doi = {10.1109/FOSE.2007.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PretschnerBKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/Broy07,
author = {Manfred Broy},
title = {Two Sides of Structuring Multi-Functional Software Systems: Function
Hierarchy and Component Architecture},
booktitle = {5th {ACIS} International Conference on Software Engineering Research,
Management {\&} Applications {(SERA} 2007), August 20-22, 2007,
Haeundae Grand Hotel, Busan, Korea},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SERA.2007.129},
doi = {10.1109/SERA.2007.129},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sera/Broy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Broy07,
author = {Manfred Broy},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Interaction and Realizability},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {29--50},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_3},
doi = {10.1007/978-3-540-69507-3\_3},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Broy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/Broy07,
author = {Manfred Broy},
editor = {Sang Hyuk Son and
Insup Lee and
Joseph Y.{-}T. Leung},
title = {Modular Hierarchies of Models for Embedded Systems},
booktitle = {Handbook of Real-Time and Embedded Systems},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420011746.ch32},
doi = {10.1201/9781420011746.CH32},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/reference/crc/Broy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/Broy07a,
author = {Manfred Broy},
editor = {Sang Hyuk Son and
Insup Lee and
Joseph Y.{-}T. Leung},
title = {Embedded Systems and Software Technology in the Automotive Domain},
booktitle = {Handbook of Real-Time and Embedded Systems},
publisher = {Chapman and Hall/CRC},
year = {2007},
url = {https://doi.org/10.1201/9781420011746.ch38},
doi = {10.1201/9781420011746.CH38},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/Broy07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Broy06,
author = {Manfred Broy},
title = {The 'Grand Challenge' in Informatics: Engineering Software-Intensive
Systems},
journal = {Computer},
volume = {39},
number = {10},
pages = {72--80},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.358},
doi = {10.1109/MC.2006.358},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Broy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyJNR06,
author = {Manfred Broy and
Matthias Jarke and
Manfred Nagl and
H. Dieter Rombach},
title = {Manifest\({}^{\mbox{*}}\): Strategische Bedeutung des Software Engineering
in Deutschland},
journal = {Inform. Spektrum},
volume = {29},
number = {3},
pages = {210--221},
year = {2006},
url = {https://doi.org/10.1007/s00287-006-0083-y},
doi = {10.1007/S00287-006-0083-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyJNR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BroyHKS06,
author = {Manfred Broy and
Heinrich Hussmann and
Ingolf H. Kr{\"{u}}ger and
Bernhard Sch{\"{a}}tz},
title = {SoSyM special section on service-based software engineering},
journal = {Softw. Syst. Model.},
volume = {5},
number = {2},
pages = {170--171},
year = {2006},
url = {https://doi.org/10.1007/s10270-006-0002-3},
doi = {10.1007/S10270-006-0002-3},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BroyHKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy06,
author = {Manfred Broy},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {From Chaos to Undefinedness},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {476--496},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_25},
doi = {10.1007/11780274\_25},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BroyDP06,
author = {Manfred Broy and
Florian Deissenboeck and
Markus Pizka},
editor = {Sunita Chulani and
Barry W. Boehm and
June M. Verner and
Bernard Wong},
title = {Demystifying maintainability},
booktitle = {Proceedings of the 2006 international workshop on Software quality,
WoSQ@ICSE 2006, Shanghai, China, May 21, 2006},
pages = {21--26},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1137702.1137708},
doi = {10.1145/1137702.1137708},
timestamp = {Sun, 07 Feb 2021 18:33:56 +0100},
biburl = {https://dblp.org/rec/conf/icse/BroyDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Broy06,
author = {Manfred Broy},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Challenges in automotive software engineering},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {33--42},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134292},
doi = {10.1145/1134285.1134292},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Broy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/Broy06,
author = {Manfred Broy},
editor = {Albert Levi and
Erkay Savas and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Selim Balcisoy and
Y{\"{u}}cel Saygin},
title = {Requirements Engineering as a Key to Holistic Software Quality},
booktitle = {Computer and Information Sciences - {ISCIS} 2006, 21th International
Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4263},
pages = {24--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11902140\_3},
doi = {10.1007/11902140\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iscis/Broy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroyCDHRS06,
author = {Manfred Broy and
Michelle L. Crane and
J{\"{u}}rgen Dingel and
Alan Hartman and
Bernhard Rumpe and
Bran Selic},
editor = {Thomas K{\"{u}}hne},
title = {2\({}^{\mbox{nd}}\) {UML} 2 Semantics Symposium: Formal Semantics
for {UML}},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {318--323},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_39},
doi = {10.1007/978-3-540-69489-2\_39},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BroyCDHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/Broy06,
author = {Manfred Broy},
title = {The 'Grand Challenge' in Informatics: Engineering Software-Intensive
Systems},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {85--88},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.33},
doi = {10.1109/SEW.2006.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/Broy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/06/Broy06,
author = {Manfred Broy},
editor = {Eva{-}Maria Kern and
Heinz{-}Gerd Hegering and
Bernd Br{\"{u}}gge},
title = {Innovation in Engineering Software Intensive Systems},
booktitle = {Managing Development and Application of Digital Technologies - Research
Insights in the Munich Center for Digital Technology {\&} Management
{(CDTM)}},
pages = {3--15},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-34129-3\_1},
doi = {10.1007/3-540-34129-3\_1},
timestamp = {Tue, 27 Aug 2019 11:59:13 +0200},
biburl = {https://dblp.org/rec/books/sp/06/Broy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aswsd/2004,
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {Automotive Software - Connected Services in Mobile Networks, First
Automotive Software Workshop, {ASWSD} 2004, San Diego, CA, USA, January
10-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823063},
doi = {10.1007/11823063},
isbn = {3-540-37677-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HerzbergB05,
author = {Dominikus Herzberg and
Manfred Broy},
title = {Modeling layered distributed communication systems},
journal = {Formal Aspects Comput.},
volume = {17},
number = {1},
pages = {1--18},
year = {2005},
url = {https://doi.org/10.1007/s00165-004-0051-8},
doi = {10.1007/S00165-004-0051-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HerzbergB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyR05,
author = {Manfred Broy and
Andreas Rausch},
title = {Das neue V-Modell\({}^{\mbox{{\textregistered}}}\) {XT}},
journal = {Inform. Spektrum},
volume = {28},
number = {3},
pages = {220--229},
year = {2005},
url = {https://doi.org/10.1007/s00287-005-0488-z},
doi = {10.1007/S00287-005-0488-Z},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BodeBT05,
author = {Arndt Bode and
Manfred Broy and
Dirk Taubner},
title = {Software auf dem Weg zur Industrialisierung},
journal = {Inform. Spektrum},
volume = {28},
number = {4},
pages = {269},
year = {2005},
url = {https://doi.org/10.1007/s00287-005-0496-z},
doi = {10.1007/S00287-005-0496-Z},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BodeBT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Broy05,
author = {Manfred Broy},
title = {A semantic and methodological essence of message sequence charts},
journal = {Sci. Comput. Program.},
volume = {54},
number = {2-3},
pages = {213--256},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.04.003},
doi = {10.1016/J.SCICO.2004.04.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Broy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/UchitelBKW05,
author = {Sebasti{\'{a}}n Uchitel and
Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Jon Whittle},
title = {Guest Editorial: Special Section on Interaction and State-Based Modeling},
journal = {{IEEE} Trans. Software Eng.},
volume = {31},
number = {12},
pages = {997--998},
year = {2005},
url = {https://doi.org/10.1109/TSE.2005.139},
doi = {10.1109/TSE.2005.139},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/UchitelBKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy05,
author = {Manfred Broy},
editor = {Dieter Hutter and
Werner Stephan},
title = {The Impact of Models in Software Development},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {396--406},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_23},
doi = {10.1007/978-3-540-32254-2\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Broy05,
author = {Manfred Broy},
title = {Automotive software and systems engineering (Panel)},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {143--149},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487905},
doi = {10.1109/MEMCOD.2005.1487905},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Broy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2004test,
editor = {Manfred Broy and
Bengt Jonsson and
Joost{-}Pieter Katoen and
Martin Leucker and
Alexander Pretschner},
title = {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]},
series = {Lecture Notes in Computer Science},
volume = {3472},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b137241},
doi = {10.1007/B137241},
isbn = {3-540-26278-4},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2004test.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5402,
editor = {Manfred Broy and
Manfred Nagl and
Hans Dieter Rombach and
Matthias Jarke},
title = {Perspectives Workshop, 05.10. - 08.10.2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05402},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/portals/05402/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyJNRCEGGGGGH05,
author = {Manfred Broy and
Matthias Jarke and
Manfred Nagl and
Hans Dieter Rombach and
Armin B. Cremers and
J{\"{u}}rgen Ebert and
Sabine Glesner and
Martin Glinz and
Michael Goedicke and
Gerhard Goos and
Volker Gruhn and
Wilhelm Hasselbring and
Stefan J{\"{a}}hnichen and
Stefan Kowalewski and
Bernd J. Kr{\"{a}}mer and
Stefan Leue and
Claus Lewerentz and
Peter Liggesmeyer and
Christoph L{\"{u}}th and
Barbara Paech and
Helmuth Arthur Partsch and
Ilka Philippow and
Lutz Prechelt and
Andreas Rausch and
Willem{-}Paul de Roever and
Bernhard Rumpe and
Gudula R{\"{u}}nger and
Wilhelm Sch{\"{a}}fer and
Kurt Schneider and
Andy Sch{\"{u}}rr and
Walter F. Tichy and
Bernhard Westfechtel and
Wolf Zimmermann and
Albert Z{\"{u}}ndorf},
editor = {Manfred Broy and
Manfred Nagl and
Hans Dieter Rombach and
Matthias Jarke},
title = {Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering
in Deutschland},
booktitle = {Perspectives Workshop, 05.10. - 08.10.2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05402},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/585/},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyJNRCEGGGGGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/xpert/BroyS04,
author = {Manfred Broy and
Ralf Steinbr{\"{u}}ggen},
title = {Modellbildung in der Informatik},
series = {Xpert.press},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-642-18732-2},
doi = {10.1007/978-3-642-18732-2},
isbn = {978-3-642-62267-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/xpert/BroyS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BroyLM04,
author = {Manfred Broy and
Gerald L{\"{u}}ttgen and
Michael Mendler},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {16},
number = {3},
pages = {165},
year = {2004},
url = {https://doi.org/10.1007/s00165-004-0049-2},
doi = {10.1007/S00165-004-0049-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BroyLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/MollBPSBR04,
author = {Karl{-}Rudolf Moll and
Manfred Broy and
Markus Pizka and
Tilman Seifert and
Klaus Bergner and
Andreas Rausch},
title = {Erfolgreiches Management von Software-Projekten},
journal = {Inform. Spektrum},
volume = {27},
number = {5},
pages = {419--432},
year = {2004},
url = {https://doi.org/10.1007/s00287-004-0412-y},
doi = {10.1007/S00287-004-0412-Y},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/MollBPSBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy04,
author = {Manfred Broy},
editor = {Olaf Owe and
Stein Krogdahl and
Tom Lyche},
title = {Distributed Concurrent Object-Oriented Software},
booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
Dahl},
series = {Lecture Notes in Computer Science},
volume = {2635},
pages = {83--95},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-39993-3\_6},
doi = {10.1007/978-3-540-39993-3\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Broy04,
author = {Manfred Broy},
editor = {Ralf H. Reussner and
Judith A. Stafford and
Clemens A. Szyperski},
title = {A Core Theory of Interfaces and Architecture and Its Impact on Object
Orientation},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3938},
pages = {26--47},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11786160\_2},
doi = {10.1007/11786160\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Broy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/KrugerPSB04,
author = {Ingolf Kr{\"{u}}ger and
Wolfgang Prenninger and
Robert Sandner and
Manfred Broy},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Development of Hierarchical Broadcasting Software Architectures Using
{UML} 2.0},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {29--47},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_4},
doi = {10.1007/978-3-540-27863-4\_4},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/KrugerPSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Broy04,
author = {Manfred Broy},
title = {Architecture Driven Modeling in Software Development},
booktitle = {9th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECCS.2004.1310898},
doi = {10.1109/ICECCS.2004.1310898},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Broy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Broy04,
author = {Manfred Broy},
editor = {Juliana K{\"{u}}ster Filipe and
Iman Poernomo and
Ralf H. Reussner and
Sandeep K. Shukla},
title = {Time, Abstraction, Causality and Modularity in Interactive Systems:
Extended Abstract},
booktitle = {Proceedings of the First International Workshop on Formal Foundations
of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {108},
pages = {3--9},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.003},
doi = {10.1016/J.ENTCS.2004.11.003},
timestamp = {Tue, 13 Dec 2022 10:41:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Broy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BauerB03,
author = {Friedrich L. Bauer and
Manfred Broy},
title = {Edsger W. Dijkstra - Acta Informatica and Marktoberdorf},
journal = {Acta Informatica},
volume = {39},
number = {3},
pages = {141--142},
year = {2003},
url = {https://doi.org/10.1007/s00236-003-0109-8},
doi = {10.1007/S00236-003-0109-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BauerB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BroyLM03,
author = {Manfred Broy and
Gerald L{\"{u}}ttgen and
Michael Mendler},
title = {Editorial: Where Theory and Practice Meet},
journal = {Formal Aspects Comput.},
volume = {15},
number = {4},
pages = {297--298},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0020-7},
doi = {10.1007/S00165-003-0020-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BroyLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyP03,
author = {Manfred Broy and
Wolfgang Pree},
title = {Ein Wegweiser f{\"{u}}r Forschung und Lehre im Software-Engineering
eingebetteter Systeme},
journal = {Inform. Spektrum},
volume = {26},
number = {1},
pages = {3--7},
year = {2003},
url = {https://doi.org/10.1007/s00287-002-0233-9},
doi = {10.1007/S00287-002-0233-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Broy03,
author = {Manfred Broy},
title = {Software-Engineering und Software-Fabrik: Von guten und schlechten
Metaphern},
journal = {Inform. Spektrum},
volume = {26},
number = {1},
pages = {13--16},
year = {2003},
url = {https://doi.org/10.1007/s00287-002-0279-8},
doi = {10.1007/S00287-002-0279-8},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy03,
author = {Manfred Broy},
editor = {Nachum Dershowitz},
title = {A Functional Calculus for Specification and Verification of Nondeterministic
Interactive Systems},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {161--181},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_7},
doi = {10.1007/978-3-540-39910-0\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Broy03,
author = {Manfred Broy},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Service-Oriented Systems Engineering: Modeling Services and Layered
Architectures},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {48--61},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_4},
doi = {10.1007/978-3-540-39979-7\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Broy03,
author = {Manfred Broy},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Automotive Software Engineering},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {719--720},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201259},
doi = {10.1109/ICSE.2003.1201259},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Broy03,
author = {Manfred Broy},
title = {Modular Hierarchies of Models for Embedded Systems},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {183},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210103},
doi = {10.1109/MEMCOD.2003.1210103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/Broy03,
author = {Manfred Broy},
editor = {Walter Dosch and
Roger Y. Lee},
title = {Engineering Software Intensive Systems},
booktitle = {Proceedings of the {ACIS} Fourth International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing (SNPD'03), October 16-18, 2003, L{\"{u}}beck, Germany},
pages = {1--5},
publisher = {{ACIS}},
year = {2003},
timestamp = {Wed, 26 Nov 2003 12:28:17 +0100},
biburl = {https://dblp.org/rec/conf/snpd/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2003,
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94823},
doi = {10.1007/B94823},
isbn = {3-540-20813-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/KrugerPSB02,
author = {Ingolf Kr{\"{u}}ger and
Wolfgang Prenninger and
Robert Sandner and
Manfred Broy},
title = {From Scenarios to Hierarchical Broadcasting Software Architectures
Using {UML-RT}},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {12},
number = {2},
pages = {155--174},
year = {2002},
url = {https://doi.org/10.1142/S0218194002000858},
doi = {10.1142/S0218194002000858},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/KrugerPSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyS02,
author = {Manfred Broy and
Johannes Siedersleben},
title = {Objektorientierte Programmierung und Softwareentwicklung - Eine kritische
Einsch{\"{a}}tzung},
journal = {Inform. Spektrum},
volume = {25},
number = {1},
pages = {3--11},
year = {2002},
url = {https://doi.org/10.1007/s002870100209},
doi = {10.1007/S002870100209},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Broy02,
author = {Manfred Broy},
title = {Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra
1930-2002 (Historische Notizen)},
journal = {Inform. Spektrum},
volume = {25},
number = {5},
pages = {367--369},
year = {2002},
url = {https://doi.org/10.1007/s002870200259},
doi = {10.1007/S002870200259},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Broy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyR02,
author = {Manfred Broy and
H. Dieter Rombach},
title = {Software Engineering Wurzeln, Stand und Perspektiven},
journal = {Inform. Spektrum},
volume = {25},
number = {6},
pages = {438--451},
year = {2002},
url = {https://doi.org/10.1007/s002870200266},
doi = {10.1007/S002870200266},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LuqiB02,
author = {Luqi and
Manfred Broy},
title = {Software engineering beyond our planning horizon: automation for computer-based
systems},
journal = {Sci. Comput. Program.},
volume = {42},
number = {1},
pages = {1--10},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(01)00023-5},
doi = {10.1016/S0167-6423(01)00023-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LuqiB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/Broy02,
author = {Manfred Broy},
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {Multi-view Modeling of Software Systems},
booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
10th Anniversary Colloquium of UNU/IIST, the International Institute
for Software Technology of The United Nations University, Lisbon,
Portugal, March 18-20, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2757},
pages = {207--225},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40007-3\_14},
doi = {10.1007/978-3-540-40007-3\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/unu/Broy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Broy02,
author = {Manfred Broy},
editor = {Beno{\^{\i}}t Caillaud and
Anca Muscholl},
title = {Message Sequence Charts in the Development Process - Role and Limitations},
booktitle = {Validation and Implementation of Scenario-based Specifications, {VISS}
2002, Satellite Event of {ETAPS} 2002, Grenoble, France, April 6-14,
2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {7},
pages = {18--33},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80482-1},
doi = {10.1016/S1571-0661(04)80482-1},
timestamp = {Mon, 05 Dec 2022 15:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Broy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/02/Broy02,
author = {Manfred Broy},
editor = {Manfred Broy and
Ernst Denert},
title = {Software Engineering From Auxiliary to Key Technology},
booktitle = {Software Pioneers},
pages = {10--13},
publisher = {Springer Berlin Heidelberg},
year = {2002},
url = {https://doi.org/10.1007/978-3-642-59412-0\_1},
doi = {10.1007/978-3-642-59412-0\_1},
timestamp = {Mon, 17 Jul 2017 13:35:05 +0200},
biburl = {https://dblp.org/rec/books/sp/02/Broy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BD2002,
editor = {Manfred Broy and
Ernst Denert},
title = {Software Pioneers},
publisher = {Springer Berlin Heidelberg},
year = {2002},
url = {https://doi.org/10.1007/978-3-642-59412-0},
doi = {10.1007/978-3-642-59412-0},
isbn = {978-3-642-63970-8},
timestamp = {Mon, 17 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BD2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/BroyS01,
author = {Manfred Broy and
Ketil St{\o}len},
title = {Specification and Development of Interactive Systems - Focus on Streams,
Interfaces, and Refinement},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4613-0091-5},
doi = {10.1007/978-1-4613-0091-5},
isbn = {978-1-4612-6518-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/BroyS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Broy01,
author = {Manfred Broy},
title = {Letter from the Editor},
journal = {Acta Informatica},
volume = {37},
number = {4/5},
pages = {227--228},
year = {2001},
url = {https://doi.org/10.1007/s002360000052},
doi = {10.1007/S002360000052},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Broy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BroyBHKRS01,
author = {Manfred Broy and
Ruth Breu and
Franz Huber and
Ingolf Kr{\"{u}}ger and
Bernhard Rumpe and
Wolfgang Schwerin},
title = {Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht
des Forschungslabors {SYSLAB} {(1.10.1994} - 30.9.1999)},
journal = {Inform. Forsch. Entwickl.},
volume = {16},
number = {1},
pages = {53--59},
year = {2001},
url = {https://doi.org/10.1007/PL00009142},
doi = {10.1007/PL00009142},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BroyBHKRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/FriedewaldRSBHKKWZ01,
author = {Michael Friedewald and
H. Dieter Rombach and
Petra Stahl and
Manfred Broy and
Susanne Hartkopf and
Simone Kimpeler and
Kirstin Kohler and
Robert Wucher and
Peter Zoche},
title = {Softwareentwicklung in Deutschland, Eine Bestandsaufnahme},
journal = {Inform. Spektrum},
volume = {24},
number = {2},
pages = {81--90},
year = {2001},
url = {https://doi.org/10.1007/s002870100148},
doi = {10.1007/S002870100148},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/FriedewaldRSBHKKWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BroyHKR01,
author = {Manfred Broy and
Susanne Hartkopf and
Kirstin Kohler and
H. Dieter Rombach},
title = {Germany: Combining Software and Application Competencies},
journal = {{IEEE} Softw.},
volume = {18},
number = {4},
pages = {93--95},
year = {2001},
url = {https://doi.org/10.1109/MS.2001.936224},
doi = {10.1109/MS.2001.936224},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BroyHKR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Broy01,
author = {Manfred Broy},
title = {Refinement of time},
journal = {Theor. Comput. Sci.},
volume = {253},
number = {1},
pages = {3--26},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00087-6},
doi = {10.1016/S0304-3975(00)00087-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Broy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BroyS01,
author = {Manfred Broy and
Gheorghe Stefanescu},
title = {The algebra of stream processing functions},
journal = {Theor. Comput. Sci.},
volume = {258},
number = {1-2},
pages = {99--129},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(99)00322-9},
doi = {10.1016/S0304-3975(99)00322-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BroyS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Broy01,
author = {Manfred Broy},
title = {Toward a Mathematical Foundation of Software Engineering Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {27},
number = {1},
pages = {42--57},
year = {2001},
url = {https://doi.org/10.1109/32.895987},
doi = {10.1109/32.895987},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Broy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BroyS01,
author = {Manfred Broy and
Oscar Slotosch},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {From Requirements to Validated Embedded Systems},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {51--65},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_5},
doi = {10.1007/3-540-45449-7\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BroyS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Broy01,
author = {Manfred Broy},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {Specification and Modeling: An Academic Perspective},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {673--675},
publisher = {{IEEE} Computer Society},
year = {2001},
timestamp = {Mon, 14 May 2012 18:17:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/Broy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RombachBEMOP01,
author = {H. Dieter Rombach and
Manfred Broy and
Michael Evangelist and
Ali Mili and
Leon J. Osterweil and
David Lorge Parnas},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {Software Engineering Research Agendas Panel {(SERA):} What Can't We
Do, But Need to Learn How to Do?},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {698},
publisher = {{IEEE} Computer Society},
year = {2001},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RombachBEMOP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BroyO01,
author = {Manfred Broy and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Trace-Oriented Models of Concurrency},
booktitle = {Handbook of Process Algebra},
pages = {101--195},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50020-5},
doi = {10.1016/B978-044482830-9/50020-5},
timestamp = {Fri, 28 Jun 2019 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/BroyO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2001,
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2},
doi = {10.1007/3-540-45575-2},
isbn = {3-540-43075-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0013742,
author = {Manfred Broy and
Herbert Ehler and
Barbara Paech and
Bernhard Rumpe and
Veronika Thurner},
title = {Software Engineering: Schl{\"{u}}ssel zu Proze{\ss}beherrschung
und Informationsmanagement},
series = {TCW-Report},
volume = {24},
publisher = {{TCW}},
year = {2000},
url = {http://www.tcw.de/publikationen/software-engineering/schluessel-zu-prozessbeherrschung-und-informationsmanagement-191},
isbn = {3-931511-52-9},
timestamp = {Fri, 22 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0013742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/SchmidB00,
author = {Detlef Schmid and
Manfred Broy},
title = {. . . noch nicht zu sp{\"{a}}t! Das Walberberg-Memorandum zur
F{\"{o}}rderung der IT-Forschung},
journal = {Inform. Spektrum},
volume = {23},
number = {2},
pages = {109--117},
year = {2000},
url = {https://doi.org/10.1007/s002870050156},
doi = {10.1007/S002870050156},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/SchmidB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Broy00,
author = {Manfred Broy},
title = {Algebraic specification of reactive systems},
journal = {Theor. Comput. Sci.},
volume = {239},
number = {1},
pages = {3--40},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00212-1},
doi = {10.1016/S0304-3975(99)00212-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Broy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BroyW00,
author = {Manfred Broy and
Martin Wirsing},
editor = {Teodor Rus},
title = {Invited Talk: Algebraic State Machines},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {89--188},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_9},
doi = {10.1007/3-540-45499-3\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BroyW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Broy00,
author = {Manfred Broy},
editor = {Carlos Delgado and
Esperanza Marcos and
Jos{\'{e}} Manuel Marqu{\'{e}}s Corral},
title = {Software Engineering as a Modelling Process},
booktitle = {V Jornadas Ingenier{\'{\i}}a de Software y Bases de Datos {(JISBD}
2000), 8, 9 y 10 de noviembre, Valladolid},
pages = {9},
publisher = {Universidad de Valladolid, Departamento de Inform{\'{a}}tica},
year = {2000},
timestamp = {Fri, 12 Dec 2003 08:51:26 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/Broy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mse/Broy00,
author = {Manfred Broy},
title = {The Essence of Message Sequence Charts},
booktitle = {2000 International Symposium on Multimedia Software Engineering, {ISMSE}
2000, Taipei, Taiwan, December 11-13, 2000},
pages = {42--47},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/MMSE.2000.897190},
doi = {10.1109/MMSE.2000.897190},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mse/Broy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/1999,
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Perspectives of System Informatics, Third International Andrei Ershov
Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July
6-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1755},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46562-6},
doi = {10.1007/3-540-46562-6},
isbn = {3-540-67102-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SchiederB99,
author = {Birgit Schieder and
Manfred Broy},
title = {Adapting Calculational Logic to the Undefined},
journal = {Comput. J.},
volume = {42},
number = {2},
pages = {73--81},
year = {1999},
url = {https://doi.org/10.1093/comjnl/42.2.73},
doi = {10.1093/COMJNL/42.2.73},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/SchiederB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BroyHS99,
author = {Manfred Broy and
Franz Huber and
Bernhard Sch{\"{a}}tz},
title = {AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme},
journal = {Inform. Forsch. Entwickl.},
volume = {14},
number = {3},
pages = {121--134},
year = {1999},
url = {https://doi.org/10.1007/s004500050132},
doi = {10.1007/S004500050132},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BroyHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Broy99,
author = {Manfred Broy},
title = {Software technology - formal methods and scientific foundations},
journal = {Inf. Softw. Technol.},
volume = {41},
number = {14},
pages = {947--950},
year = {1999},
url = {https://doi.org/10.1016/S0950-5849(99)00068-3},
doi = {10.1016/S0950-5849(99)00068-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Broy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyS99,
author = {Manfred Broy and
Joachim W. Schmidt},
title = {Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion
Gestellt)},
journal = {Inform. Spektrum},
volume = {22},
number = {3},
pages = {206--209},
year = {1999},
url = {https://doi.org/10.1007/s002870050139},
doi = {10.1007/S002870050139},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/BroyS99,
author = {Manfred Broy and
Thomas Stauner},
title = {Requirements Engineering f{\"{u}}r eingebettete Systeme},
journal = {Informationstechnik Tech. Inform.},
volume = {41},
number = {2},
pages = {7--11},
year = {1999},
url = {https://doi.org/10.1524/itit.1999.41.2.7},
doi = {10.1524/ITIT.1999.41.2.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/it/BroyS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BergnerRSVB99,
author = {Klaus Bergner and
Andreas Rausch and
Marc Sihling and
Alexander Vilbig and
Manfred Broy},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {A Formal Model for Componentware},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {17--26},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/BergnerRSVB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BergnerGRSB99,
author = {Klaus Bergner and
Radu Grosu and
Andreas Rausch and
Alexander Schmidt and
Peter Scholz and
Manfred Broy},
title = {Focusing on Mobility},
booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32),
January 5-8, 1999, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HICSS.1999.773061},
doi = {10.1109/HICSS.1999.773061},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/BergnerGRSB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Broy99,
author = {Manfred Broy},
editor = {Didier Bert and
Christine Choppy and
Peter D. Mosses},
title = {From States to Histories},
booktitle = {Recent Trends in Algebraic Development Techniques, 14th International
Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1827},
pages = {22--36},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-44616-3\_2},
doi = {10.1007/978-3-540-44616-3\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Broy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GrosuBSS99,
author = {Radu Grosu and
Manfred Broy and
Bran Selic and
Gheorghe Stefanescu},
editor = {Haim Kilov and
Bernhard Rumpe and
Ian Simmonds},
title = {What is Behind UML-RT?},
booktitle = {Behavioral Specifications of Businesses and Systems},
series = {The Kluwer International Series in Engineering and Computer Science},
volume = {523},
pages = {75--90},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4615-5229-1\_6},
doi = {10.1007/978-1-4615-5229-1\_6},
timestamp = {Tue, 26 Jun 2018 16:12:55 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/GrosuBSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/AstesianoBR99,
author = {Egidio Astesiano and
Manfred Broy and
Gianna Reggio},
editor = {Egidio Astesiano and
Hans{-}J{\"{o}}rg Kreowski and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Algebraic Specification of Concurrent Systems},
booktitle = {Algebraic Foundations of Systems Specification},
series = {{IFIP} State-of-the-Art Reports},
pages = {467--520},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-59851-7\_13},
doi = {10.1007/978-3-642-59851-7\_13},
timestamp = {Tue, 16 May 2017 14:24:23 +0200},
biburl = {https://dblp.org/rec/series/ifip/AstesianoBR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/monterey/1998,
editor = {Luqi and
Manfred Broy},
title = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
for Computer Basesd Systems, Carmel, California, USA, October 23-26,
1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {25},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/25/suppl/C},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/monterey/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Broy98,
author = {Manfred Broy},
title = {A Functional Rephrasing of the Assumption/Commitment Specification
Style},
journal = {Formal Methods Syst. Des.},
volume = {13},
number = {1},
pages = {87--119},
year = {1998},
url = {https://doi.org/10.1023/A:1008618722275},
doi = {10.1023/A:1008618722275},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Broy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BroyDHKPPPSS98,
author = {Manfred Broy and
Anton Deimel and
Juergen Henn and
Kai Koskimies and
Frantisek Pl{\'{a}}sil and
Gustav Pomberger and
Wolfgang Pree and
Michael Stal and
Clemens A. Szyperski},
title = {What characterizes a (software) component?},
journal = {Softw. Concepts Tools},
volume = {19},
number = {1},
pages = {49--56},
year = {1998},
url = {https://doi.org/10.1007/s003780050007},
doi = {10.1007/S003780050007},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stp/BroyDHKPPPSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Broy98,
author = {Manfred Broy},
title = {A uniform mathematical concept of a component (Appendix to M. Broy
et al.: "What characterizes a (software) component?"},
journal = {Softw. Concepts Tools},
volume = {19},
number = {1},
pages = {57--59},
year = {1998},
url = {https://doi.org/10.1007/s003780050008},
doi = {10.1007/S003780050008},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Broy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GrosuSB98,
author = {Radu Grosu and
Gheorghe Stefanescu and
Manfred Broy},
title = {Visual Formalisms Revisited},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {41--51},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657538},
doi = {10.1109/CSD.1998.657538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GrosuSB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BroyS98,
author = {Manfred Broy and
Oscar Slotosch},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {Enriching the Software Development Process by Formal Methods},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {44--61},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_2},
doi = {10.1007/3-540-48257-1\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BroyS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GrosuSB98,
author = {Radu Grosu and
Thomas Stauner and
Manfred Broy},
editor = {Anders P. Ravn and
Hans Rischel},
title = {A Modular Visual Model for Hybrid Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {75--91},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055338},
doi = {10.1007/BFB0055338},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/GrosuSB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BroyK98,
author = {Manfred Broy and
Ingolf Kr{\"{u}}ger},
title = {Interaction Interfaces - Towards a Scientific Foundation of a Methodological
Usage of Message Sequence Charts},
booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
Proceedings},
pages = {2--15},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730565},
doi = {10.1109/ICFEM.1998.730565},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BroyK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/KrugerGSB98,
author = {Ingolf Kr{\"{u}}ger and
Radu Grosu and
Peter Scholz and
Manfred Broy},
editor = {Franz J. Rammig},
title = {From MSCs to Statecharts},
booktitle = {Distributed and Parallel Embedded Systems, {IFIP} {WG10.3/WG10.5}
International Workshop on Distributed and Parallel Embedded Systems
{(DIPES} '98), October 5-6. 1998, Schlo{\ss} Eringerfeld, Germany},
series = {{IFIP} Conference Proceedings},
volume = {155},
pages = {61--72},
publisher = {Kluwer},
year = {1998},
timestamp = {Fri, 11 Oct 2002 14:29:47 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/KrugerGSB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Broy98,
author = {Manfred Broy},
editor = {Branislav Rovan},
title = {A Logical Basis for Modular Software and Systems Engineering},
booktitle = {{SOFSEM} '98: Theory and Practice of Informatics, 25th Conference
on Current Trends in Theory and Practice of Informatics, Jasn{\'{a}},
Slovakia, November 21-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1521},
pages = {19--35},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49477-4\_2},
doi = {10.1007/3-540-49477-4\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Broy98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuqiB99,
author = {Luqi and
Manfred Broy},
editor = {Luqi and
Manfred Broy},
title = {Preface - Software Engineering to our Planning Horizon},
booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
for Computer Basesd Systems, Carmel, California, USA, October 23-26,
1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {25},
pages = {145--146},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80554-7},
doi = {10.1016/S1571-0661(05)80554-7},
timestamp = {Wed, 23 Nov 2022 16:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuqiB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtse/1997,
editor = {Manfred Broy and
Bernhard Rumpe},
title = {Requirements Targeting Software and Systems Engineering, International
Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1526},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/b71630},
doi = {10.1007/B71630},
isbn = {3-540-65309-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtse/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0091183,
author = {Manfred Broy and
Bernhard Rumpe},
title = {{\"{U}}bungen zur Einf{\"{u}}hrung in die Informatik - strukturierte
Aufgabensammlung mit Musterl{\"{o}}sungen},
publisher = {Springer},
year = {1997},
isbn = {978-3-540-63549-9},
timestamp = {Tue, 26 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0091183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BroyJ97,
author = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {{KORSO} - Korrekte Software durch formale Methoden},
journal = {Inform. Forsch. Entwickl.},
volume = {12},
number = {3},
pages = {157--160},
year = {1997},
url = {https://doi.org/10.1007/s004500050084},
doi = {10.1007/S004500050084},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BroyJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Broy97,
author = {Manfred Broy},
title = {Editorial: Formale Methoden in der Praxis},
journal = {Informationstechnik Tech. Inform.},
volume = {39},
number = {3},
pages = {5--6},
year = {1997},
url = {https://doi.org/10.1524/itit.1997.39.3.5},
doi = {10.1524/ITIT.1997.39.3.5},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Broy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Broy97,
author = {Manfred Broy},
title = {Compositional refinement of interactive systems},
journal = {J. {ACM}},
volume = {44},
number = {6},
pages = {850--891},
year = {1997},
url = {https://doi.org/10.1145/268999.269004},
doi = {10.1145/268999.269004},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Broy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/login/HubwieserB97,
author = {Peter Hubwieser and
Manfred Broy},
title = {Ein neuer Ansatz f{\"{u}}r den Informatikunterricht am Gymnasium},
journal = {{LOG} {IN}},
volume = {17},
number = {3/4},
pages = {42},
year = {1997},
timestamp = {Thu, 30 Oct 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/login/HubwieserB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Broy97,
author = {Manfred Broy},
title = {Towards a Mathematical Concept of a Component and its Use},
journal = {Softw. Concepts Tools},
volume = {18},
number = {3},
pages = {137},
year = {1997},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Broy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BroyHKS97,
author = {Manfred Broy and
Christoph Hofmann and
Ingolf Kr{\"{u}}ger and
Monika Schmidt},
title = {Using Extended Event Traces to Describe Communication in Software
Architectures},
booktitle = {4th Asia-Pacific Software Engineering and International Computer Science
Conference {(APSEC} '97 / {ICSC} '97), 2-5 December 1997, Clear Water
Bay, Hong Kong},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/APSEC.1997.640177},
doi = {10.1109/APSEC.1997.640177},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BroyHKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/Broy97,
author = {Manfred Broy},
editor = {Miquel Bertran and
Teodor Rus},
title = {Refinement of Time},
booktitle = {Transformation-Based Reactive Systems Development, 4th International
{AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {44--63},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63010-4\_4},
doi = {10.1007/3-540-63010-4\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/arts/Broy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy97,
author = {Manfred Broy},
editor = {Christian Freksa and
Matthias Jantzen and
R{\"{u}}diger Valk},
title = {Interactive and Reactive Systems: States, Observations, Experiments,
Input, Output, Nondeterminism, Compositionality and all That},
booktitle = {Foundations of Computer Science: Potential - Theory - Cognition, to
Wilfried Brauer on the occasion of his sixtieth birthday},
series = {Lecture Notes in Computer Science},
volume = {1337},
pages = {279--286},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0052096},
doi = {10.1007/BFB0052096},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/Broy97,
author = {Manfred Broy},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Compositional Refinement of Interactive Systems Modelled by Relations},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {130--149},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_6},
doi = {10.1007/3-540-49213-5\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/Broy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BroyGK97,
author = {Manfred Broy and
Radu Grosu and
Cornel Klein},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Reconciling Real-Time with Asynchronous Message Passing},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {182--200},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_10},
doi = {10.1007/3-540-63533-5\_10},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/BroyGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BroyEPT97,
author = {Manfred Broy and
Herbert Ehler and
Barbara Paech and
Veronika Thurner},
editor = {Matthias Jarke and
Klaus Pasedach and
Klaus Pohl},
title = {Innovation durch Kooperation im Software-Engineering},
booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
1997},
series = {Informatik Aktuell},
pages = {503--504},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60831-5\_64},
doi = {10.1007/978-3-642-60831-5\_64},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/BroyEPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtse/BroyHPRS97,
author = {Manfred Broy and
Franz Huber and
Barbara Paech and
Bernhard Rumpe and
Katharina Spies},
editor = {Manfred Broy and
Bernhard Rumpe},
title = {Software and System Modeling Based on a Unified Formal Semantics},
booktitle = {Requirements Targeting Software and Systems Engineering, International
Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1526},
pages = {43--68},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/10692867\_2},
doi = {10.1007/10692867\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/rtse/BroyHPRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/schule/HubwieserB97,
author = {Peter Hubwieser and
Manfred Broy},
editor = {Heinz Ulrich Hoppe and
Wolfram Luther},
title = {Grundlegende Konzepte von Informations- und Kommunikationssystemen
f{\"{u}}r den Informatikunterricht},
booktitle = {Informatik und Lernen in der Informationsgesellschaft, 7. GI-Fachtagung
Informatik und Schule, INFOS'97, Duisburg, Deutschland, 15.-18. September
1997},
series = {Informatik Aktuell},
pages = {40--50},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60894-0\_6},
doi = {10.1007/978-3-642-60894-0\_6},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/schule/HubwieserB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Broy96,
author = {Manfred Broy},
title = {Experiences with Software Specification and Verification Using LP,
The Larch Proof Assistant},
journal = {Formal Methods Syst. Des.},
volume = {8},
number = {3},
pages = {221--272},
year = {1996},
url = {https://doi.org/10.1007/BF00709138},
doi = {10.1007/BF00709138},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/Broy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Broy96,
author = {Manfred Broy},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Algebraic Specification of Reactive Systems},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {487--503},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014335},
doi = {10.1007/BFB0014335},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Broy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchatzHB96,
author = {Bernhard Sch{\"{a}}tz and
Heinrich Hu{\ss}mann and
Manfred Broy},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Graphical Development of Consistent System Specifications},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {248--267},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_91},
doi = {10.1007/3-540-60973-3\_91},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SchatzHB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Broy96,
author = {Manfred Broy},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Formal Description Techniques - How Formal and Descriptive are they?},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {95--110},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/Broy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Broy96,
author = {Manfred Broy},
editor = {Manfred Broy},
title = {Specification and refinement of a buffer of length one},
booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program
Design, Marktoberdorf, Germany},
pages = {273--304},
year = {1996},
timestamp = {Tue, 14 Nov 2006 16:17:55 +0100},
biburl = {https://dblp.org/rec/conf/nato/Broy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1994fss,
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0024423},
doi = {10.1007/BFB0024423},
isbn = {3-540-61984-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/1994fss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/1996,
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {Perspectives of System Informatics, Second International Andrei Ershov
Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1181},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62064-8},
doi = {10.1007/3-540-62064-8},
isbn = {3-540-62064-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nato/1996,
editor = {Manfred Broy},
title = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program
Design, Marktoberdorf, Germany},
year = {1996},
isbn = {3-540-60947-4},
timestamp = {Tue, 14 Nov 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nato/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/WalickiB95,
author = {Michal Walicki and
Manfred Broy},
title = {Structured Specifications and Implementation of Nondeterministic Data
Types},
journal = {Nord. J. Comput.},
volume = {2},
number = {3},
pages = {358--395},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/WalickiB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Broy95,
author = {Manfred Broy},
editor = {Bernhard M{\"{o}}ller},
title = {Mathematics of Software Engineering},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {18--48},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_3},
doi = {10.1007/3-540-60117-1\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Broy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/cstoday95/Broy95,
author = {Manfred Broy},
editor = {Jan van Leeuwen},
title = {Mathematical System Models as a Basis of Software Engineering},
booktitle = {Computer Science Today: Recent Trends and Developments},
series = {Lecture Notes in Computer Science},
volume = {1000},
pages = {292--306},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015250},
doi = {10.1007/BFB0015250},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/cstoday95/Broy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/BroyW95,
author = {Manfred Broy and
Martin Wirsing},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Correct Software: From Experiments to Applications},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {1--26},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015453},
doi = {10.1007/BFB0015453},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/BroyW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/korso/1995,
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015452},
doi = {10.1007/BFB0015452},
isbn = {3-540-60589-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/korso/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Broy94,
author = {Manfred Broy},
title = {Professor Friedrich L. Bauer zum 70. Geburtstag},
journal = {Inform. Spektrum},
volume = {17},
number = {4},
pages = {258--259},
year = {1994},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Broy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BroyN94,
author = {Manfred Broy and
Greg Nelson},
title = {Adding Fair Choice to Dijkstra's Calculus},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {924--938},
year = {1994},
url = {https://doi.org/10.1145/177492.177727},
doi = {10.1145/177492.177727},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BroyN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Broy94,
author = {Manfred Broy},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Equations for Describing Dynamic Nets of Communicating Systems},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {170--187},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014427},
doi = {10.1007/BFB0014427},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Broy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyL94,
author = {Manfred Broy and
Leslie Lamport},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {The RPC-Memory Specification Problem - Problem Statement},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {1--4},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024424},
doi = {10.1007/BFB0024424},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyMS94,
author = {Manfred Broy and
Stephan Merz and
Katharina Spies},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {The RPC-Memory Case Study: {A} Synopsis},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {5--20},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024425},
doi = {10.1007/BFB0024425},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Broy94,
author = {Manfred Broy},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A Functional Solution to the RPC-Memory Specification Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {183--211},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024430},
doi = {10.1007/BFB0024430},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Broy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BroyHNPS94,
author = {Manfred Broy and
Ursula Hinkel and
Tobias Nipkow and
Christian Prehofer and
Birgit Schieder},
editor = {P. S. Thiagarajan},
title = {Interpreter Verification for a Functional Language},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
pages = {77--88},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_115},
doi = {10.1007/3-540-58715-2\_115},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BroyHNPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BroyS94,
author = {Manfred Broy and
Ketil St{\o}len},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Specification and Refinement of Finite Dataflow Networks - a Relational
Approach},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {247--267},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_169},
doi = {10.1007/3-540-58468-4\_169},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BroyS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tppp/Broy94,
author = {Manfred Broy},
editor = {Takayasu Ito and
Akinori Yonezawa},
title = {Advanced Component Interface Specification},
booktitle = {Theory and Practice of Parallel Programming, International Workshop
TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {907},
pages = {369--392},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0026580},
doi = {10.1007/BFB0026580},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tppp/Broy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Broy93,
author = {Manfred Broy},
title = {Functional Specification of Time-Sensitive Communicating Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {2},
number = {1},
pages = {1--46},
year = {1993},
url = {https://doi.org/10.1145/151299.151302},
doi = {10.1145/151299.151302},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/Broy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BroyW93,
author = {Manfred Broy and
Martin Wirsing},
editor = {Horst Reichel},
title = {Korrekte Software: Vom Experiment zur Anwendung},
booktitle = {Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden,
Germany, 27. September - 1. Oktober 1993},
series = {Informatik Aktuell},
pages = {29--43},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78486-6\_4},
doi = {10.1007/978-3-642-78486-6\_4},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/BroyW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prospectra/BreuBGN93,
author = {Michael Breu and
Manfred Broy and
Thomas Gr{\"{u}}nler and
Friederike Nickl},
editor = {Berthold Hoffmann and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Semantics of PA\({}^{\mbox{nn}}\)dA-S},
booktitle = {Program Development by Specification and Transformation, The {PROSPECTRA}
Methodology, Language Family, and System},
series = {Lecture Notes in Computer Science},
volume = {680},
pages = {171--222},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56733-X\_149},
doi = {10.1007/3-540-56733-X\_149},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prospectra/BreuBGN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/1993,
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {Formal Methods in Programming and Their Applications, International
Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {735},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0039695},
doi = {10.1007/BFB0039695},
isbn = {3-540-57316-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nato/1992pdc,
editor = {Manfred Broy},
title = {Program Design Calculi, Proceedings of the {NATO} Advanced Study Institute
on Program Design Calculi, Marktoberdorf, Germany, July 28 - August
9, 1992},
series = {{NATO} {ASI} Series},
volume = {118},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-662-02880-3},
doi = {10.1007/978-3-662-02880-3},
isbn = {978-3-642-08164-4},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nato/1992pdc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Broy92,
author = {Manfred Broy},
title = {Algebraic and Functional Specification of an Interactive Serializable
Database Interface},
journal = {Distributed Comput.},
volume = {6},
number = {1},
pages = {5--18},
year = {1992},
url = {https://doi.org/10.1007/BF02276638},
doi = {10.1007/BF02276638},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Broy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Broy92,
author = {Manfred Broy},
title = {Operational and denotational semantics with explicit concurrency},
journal = {Fundam. Informaticae},
volume = {16},
number = {3-4},
pages = {201--229},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Broy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BodendorfBBEFIKLMS92,
author = {Freimut Bodendorf and
Manfred Broy and
Herbert Burkert and
Albert Endres and
Herbert Fiedler and
V. Ilzh{\"{o}}fer and
H. Kappus and
Christoph Lingenfelder and
C. M{\"{u}}ller and
Franz Stetter},
title = {Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme -
Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz},
journal = {Inform. Spektrum},
volume = {15},
number = {2},
pages = {89--100},
year = {1992},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BodendorfBBEFIKLMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BroyD92,
author = {Manfred Broy and
Claus Dendorfer},
title = {Modelling Operating System Structures by Timed Stream Processing Functions},
journal = {J. Funct. Program.},
volume = {2},
number = {1},
pages = {1--21},
year = {1992},
url = {https://doi.org/10.1017/S0956796800000241},
doi = {10.1017/S0956796800000241},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BroyD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Broy92,
author = {Manfred Broy},
editor = {Jan van Leeuwen},
title = {Reliable Systems Enginerring (Position Statement)},
booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-12}},
pages = {683},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 14 Aug 2002 08:51:19 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Broy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Broy92,
author = {Manfred Broy},
editor = {Manfred Broy},
title = {(Inter-)Action Refinement: The Easy Way},
booktitle = {Program Design Calculi, Proceedings of the {NATO} Advanced Study Institute
on Program Design Calculi, Marktoberdorf, Germany, July 28 - August
9, 1992},
series = {{NATO} {ASI} Series},
volume = {118},
pages = {121--158},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-662-02880-3\_5},
doi = {10.1007/978-3-662-02880-3\_5},
timestamp = {Wed, 16 Mar 2022 23:55:57 +0100},
biburl = {https://dblp.org/rec/conf/nato/Broy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/BroyS92,
author = {Manfred Broy and
Thomas Streicher},
editor = {Grzegorz Rozenberg},
title = {Modular functional modelling of Petri nets with individual tokens},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {70--88},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_168},
doi = {10.1007/3-540-55610-9\_168},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BroyS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Broy91,
author = {Manfred Broy},
title = {Towards a Formal Foundation of the Specification and Description Language
{SDL}},
journal = {Formal Aspects Comput.},
volume = {3},
number = {1},
pages = {21--57},
year = {1991},
url = {https://doi.org/10.1007/BF01211434},
doi = {10.1007/BF01211434},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Broy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/BroyS91,
author = {Manfred Broy and
Thomas Streicher},
title = {Specification and design of shared resource arbitration},
journal = {Int. J. Parallel Program.},
volume = {20},
number = {1},
pages = {1--22},
year = {1991},
url = {https://doi.org/10.1007/BF01407930},
doi = {10.1007/BF01407930},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/BroyS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BroyL91,
author = {Manfred Broy and
Christian Lengauer},
title = {On Denotational versus Predicative Semantics},
journal = {J. Comput. Syst. Sci.},
volume = {42},
number = {1},
pages = {1--29},
year = {1991},
url = {https://doi.org/10.1016/0022-0000(91)90037-6},
doi = {10.1016/0022-0000(91)90037-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BroyL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cip/Broy91,
author = {Manfred Broy},
editor = {Manfred Broy and
Martin Wirsing},
title = {Deductive Program Development: Evaluation in Reverse Polish Notation
as an Example},
booktitle = {Method of Programming, Selected Papers on the CIP-Project},
series = {Lecture Notes in Computer Science},
volume = {544},
pages = {79--99},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018270},
doi = {10.1007/BFB0018270},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cip/Broy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Broy91,
author = {Manfred Broy},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Declarative specification and declarative programming},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952788},
doi = {10.5555/952786.952788},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/Broy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cip/1991,
editor = {Manfred Broy and
Martin Wirsing},
title = {Method of Programming, Selected Papers on the CIP-Project},
series = {Lecture Notes in Computer Science},
volume = {544},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018265},
doi = {10.1007/BFB0018265},
isbn = {3-540-54576-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cip/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9102,
author = {Manfred Broy},
title = {Characterizing the behavior of reactive systems by trace sets},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9102},
pages = {1--24},
year = {1991},
url = {https://d-nb.info/911293736},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9123,
author = {Thomas F. Gritzner and
Manfred Broy},
title = {Parallelism algebras: a link between process algebras and abstract
relation algebras?},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9123},
pages = {1--15},
year = {1991},
url = {https://d-nb.info/921015526},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9128,
author = {Manfred Broy and
Carlos Delgado Kloos},
title = {Weakening the weak conditions for self-timed circuits},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9128},
pages = {1--16},
year = {1991},
url = {https://d-nb.info/920399126},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Broy90,
author = {Manfred Broy},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {Methodological Objectives for Formal Description Techniques},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {1--16},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Broy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2/1990,
editor = {Manfred Broy and
Cliff B. Jones},
title = {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},
publisher = {North-Holland},
year = {1990},
isbn = {0-444-88545-5},
timestamp = {Sat, 26 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9035,
author = {Manfred Broy and
Thomas Streicher},
title = {Modular functional modelling of Petri nets with individual tokems},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9035},
pages = {1--22},
year = {1990},
url = {https://d-nb.info/910513309},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9042,
author = {Manfred Broy and
Claus Dendorfer},
title = {Functional modelling of operating sytem [system] structures by timed
higher order stream processing functions},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9042},
pages = {1--24},
year = {1990},
url = {https://d-nb.info/920791867},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9046,
author = {Manfred Broy},
title = {On the design and verification of a simple distributed spanning tree
algorithm},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9046},
pages = {1--11},
year = {1990},
url = {https://d-nb.info/920791905},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Broy89,
author = {Manfred Broy},
editor = {Gerhard X. Ritter},
title = {Functional Specification of Communicating Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {851--856},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Broy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Broy89a,
author = {Manfred Broy},
editor = {Gerhard X. Ritter},
title = {Position Statement for the {IFIP} Congress 89 Panel on Foundations
of Software Engineering},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {953},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Broy89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Broy89,
author = {Manfred Broy},
editor = {Erich J. Neuhold and
Manfred Paul},
title = {Formalization of Distributed, Concurrent, Reactive Systems},
booktitle = {Formal Description of Programming Concepts, based on a seminar organized
by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
1989},
series = {{IFIP} State-of-the-Art Reports},
pages = {319--262},
publisher = {Springer},
year = {1989},
timestamp = {Thu, 17 Jan 2019 16:12:06 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Broy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Broy89,
author = {Manfred Broy},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Functional Specification of Time Sensitive Communicating Systems},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {153--179},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_64},
doi = {10.1007/3-540-52559-9\_64},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Broy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/WirsingB89,
author = {Martin Wirsing and
Manfred Broy},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {A Modular Framework for Specification and Implementation},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and Programming
(CAAP'89)},
series = {Lecture Notes in Computer Science},
volume = {351},
pages = {42--73},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50939-9\_124},
doi = {10.1007/3-540-50939-9\_124},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/WirsingB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Broy88,
author = {Manfred Broy},
title = {Broadcasting Buffering Communication},
journal = {Comput. Lang.},
volume = {13},
number = {1},
pages = {31--47},
year = {1988},
url = {https://doi.org/10.1016/0096-0551(88)90005-7},
doi = {10.1016/0096-0551(88)90005-7},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/Broy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BroyW88,
author = {Manfred Broy and
Martin Wirsing},
title = {Ultra-loose algebraic specifications},
journal = {Bull. {EATCS}},
volume = {35},
pages = {117--127},
year = {1988},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BroyW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Broy88,
author = {Manfred Broy},
title = {Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly},
journal = {Sci. Comput. Program.},
volume = {10},
number = {1},
pages = {65--85},
year = {1988},
url = {https://doi.org/10.1016/0167-6423(88)90016-0},
doi = {10.1016/0167-6423(88)90016-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Broy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Broy88a,
author = {Manfred Broy},
title = {Views of queues},
journal = {Sci. Comput. Program.},
volume = {11},
number = {1},
pages = {65--86},
year = {1988},
url = {https://doi.org/10.1016/0167-6423(88)90065-2},
doi = {10.1016/0167-6423(88)90065-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Broy88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Broy88,
author = {Manfred Broy},
title = {Equational Specification of Partial Higher-Order Algebras},
journal = {Theor. Comput. Sci.},
volume = {57},
pages = {3--45},
year = {1988},
url = {https://doi.org/10.1016/0304-3975(88)90162-4},
doi = {10.1016/0304-3975(88)90162-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Broy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Broy88,
author = {Manfred Broy},
editor = {Friedrich H. Vogt},
title = {Requirement and Design Specification for Distributed Systems},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {33--62},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_30},
doi = {10.1007/3-540-50403-6\_30},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Broy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Broy88,
author = {Manfred Broy},
editor = {R{\"{u}}diger Valk},
title = {Spezifikation und Entwurf komplexer, kausal vernetzter Systeme},
booktitle = {{GI} - 18. Jahrestagung I, Vernetzte and komplexe Informatik-Systems,
Hamburg, 17.-19. Oktober 1988, Proceedings},
series = {Informatik-Fachberichte},
volume = {187},
pages = {34--55},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-74127-2\_3},
doi = {10.1007/978-3-642-74127-2\_3},
timestamp = {Tue, 23 May 2017 01:10:34 +0200},
biburl = {https://dblp.org/rec/conf/gi/Broy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Broy87,
author = {Manfred Broy},
title = {Semantics of Finite and Infinite Networks of Concurrent Communicating
Agents},
journal = {Distributed Comput.},
volume = {2},
number = {1},
pages = {13--31},
year = {1987},
url = {https://doi.org/10.1007/BF01786252},
doi = {10.1007/BF01786252},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Broy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Broy87,
author = {Manfred Broy},
title = {Predicative Specifications for Functional Programs Describing Communication
Networks},
journal = {Inf. Process. Lett.},
volume = {25},
number = {2},
pages = {93--101},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90227-4},
doi = {10.1016/0020-0190(87)90227-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Broy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Broy87,
author = {Manfred Broy},
title = {Specification and Top-Down Design of Distributed Systems},
journal = {J. Comput. Syst. Sci.},
volume = {34},
number = {2/3},
pages = {236--265},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90026-2},
doi = {10.1016/0022-0000(87)90026-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Broy87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BroyWP87,
author = {Manfred Broy and
Martin Wirsing and
Peter Pepper},
title = {On the Algebraic Definition of Programming Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {9},
number = {1},
pages = {54--99},
year = {1987},
url = {https://doi.org/10.1145/9758.10501},
doi = {10.1145/9758.10501},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BroyWP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Broy86,
author = {Manfred Broy},
title = {Denotational Semantics of Communicating Sequential Programs},
journal = {Inf. Process. Lett.},
volume = {23},
number = {5},
pages = {253--259},
year = {1986},
url = {https://doi.org/10.1016/0020-0190(86)90082-7},
doi = {10.1016/0020-0190(86)90082-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Broy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BroyMPW86,
author = {Manfred Broy and
Bernhard M{\"{o}}ller and
Peter Pepper and
Martin Wirsing},
title = {Algebraic Implementations Preserve Program Correctness},
journal = {Sci. Comput. Program.},
volume = {7},
number = {1},
pages = {35--53},
year = {1986},
url = {https://doi.org/10.1016/0167-6423(86)90004-3},
doi = {10.1016/0167-6423(86)90004-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BroyMPW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Broy86,
author = {Manfred Broy},
title = {A Theory for Nondeterminism, Parallelism, Communication, and Concurrency},
journal = {Theor. Comput. Sci.},
volume = {45},
number = {1},
pages = {1--61},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90040-X},
doi = {10.1016/0304-3975(86)90040-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Broy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BroyS86,
author = {Manfred Broy and
Thomas Streicher},
editor = {Marisa Venturini Zilli},
title = {Views of Distributed Systems},
booktitle = {Mathematical Models for the Semantics of Parallelism, Advanced School,
Rome, Italy, September 24 - October 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {280},
pages = {114--143},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18419-8\_12},
doi = {10.1007/3-540-18419-8\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BroyS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BroyGH86,
author = {Manfred Broy and
Alfons Geser and
Heinrich Hu{\ss}mann},
editor = {Reidar Conradi and
Tor Didriksen and
Dag H. Wanvik},
title = {Towards Advanced Programming Environments Based on Algebraic Concepts},
booktitle = {Advanced Programming Environments, Proceedings of an International
Workshop, Trondheim, Norway, June 16-18, 1986},
series = {Lecture Notes in Computer Science},
volume = {244},
pages = {554--470},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17189-4\_113},
doi = {10.1007/3-540-17189-4\_113},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BroyGH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Broy86,
author = {Manfred Broy},
editor = {Jozef Gruska and
Branislav Rovan and
Juraj Wiedermann},
title = {Partial Interpretations of Higher Order Algebraic Types (Extended
Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia,
August 25-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {233},
pages = {29--43},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0016232},
doi = {10.1007/BFB0016232},
timestamp = {Sat, 30 Sep 2023 09:52:35 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Broy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BauerB85,
author = {Friedrich L. Bauer and
Rudolf Berghammer and
Manfred Broy and
Walter Dosch and
Franz Geiselbrechtinger and
Rupert Gnatz and
E. Hangel and
Wolfgang Hesse and
Bernd Krieg{-}Br{\"{u}}ckner and
Alfred Laut and
Thomas Matzner and
Bernhard M{\"{o}}ller and
Friederike Nickl and
Helmuth Partsch and
Peter Pepper and
Klaus Samelson and
Martin Wirsing and
Hans W{\"{o}}ssner},
title = {The Munich Project CIP, Volume {I:} The Wide Spectrum Language {CIP-L}},
series = {Lecture Notes in Computer Science},
volume = {183},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15187-7},
doi = {10.1007/3-540-15187-7},
isbn = {3-540-15187-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BauerB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BroyT85,
author = {Manfred Broy and
Andrzej Tarlecki},
title = {Algebraic specification of the abstract data type "Continuum"},
journal = {Bull. {EATCS}},
volume = {26},
pages = {32--35},
year = {1985},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BroyT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Broy85,
author = {Manfred Broy},
title = {On the Herbrand-Kleene Universe for Nondeterministic Computations},
journal = {Theor. Comput. Sci.},
volume = {36},
pages = {1--19},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90027-1},
doi = {10.1016/0304-3975(85)90027-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Broy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Broy85,
author = {Manfred Broy},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Specification and Top Down Design of Distributed Systems},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {4--28},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_2},
doi = {10.1007/3-540-15198-2\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Broy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/Broy85,
author = {Manfred Broy},
editor = {Wilfried Brauer and
Bernd Radig},
title = {Rechnergest{\"{u}}tzte Systeme f{\"{u}}r den Programmentwurf},
booktitle = {Wissensbasierte Systeme, 1. Internationaler GI-Kongress, M{\"{u}}nchen,
28.-29. Oktober 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {112},
pages = {58--69},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-70840-4\_4},
doi = {10.1007/978-3-642-70840-4\_4},
timestamp = {Wed, 24 May 2017 08:29:35 +0200},
biburl = {https://dblp.org/rec/conf/wi/Broy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Broy84,
author = {Manfred Broy},
title = {Semantics of Communicating Processes},
journal = {Inf. Control.},
volume = {61},
number = {3},
pages = {202--246},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80048-0},
doi = {10.1016/S0019-9958(84)80048-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Broy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BroyB84,
author = {Manfred Broy and
Friedrich L. Bauer},
title = {A Systematic Approach to Language Constructs for Concurrent Programs},
journal = {Sci. Comput. Program.},
volume = {4},
number = {2},
pages = {103--139},
year = {1984},
url = {https://doi.org/10.1016/0167-6423(84)90016-9},
doi = {10.1016/0167-6423(84)90016-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BroyB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BroyWP84,
author = {Manfred Broy and
Martin Wirsing and
Claude Pair},
title = {A Systematic Study of Models of Abstract Data Types},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {139--174},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90086-0},
doi = {10.1016/0304-3975(84)90086-0},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BroyWP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Broy84,
author = {Manfred Broy},
editor = {Michal Chytil and
V{\'{a}}clav Koubek},
title = {On the Herbrand Kleene Universe for Nondeterministic Computations},
booktitle = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
September 3-7, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {176},
pages = {214--222},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0030301},
doi = {10.1007/BFB0030301},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Broy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Broy84,
author = {Manfred Broy},
editor = {Max Fontet and
Kurt Mehlhorn},
title = {Denotational Semantics of Concurrent Programs with Shared Memory},
booktitle = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science,
Paris, France, 11-13 April, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {166},
pages = {163--173},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12920-0\_15},
doi = {10.1007/3-540-12920-0\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Broy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Broy83,
author = {Manfred Broy},
title = {Denotational Semantics of Communicating Processes Based on a Language
for Applicative Multiprogramming},
journal = {Inf. Process. Lett.},
volume = {17},
number = {1},
pages = {29--35},
year = {1983},
url = {https://doi.org/10.1016/0020-0190(83)90087-X},
doi = {10.1016/0020-0190(83)90087-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Broy83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BroyW83,
author = {Manfred Broy and
Martin Wirsing},
title = {Algebraic Definition of a Functional Programming Language and Its
Semantic Models},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {17},
number = {2},
pages = {137--161},
year = {1983},
url = {https://doi.org/10.1051/ita/1983170201371},
doi = {10.1051/ITA/1983170201371},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/BroyW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/BroyW83,
author = {Manfred Broy and
Martin Wirsing},
editor = {Manfred Broy and
Martin Wirsing},
title = {Generalized Heterogeneous Algebras},
booktitle = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1983},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/BroyW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BroyW83,
author = {Manfred Broy and
Martin Wirsing},
editor = {Giorgio Ausiello and
Marco Protasi},
title = {Generalized Heterogeneous Algebras and Partial Interpretations},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
Italy, March 9-11, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {159},
pages = {1--34},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12727-5\_1},
doi = {10.1007/3-540-12727-5\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BroyW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Broy83,
author = {Manfred Broy},
editor = {Ingbert Kupka},
title = {Funktionales Programmieren - Programmieren mit Funktionalen},
booktitle = {{GI} - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings},
series = {Informatik-Fachberichte},
volume = {73},
pages = {24--40},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69298-7\_4},
doi = {10.1007/978-3-642-69298-7\_4},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/Broy83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Broy83,
author = {Manfred Broy},
editor = {R. E. A. Mason},
title = {Applicative Real-Time Programming},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {259--264},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Broy83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BroyW82,
author = {Manfred Broy and
Martin Wirsing},
title = {Partial Abstract Types},
journal = {Acta Informatica},
volume = {18},
pages = {47--64},
year = {1982},
url = {https://doi.org/10.1007/BF00625280},
doi = {10.1007/BF00625280},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BroyW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/PepperBBPDW82,
author = {Peter Pepper and
Manfred Broy and
Friedrich L. Bauer and
Helmuth Partsch and
Walter Dosch and
Martin Wirsing},
title = {Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen},
journal = {Inform. Spektrum},
volume = {5},
number = {2},
pages = {107--119},
year = {1982},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/PepperBBPDW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BroyP82,
author = {Manfred Broy and
Peter Pepper},
title = {Combining Algebraic and Algorithmic Reasoning: An Approach to the
Schorr-Waite Algorithm},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {362--381},
year = {1982},
url = {https://doi.org/10.1145/357172.357175},
doi = {10.1145/357172.357175},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BroyP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Broy82,
author = {Manfred Broy},
editor = {Dines Bj{\o}rner},
title = {Fixed PointTheory for Communication and Concurrency},
booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts-
II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
pages = {125--148},
publisher = {North-Holland},
year = {1982},
timestamp = {Tue, 15 Jan 2019 18:15:42 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Broy82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BroyW82,
author = {Manfred Broy and
Martin Wirsing},
editor = {Dines Bj{\o}rner},
title = {On the Algebraic Specification of Finitary Infinite},
booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts-
II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
pages = {171--198},
publisher = {North-Holland},
year = {1982},
timestamp = {Tue, 15 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/BroyW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adt/1983,
editor = {Manfred Broy and
Martin Wirsing},
title = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1982},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyGW81,
author = {Manfred Broy and
Rupert Gnatz and
Martin Wirsing},
title = {Nichtdeterminismus - Das aktuelle Schlagwort},
journal = {Inform. Spektrum},
volume = {4},
number = {2},
pages = {125--126},
year = {1981},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyGW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BauerBDGKLLMMPPSSWW81,
author = {Friedrich L. Bauer and
Manfred Broy and
Walter Dosch and
Rupert Gnatz and
Bernd Krieg{-}Br{\"{u}}ckner and
Alfred Laut and
M. Luckmann and
Thomas Matzner and
Bernhard M{\"{o}}ller and
Helmuth Partsch and
Peter Pepper and
Klaus Samelson and
Ralf Steinbr{\"{u}}ggen and
Martin Wirsing and
Hans W{\"{o}}ssner},
title = {Programming in a Wide Spectrum Language: {A} Collection of Examples},
journal = {Sci. Comput. Program.},
volume = {1},
number = {1-2},
pages = {73--114},
year = {1981},
url = {https://doi.org/10.1016/0167-6423(81)90006-X},
doi = {10.1016/0167-6423(81)90006-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BauerBDGKLLMMPPSSWW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BroyP81,
author = {Manfred Broy and
Peter Pepper},
title = {Program Development as a Formal Activity},
journal = {{IEEE} Trans. Software Eng.},
volume = {7},
number = {1},
pages = {14--23},
year = {1981},
url = {https://doi.org/10.1109/TSE.1981.230815},
doi = {10.1109/TSE.1981.230815},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BroyP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BroyW81,
author = {Manfred Broy and
Martin Wirsing},
editor = {Egidio Astesiano and
Corrado B{\"{o}}hm},
title = {On the Algebraic Specification of Nondeterministic Programming Languages},
booktitle = {{CAAP} '81, Trees in Algebra and Programming, 6th Colloquium, Genoa,
Italy, March 5-7, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {112},
pages = {162--179},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10828-9\_61},
doi = {10.1007/3-540-10828-9\_61},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BroyW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/Broy81,
author = {Manfred Broy},
editor = {Wolfgang H{\"{a}}ndler},
title = {On language constructs for concurrent programs},
booktitle = {{CONPAR} 81: Conference on Analysing Problem Classes and Programming
for Parallel Computing, N{\"{u}}rnberg, Germany, June 10-12,
1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {111},
pages = {141--154},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0105115},
doi = {10.1007/BFB0105115},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/Broy81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eci/Broy81,
author = {Manfred Broy},
editor = {A. J. W. Duijvestijn and
Peter C. Lockemann},
title = {Prospects of New Tools for Software Development},
booktitle = {Trends in Information Processing Systems, 3rd Conference of the European
Cooperation in Informatics, Munich, Germany, October 20-22, 1981,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {123},
pages = {106--121},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10885-8\_34},
doi = {10.1007/3-540-10885-8\_34},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/eci/Broy81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BroyDMW81,
author = {Manfred Broy and
Walter Dosch and
Bernhard M{\"{o}}ller and
Martin Wirsing},
editor = {Wilfried Brauer},
title = {GOTOs - {A} Study in the Algebraic Specification of Programming Languages
(Extended Abstract)},
booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
Oktober 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {50},
pages = {109--121},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-01089-1\_13},
doi = {10.1007/978-3-662-01089-1\_13},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/BroyDMW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Broy81,
author = {Manfred Broy},
title = {Are Fairness Assumptions Fair?},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {116--125},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Thu, 22 Sep 2005 10:45:08 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/Broy81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfpc/BroyW81,
author = {Manfred Broy and
Martin Wirsing},
editor = {Josep D{\'{\i}}az and
Isidro Ramos},
title = {On the Algebraic Extensions of Abstract Data Types},
booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola,
Spain, April 19-25, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {107},
pages = {244--251},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10699-5\_101},
doi = {10.1007/3-540-10699-5\_101},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/icfpc/BroyW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BergstraBTW81,
author = {Jan A. Bergstra and
Manfred Broy and
John V. Tucker and
Martin Wirsing},
editor = {Jozef Gruska and
Michal Chytil},
title = {On the Power of Algebraic Specifications},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {193--204},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_85},
doi = {10.1007/3-540-10856-4\_85},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BergstraBTW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Broy08,
author = {Manfred Broy},
title = {Transformation parallel ablaufender Programme (Transformation of parallel
running programs)},
school = {Technical University of Munich, Germany},
year = {1980},
url = {https://mediatum.ub.tum.de/625561},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Broy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BauerBPP80,
author = {Friedrich L. Bauer and
Manfred Broy and
Helmuth Partsch and
Peter Pepper},
title = {Programmtransformationen - Das aktuelle Schlagwort},
journal = {Inform. Spektrum},
volume = {3},
number = {3},
pages = {192--193},
year = {1980},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BauerBPP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BroyW80,
author = {Manfred Broy and
Martin Wirsing},
title = {Program Development: From Enumeration to Backtracking},
journal = {Inf. Process. Lett.},
volume = {10},
number = {4/5},
pages = {193--197},
year = {1980},
url = {https://doi.org/10.1016/0020-0190(80)90138-6},
doi = {10.1016/0020-0190(80)90138-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BroyW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Broy80,
author = {Manfred Broy},
title = {Transformational Semantics for Concurrent Programs},
journal = {Inf. Process. Lett.},
volume = {11},
number = {2},
pages = {87--91},
year = {1980},
url = {https://doi.org/10.1016/0020-0190(80)90009-5},
doi = {10.1016/0020-0190(80)90009-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Broy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BroyK80,
author = {Manfred Broy and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Derivation of Invariant Assertions During Program Development by Transformation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {2},
number = {3},
pages = {321--337},
year = {1980},
url = {https://doi.org/10.1145/357103.357108},
doi = {10.1145/357103.357108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BroyK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BroyW80,
author = {Manfred Broy and
Martin Wirsing},
title = {Programming languages as abstract data types},
booktitle = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation,
Lilli, France, 21, 22 et 23 f{\'{e}}vier 1980},
pages = {160--177},
publisher = {Universit{\'{e}} de Lille 1},
year = {1980},
timestamp = {Wed, 03 Sep 2008 14:34:15 +0200},
biburl = {https://dblp.org/rec/conf/caap/BroyW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BroyPPW80,
author = {Manfred Broy and
Helmuth Partsch and
Peter Pepper and
Martin Wirsing},
editor = {Simon H. Lavington},
title = {Semantic Relations in Programming Languages},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {101--106},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BroyPPW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ir/Broy80,
author = {Manfred Broy},
editor = {Peter R. Wossidlo},
title = {Zur Spezifikation von Programmen f{\"{u}}r die Textverarbeitung},
booktitle = {Textverarbeitung und Informatik, Fachtagung der GI, Bayreuth, Deutschland,
28.-30. Mai 1980},
series = {Informatik-Fachberichte},
volume = {30},
pages = {75--93},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67700-7\_6},
doi = {10.1007/978-3-642-67700-7\_6},
timestamp = {Sat, 23 Jun 2018 18:46:19 +0200},
biburl = {https://dblp.org/rec/conf/ir/Broy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WirsingB80,
author = {Martin Wirsing and
Manfred Broy},
editor = {Piotr Dembinski},
title = {Abstract Data Types as Lattices of Finitely Generated Models},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {673--685},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022542},
doi = {10.1007/BFB0022542},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WirsingB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/BroyPW80,
author = {Manfred Broy and
Peter Pepper and
Martin Wirsing},
editor = {Bernard J. Robinet},
title = {On Relations Between Programs},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {59--78},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_5},
doi = {10.1007/3-540-09981-6\_5},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/BroyPW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BroyWFQR79,
author = {Manfred Broy and
Martin Wirsing and
Jean{-}Pierre Finance and
Alain Qu{\'{e}}r{\'{e}} and
Jean{-}Luc R{\'{e}}my},
title = {Methodical Solution of the Problem of Ascending Subsequences of Maximum
Length Within a Given Sequence},
journal = {Inf. Process. Lett.},
volume = {8},
number = {5},
pages = {224--229},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90111-X},
doi = {10.1016/0020-0190(79)90111-X},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BroyWFQR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BroyDPPW79,
author = {Manfred Broy and
Walter Dosch and
Helmuth Partsch and
Peter Pepper and
Martin Wirsing},
editor = {Hermann A. Maurer},
title = {Existential Quantifiers in Abstract Data Types},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {73--87},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_7},
doi = {10.1007/3-540-09510-1\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BroyDPPW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pc/1978,
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/BFb0014649},
doi = {10.1007/BFB0014649},
isbn = {3-540-09251-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pc/1978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BauerBGHKPPW78,
author = {Friedrich L. Bauer and
Manfred Broy and
Rupert Gnatz and
Wolfgang Hesse and
Bernd Krieg{-}Br{\"{u}}ckner and
Helmuth Partsch and
Peter Pepper and
Hans W{\"{o}}ssner},
title = {Towards a wide spectrum language to support program specification
and program development},
journal = {{ACM} {SIGPLAN} Notices},
volume = {13},
number = {12},
pages = {15--24},
year = {1978},
url = {https://doi.org/10.1145/954587.954588},
doi = {10.1145/954587.954588},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BauerBGHKPPW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pc/BauerBPPW78,
author = {Friedrich L. Bauer and
Manfred Broy and
Helmuth Partsch and
Peter Pepper and
Hans W{\"{o}}ssner},
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Systematics of Transformation Rules},
booktitle = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
pages = {273--289},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0014672},
doi = {10.1007/BFB0014672},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pc/BauerBPPW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pc/PartschB78,
author = {Helmuth Partsch and
Manfred Broy},
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Examples for Change of Types and Object Structures},
booktitle = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
pages = {421--463},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0014676},
doi = {10.1007/BFB0014676},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pc/PartschB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pc/BauerBGHKPPW78,
author = {Friedrich L. Bauer and
Manfred Broy and
Rupert Gnatz and
Wolfgang Hesse and
Bernd Krieg{-}Br{\"{u}}ckner and
Helmuth Partsch and
Peter Pepper and
Hans W{\"{o}}ssner},
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Towards a Wide Spectrum Language to Support Program Specification
and Program Development},
booktitle = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
pages = {543--552},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0014682},
doi = {10.1007/BFB0014682},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pc/BauerBGHKPPW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pc/BroyGW78,
author = {Manfred Broy and
Rupert Gnatz and
Martin Wirsing},
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Semantics of Nondeterministic and Noncontinuous Constructs},
booktitle = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
pages = {553--592},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0014683},
doi = {10.1007/BFB0014683},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pc/BroyGW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programmier/BauerBGHK78,
author = {Friedrich L. Bauer and
Manfred Broy and
Rupert Gnatz and
Wolfgang Hesse and
Bernd Krieg{-}Br{\"{u}}ckner},
editor = {Klaus Alber},
title = {Towards a wide spectrum language to support program specification
and program development},
booktitle = {Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. M{\"{a}}rz
1978, Proceedings},
series = {Informatik-Fachberichte},
volume = {12},
pages = {73--85},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/978-3-642-87956-2\_5},
doi = {10.1007/978-3-642-87956-2\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programmier/BauerBGHK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-23 00:28 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:
