Search

Your search keyword '"Broy, Manfred"' showing total 2,190 results
Start Over Author "Broy, Manfred"

Refine your results

more »

more »

more »

more »
2,190 results on '"Broy, Manfred"'

1. Captured: Compositional and Modular Approaches to Concurrency

Author

Broy, Manfred, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cavalcanti, Ana, editor, and Baxter, James, editor

Published
2024
Full Text
View/download PDF

15. On Integrating Design Thinking for a Human-centered Requirements Engineering

Author

Hehn, Jennifer, Mendez, Daniel, Uebernickel, Falk, Brenner, Walter, and Broy, Manfred

Subjects
Computer Science - Software Engineering
Abstract

In this position paper, we elaborate on the possibilities and needs to integrate Design Thinking into Requirements Engineering. We draw from our research and project experiences to compare what is understood as Design Thinking and Requirements Engineering considering their involved artifacts. We suggest three approaches for tailoring and integrating Design Thinking and Requirements Engineering with complementary synergies and point at open challenges for research and practice., Comment: Manuscript accepted for publication at a IEEE Software special issue on Design Thinking

Published
2019

31. Advanced Systems Engineering

Author

Broy, Manfred, Böhm, Wolfgang, Rumpe, Bernhard, Böhm, Wolfgang, editor, Broy, Manfred, editor, Klein, Cornel, editor, Pohl, Klaus, editor, Rumpe, Bernhard, editor, and Schröck, Sebastian, editor

Published
2021
Full Text
View/download PDF

32. Refining the Safety-Liveness Classification of Temporal Properties According to Realizability

Author

Broy, Manfred, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bartocci, Ezio, editor, Falcone, Yliès, editor, and Leucker, Martin, editor

Published
2021
Full Text
View/download PDF

48. Seamless Model-Based System Development: Foundations : (Extended Abstract)

Author

Broy, Manfred, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowen, Jonathan P., editor, Liu, Zhiming, editor, and Zhang, Zili, editor

Published
2020
Full Text
View/download PDF

49. Software and System Modeling Based on a Unified Formal Semantics

Author

Broy, Manfred, Huber, Franz, Paech, Barbara, Rumpe, Bernhard, and Spies, Katharina

Subjects
Computer Science - Software Engineering
Abstract

Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-defined dependencies between the models and documentations. This hampers focused software development as well as the provision of powerful tool-support. In this paper we present the main issues and outline solutions in the direction of a unified, formal basis for software and system modeling., Comment: 26 pages, 4 figures; Requirements Targeting Software and Systems Engineering. International Workshop RTSE'97. Manfred Broy, Bernhard Rumpe (Eds.). Bernried, Germany, October 1997. LNCS 1526, Springer Verlag

Published
2014
Full Text
View/download PDF

50. A stream-based mathematical model for distributed information processing systems - SysLab system model

Author

Klein, Cornel, Rumpe, Bernhard, and Broy, Manfred

Subjects
Computer Science - Software Engineering
Abstract

In the SysLab project we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their components. It is used to formalize the semantics of all used description techniques such as object diagrams state automata sequence charts or data-flow diagrams. Based on the requirements for such a reference model, we define the system model including its different views and their relationships., Comment: 16 pages, 2 figures

Published
2014

Catalog

Books, media, physical & digital resources
See catalog results