| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manfred Broy, Albert Endres |
Mehr Lebensqualität dank Informatik.  |
Informatik Spektrum  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
System Behaviour Models with Discrete and Dense Time. |
Advances in Real-Time Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, María Victoria Cengarle |
UML formal semantics: lessons learned. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner |
Informatik in der Automobilindustrie. |
Informatik Spektrum |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Günter Reichart, Lutz Rothhardt |
Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung. |
Informatik Spektrum |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Can Practitioners Neglect Theory and Theoreticians Neglect Practice? |
IEEE Computer |
2011 |
DBLP DOI BibTeX RDF |
Software engineering, Theory, Science |
| 1 | Manfred Broy, Christian Leuxner, Tony Hoare (eds.) |
Software and Systems Safety - Specification and Verification |
|
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Towards formal modeling of functional features and feature interactions in software intensive systems. |
SPLC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
The Role of Requirements and Specification in Product Line Engineering. |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree |
Cross-layer analysis, testing and verification of automotive control software. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer |
Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011). |
Software Engineering |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kim Lauenroth, Klaus Pohl, Wolfgang Böhm, Manfred Broy |
Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020). |
Software Engineering |
2011 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
Multifunctional software systems: Structured modeling and specification of functional requirements. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit |
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. |
Informatik Spektrum |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
A Logical Basis for Component-Oriented Software and Systems Engineering. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Ralf Reussner |
Architectural Concepts in Programming Languages. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy |
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, David Cruz, Martin Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora |
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). |
Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer |
Software-Qualitätsmodellierung und -bewertung (SQMB). |
Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
Seamless Method- and Model-based Software and Systems Engineering. |
The Future of Software Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Gheorghe Stefanescu |
Guest Editors' Foreword: Selected papers on "Streams and Algebra". |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Albert Endres |
Informatik überall, jederzeit und für alle. |
Informatik Spektrum |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Weber, Manfred Broy |
Systemorientiertes Automotive Engineering. |
Informatik Spektrum |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Berenbach, Manfred Broy |
Professional and Ethical Dilemmas in Software Engineering. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer |
Toward a Holistic and Standardized Automotive Architecture Description. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
Standardized automotive architecture description system, Common architecture framework, Automotive architecture framework, AUTOSAR, PREView |
| 1 | Manfred Broy |
Seamless Model Driven Systems Engineering Based on Formal Models. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
Formal methods, models based development |
| 1 | Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter |
Formalizing the notion of adaptive system behavior. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
context awareness, formal methods, adaptive systems |
| 1 | Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider |
Orchestration of Global Software Engineering Projects - Position Paper. |
ICGSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer |
Software-Qualitätsmodellierung und -bewertung (SQMB 2009). |
Software Engineering |
2009 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
From system requirements documents to integrated system modeling artifacts. |
ACM Symposium on Document Engineering |
2009 |
DBLP DOI BibTeX RDF |
integrated artifact models, tool support |
| 1 | Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone |
Guest Editorial. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova |
On the correctness of upper layers of automotive systems. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Time-triggered systems, Formal verification, Model-based development, Automotive software |
| 1 | Arndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels |
Architektur & Management im Großen meistern. |
Informatik Spektrum |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer. |
it - Information Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.) |
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers |
ASWSD |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer |
Software-Qualitätsmodellierung und -bewertung. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy, Reinhard Stolle, Alexandre Saad |
6.Workshop Automotive Software Engineering. |
GI Jahrestagung |
2008 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Large Scale Embedded Software Systems, Comprehensive Architecture, Verification, Specification |
| 1 | Manfred Broy |
Editorial-Science of Computer Programming-25 years. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Editorial comment to 'About "trivial" software patents: The IsNot case'. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun 0003, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein |
Das AutoMoDe-Projekt. |
Inform., Forsch. Entwickl. |
2007 |
DBLP DOI BibTeX RDF |
AutoMoDe, embedded software, synchronous languages, Automotive software engineering |
| 1 | Manfred Broy |
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones. |
ISSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz |
Ein Requirements-Engineering-Referenzmodell. |
Informatik Spektrum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Bernhard Rumpe |
Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung. |
Informatik Spektrum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger |
A formal model of services. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
assumption/commitment specifications, software architecture, Components, services, service engineering |
| 1 | Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild |
Service-Oriented Modeling of CoCoME with Focus and AutoFocus. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Johannes Siedersleben, Clemens A. Szyperski |
CoCoME Jury Evaluation and Conclusion. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
From "Formal Methods" to System Modeling. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Interaction and Realizability. |
SOFSEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner |
Software Engineering for Automotive Systems: A Roadmap. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz |
SoSyM special section on service-based software engineering. |
Software and System Modeling |
2006 |
DBLP DOI BibTeX RDF |
Model, Architecture, Semantics, Composition, Service, Description |
| 1 | Manfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach |
Manifest*: Strategische Bedeutung des Software Engineering in Deutschland. |
Informatik Spektrum |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
software engineering, informatics, software-intensive systems |
| 1 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.) |
Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers |
ASWSD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic |
2nd UML 2 Semantics Symposium: Formal Semantics for UML. |
MoDELS Workshops |
2006 |
DBLP DOI BibTeX RDF |
UML, Formal Semantics |
| 1 | Manfred Broy |
From Chaos to Undefinedness. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Challenges in automotive software engineering. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
embedded systems, model driven development, automotive software engineering |
| 1 | Manfred Broy |
Requirements Engineering as a Key to Holistic Software Quality. |
ISCIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle |
Guest Editorial: Special Section on Interaction and State-Based Modeling. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominikus Herzberg, Manfred Broy |
Modeling layered distributed communication systems. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Modeling communication systems, Distribution, Layering |
| 1 | Manfred Broy |
A semantic and methodological essence of message sequence charts. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arndt Bode, Manfred Broy, Dirk Taubner |
Software auf dem Weg zur Industrialisierung. |
Informatik Spektrum |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Andreas Rausch |
Das neue V-Modell® XT. |
Informatik Spektrum |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Automotive software and systems engineering (Panel). |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.) |
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] |
Model-Based Testing of Reactive Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
The Impact of Models in Software Development. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Gerald Lüttgen, Michael Mendler |
Editorial. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl-Rudolf Moll, Manfred Broy, Markus Pizka, Tilman Seifert, Klaus Bergner, Andreas Rausch |
Erfolgreiches Management von Software-Projekten. |
Informatik Spektrum |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Distributed Concurrent Object-Oriented Software. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy |
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Architecture Driven Modeling in Software Development. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Gerald Lüttgen, Michael Mendler |
Editorial: Where Theory and Practice Meet. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich L. Bauer, Manfred Broy |
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. |
Acta Inf. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Wolfgang Pree |
Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme. |
Informatik Spektrum |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern. |
Informatik Spektrum |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Software Architecture, Service Engineering, Layered Architecture |
| 1 | Manfred Broy |
Modular Hierarchies of Models for Embedded Systems. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Alexandre V. Zamulin (eds.) |
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers |
Ershov Memorial Conference |
2003 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
Engineering Software Intensive Systems. |
SNPD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy |
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Automotive Software Engineering. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Manfred Broy |
Software engineering beyond our planning horizon: automation for computer-based systems. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy |
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. |
International Journal of Software Engineering and Knowledge Engineering |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, H. Dieter Rombach |
Software Engineering Wurzeln, Stand und Perspektiven. |
Informatik Spektrum |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen). |
Informatik Spektrum |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Johannes Siedersleben |
Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung. |
Informatik Spektrum |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Message Sequence Charts in the Development Process - Role and Limitations. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Multi-view Modeling of Software Systems. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Toward a Mathematical Foundation of Software Engineering Methods. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
description techniques, Software engineering, system models |
| 1 | Manfred Broy, Susanne Hartkopf, Kirstin Kohler, H. Dieter Rombach |
Germany: Combining Software and Application Competencies. |
IEEE Software |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Gheorghe Stefanescu |
The algebra of stream processing functions. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Refinement of time. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Letter from the Editor. |
Acta Inf. |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")