Manfred Broy - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020)Manfred Broy, David Cruz, Martin Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora. se 2010: 240

Synchronous Message Passing: On the Relation between Bisimulation and Refusal EquivalenceManfred Broy. BIRTHDAY 2010: 118-126 [doi]

A Logical Basis for Component-Oriented Software and Systems EngineeringManfred Broy. cj, 53(10):1758-1782, 2010. [doi]

Multifunctional software systems: Structured modeling and specification of functional requirementsManfred Broy. SCP, 75(12):1193-1214, 2010. [doi]

Seamless Method- and Model-based Software and Systems EngineeringManfred Broy. BIRTHDAY 2011: 33-47 [doi]

Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering EnvironmentsManfred Broy, Martin Feilkas, Markus Herrmannsdörfer, Stefano Merenda, Daniel Ratiu. pieee, 98(4), April 2010. [doi]

Architectural Concepts in Programming LanguagesManfred Broy, Ralf Reussner. Computer, 43(10):88-91, 2010. [doi]

A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements EngineeringDaniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy. MoDELS 2010: 183-197 [doi]

SoftwarequalitÃ¤tsmodelle - Praxisempfehlungen und ForschungsagendaStefan Wagner, Manfred Broy, Florian DeiÃŸenbÃ¶ck, Michael KlÃ¤s, Peter Liggesmeyer, JÃ¼rgen MÃ¼nch, Jonathan Streit. insk, 33(1):37-44, 2010. [doi]

Software-QualitÃ¤tsmodellierung und -bewertung (SQMB)Stefan Wagner, Manfred Broy, Florian DeiÃŸenbÃ¶ck, JÃ¼rgen MÃ¼nch, Peter Liggesmeyer. se 2010: 250

2009

Professional and Ethical Dilemmas in Software EngineeringBrian Berenbach, Manfred Broy. Computer, 42(1):74-80, 2009. [doi]

Informatik überall, jederzeit und für alleManfred Broy, Albert Endres. insk, 32(2):153-162, 2009. [doi]

Formalizing the notion of adaptive system behaviorManfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter. SAC 2009: 1029-1033 [doi]

Guest Editors Foreword: Selected papers on Streams and Algebra Manfred Broy, Gheorghe Stefanescu. jlp, 78(2):53, 2009. [doi]

From system requirements documents to integrated system modeling artifactsManfred Broy. DOCENG 2009: 98 [doi]

Seamless Model Driven Systems Engineering Based on Formal ModelsManfred Broy. icfem 2009: 1-19 [doi]

Toward a Holistic and Standardized Automotive Architecture DescriptionManfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer. Computer, 42(11):98-101, 2009. [doi]

Software-Qualitätsmodellierung und -bewertung (SQMB 2009)Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer. se 2009: 211

Systemorientiertes Automotive EngineeringHerbert Weber, Manfred Broy. insk, 32(3):206-213, 2009. [doi]

2008

Guest EditorialKamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone. fac, 20(4-5):349-350, 2008. [doi]

Architektur & Management im Großen meisternArndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels. insk, 31(6):523-525, 2008. [doi]

On the correctness of upper layers of automotive systemsJewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova. fac, 20(6):637-662, 2008. [doi]

Über Sequentielle Formelübersetzung von Klaus Samelson und Friedrich L. BauerManfred Broy. it, 50(2):135-136, 2008.

Requirements Engineering als Schlüssel zur Softwarequalität und ProduktivitätManfred Broy. se 2008: 23

6.Workshop Automotive Software EngineeringManfred Broy, Reinhard Stolle, Alexandre Saad. gi 2008: 617-618

Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected PapersManfred Broy, Ingolf H. Krüger, Michael Meisinger, editors, Volume 4922 of Lecture Notes in Computer Science, Springer, 2008.

Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)Manfred Broy. isola 2008: 1-13 [doi]

Software-Qualitätsmodellierung und -bewertungStefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer. se 2008: 295-297

2007

Das AutoMoDe-ProjektAndreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein. ife, 22(1):45-57, 2007. [doi]

Modulare hierarchische Modellierung als Grundlage der Software- und SystementwicklungManfred Broy, Bernhard Rumpe. insk, 30(1):3-18, 2007. [doi]

CoCoME Jury Evaluation and ConclusionManfred Broy, Johannes Siedersleben, Clemens A. Szyperski. dagstuhl 2008: 449-458 [doi]

Interaction and RealizabilityManfred Broy. sofsem 2007: 29-50 [doi]

Editorial comment to About trivial software patents: The IsNot case Manfred Broy. SCP, 64(3):263, 2007. [doi]

Ein Requirements-Engineering-ReferenzmodellManfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz. insk, 30(3):127-142, 2007. [doi]

A formal model of servicesManfred Broy, Ingolf H. Krüger, Michael Meisinger. TOSEM, 16(1), 2007. [doi]

From Formal Methods to System ModelingManfred Broy. birthday 2007: 24-44 [doi]

Service-Oriented Modeling of CoCoME with Focus and AutoFocusManfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild. dagstuhl 2008: 177-206 [doi]

Editorial-Science of Computer Programming-25 yearsManfred Broy. SCP, 66(2):103-104, 2007. [doi]

Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component ArchitectureManfred Broy. sera 2007: 3-12 [doi]

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestonesManfred Broy. isse, 3(1):75-102, 2007. [doi]

Software Engineering for Automotive Systems: A RoadmapAlexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner. ICSE 2007: 55-71 [doi]

2006

Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected PapersManfred Broy, Ingolf H. Krüger, Michael Meisinger, editors, Volume 4147 of Lecture Notes in Computer Science, Springer, 2006.

From Chaos to UndefinednessManfred Broy. BIRTHDAY 2006: 476-496 [doi]

Challenges in automotive software engineeringManfred Broy. ICSE 2006: 33-42 [doi]

The Grand Challenge in Informatics: Engineering Software-Intensive SystemsManfred Broy. sew 2006: 85-88 [doi]

Requirements Engineering as a Key to Holistic Software QualityManfred Broy. iscis 2006: 24-34 [doi]

The Grand Challenge in Informatics: Engineering Software-Intensive SystemsManfred Broy. Computer, 39(10):72-80, 2006. [doi]

Manifest:::*:::: Strategische Bedeutung des Software Engineering in DeutschlandManfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach. insk, 29(3):210-221, 2006. [doi]

2:::nd::: UML 2 Semantics Symposium: Formal Semantics for UMLManfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic. MoDELS 2006: 318-323 [doi]

SoSyM special section on service-based software engineeringManfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz. SoSyM, 5(2):170-171, 2006. [doi]

2005

Software auf dem Weg zur IndustrialisierungArndt Bode, Manfred Broy, Dirk Taubner. insk, 28(4):269, 2005. [doi]

Das neue V-Modell:::®::: XTManfred Broy, Andreas Rausch. insk, 28(3):220-229, 2005. [doi]

A semantic and methodological essence of message sequence chartsManfred Broy. SCP, 54(2-3):213-256, 2005. [doi]

Automotive software and systems engineering (Panel)Manfred Broy. memocode 2005: 143-149 [doi]

The Impact of Models in Software DevelopmentManfred Broy. BIRTHDAY 2005: 396-406 [doi]

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]Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner, editors, Volume 3472 of Lecture Notes in Computer Science, Springer, 2005.

Modeling layered distributed communication systemsDominikus Herzberg, Manfred Broy. fac, 17(1):1-18, 2005. [doi]

Guest Editorial: Special Section on Interaction and State-Based ModelingSebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle. TSE, 31(12):997-998, 2005. [doi]

2004

EditorialManfred Broy, Gerald Lüttgen, Michael Mendler. fac, 16(3):165, 2004. [doi]

Time, Abstraction, Causality and Modularity in Interactive Systems: Extended AbstractManfred Broy. ENTCS, 108:3-9, 2004. [doi]

Distributed Concurrent Object-Oriented SoftwareManfred Broy. BIRTHDAY 2004: 83-95 [doi]

Architecture Driven Modeling in Software DevelopmentManfred Broy. iceccs 2004: 3-12 [doi]

A Core Theory of Interfaces and Architecture and Its Impact on Object OrientationManfred Broy. dagstuhl 2006: 26-47 [doi]

Development of Hierarchical Broadcasting Software Architectures Using UML 2.0Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy. dfg 2004: 29-47 [doi]

Erfolgreiches Management von Software-ProjektenKarl-Rudolf Moll, Manfred Broy, Markus Pizka, Tilman Seifert, Klaus Bergner, Andreas Rausch. insk, 27(5):419-432, 2004. [doi]

2003

Edsger W. Dijkstra - Acta Informatica and MarktoberdorfFriedrich L. Bauer, Manfred Broy. ACTA, 39(3):141-142, 2003. [doi]

Editorial: Where Theory and Practice MeetManfred Broy, Gerald Lüttgen, Michael Mendler. fac, 15(4):297-298, 2003. [doi]

Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised PapersManfred Broy, Alexandre V. Zamulin, editors, Volume 2890 of Lecture Notes in Computer Science, Springer, 2003.

A Functional Calculus for Specification and Verification of Nondeterministic Interactive SystemsManfred Broy. BIRTHDAY 2003: 161-181 [doi]

Engineering Software Intensive SystemsManfred Broy. snpd 2003: 1-5

Automotive Software EngineeringManfred Broy. ICSE 2003: 719-720 [doi]

Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter SystemeManfred Broy, Wolfgang Pree. insk, 26(1):3-7, 2003. [doi]

Software-Engineering und Software-Fabrik: Von guten und schlechten MetaphernManfred Broy. insk, 26(1):13-16, 2003. [doi]

Modular Hierarchies of Models for Embedded SystemsManfred Broy. memocode 2003: 183 [doi]

Service-Oriented Systems Engineering: Modeling Services and Layered ArchitecturesManfred Broy. forte 2003: 48-61 [doi]

2002

Message Sequence Charts in the Development Process - Role and LimitationsManfred Broy. ENTCS, 65(7), 2002. [doi]

Objektorientierte Programmierung und Softwareentwicklung - Eine kritische EinschätzungManfred Broy, Johannes Siedersleben. insk, 25(1):3-11, 2002. [doi]

Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen)Manfred Broy. insk, 25(5):367-369, 2002. [doi]

Software Engineering Wurzeln, Stand und PerspektivenManfred Broy, H. Dieter Rombach. insk, 25(6):438-451, 2002. [doi]

Multi-view Modeling of Software SystemsManfred Broy. unu 2003: 207-225 [doi]

From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RTIngolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy. ijseke, 12(2):155-174, 2002. [doi]

Software engineering beyond our planning horizon: automation for computer-based systemsLuqi, Manfred Broy. SCP, 42(1):1-10, 2002.

2001

Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised PapersDines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Volume 2244 of Lecture Notes in Computer Science, Springer, 2001.

Germany: Combining Software and Application CompetenciesManfred Broy, Susanne Hartkopf, Kirstin Kohler, H. Dieter Rombach. IEEE Software, 18(4):93, 2001. [doi]

Letter from the EditorManfred Broy. ACTA, 37(4/5):227-228, 2001. [doi]

From Requirements to Validated Embedded SystemsManfred Broy, Oscar Slotosch. emsoft 2001: 51-65 [doi]

Toward a Mathematical Foundation of Software Engineering MethodsManfred Broy. TSE, 27(1):42-57, 2001. [doi]

Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999)Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin. ife, 16(1):53-59, 2001. [doi]

Refinement of timeManfred Broy. TCS, 253(1):3-26, 2001. [doi]

The algebra of stream processing functionsManfred Broy, Gheorghe Stefanescu. TCS, 258(1-2):99-129, 2001. [doi]

Specification and Modeling: An Academic PerspectiveManfred Broy. ICSE 2001: 673-675

Softwareentwicklung in Deutschland, Eine BestandsaufnahmeMichael Friedewald, H. Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche. insk, 24(2):81-90, 2001. [doi]

Software Engineering Research Agendas Panel (SERA): What Can t We Do, But Need to Learn How to Do?H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas. ICSE 2001: 698-698

2000

Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, ProceedingsDines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Volume 1755 of Lecture Notes in Computer Science, Springer, 2000.

The Essence of Message Sequence ChartsManfred Broy. mse 2000: 42-47 [doi]

PreviousNext