Manfred Broy
#14,429
Most Influential Person Now
German computer scientist
Manfred Broy's AcademicInfluence.com Rankings
Manfred Broycomputer-science Degrees
Computer Science
#1034
World Rank
#1072
Historical Rank
Database
#1454
World Rank
#1529
Historical Rank
Download Badge
Computer Science
Manfred Broy's Degrees
- PhD Computer Science Technical University of Munich
Similar Degrees You Can Earn
Why Is Manfred Broy Influential?
(Suggest an Edit or Addition)According to Wikipedia, Manfred Broy is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany. Biography Broy gained his Doctor of Philosophy in 1980 at the chair of Friedrich L. Bauer on the subject of transformation of programs running in parallel .
Manfred Broy's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Specification and development of interactive systems: focus on streams, interfaces, and refinement (2001) (486)
- 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] (2005) (359)
- Software Engineering for Automotive Systems: A Roadmap (2007) (351)
- Engineering Automotive Software (2007) (323)
- Challenges in automotive software engineering (2006) (300)
- From MSCs to Statecharts (1998) (241)
- Specification and Development of Interactive Systems (2001) (224)
- The Design of Distributed Systems - An Introduction to FOCUS-revised version (1992) (193)
- A formal model of services (2007) (171)
- Perspectives of System Informatics (2001) (169)
- Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments (2010) (167)
- The Munich Project CIP (1988) (155)
- The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (1985) (153)
- Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) (2005) (145)
- Model-Based Testing of Reactive Systems, Advanced Lectures (2005) (143)
- Cyber-Physical Systems: Imminent Challenges (2012) (134)
- A Theory for Nondeterminism, Parallelism, Communication, and Concurrency (1986) (130)
- Logic of Programming and Calculi of Discrete Design (1987) (130)
- Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology (2012) (125)
- Compositional refinement of interactive systems (1997) (124)
- Automotive software engineering (2003) (115)
- What is the Benefit of a Model-Based Design of Embedded Software Systems in the Car Industry? (2012) (110)
- Software Pioneers: Contributions to Software Engineering (2002) (93)
- Cyber-Physical Systems (2010) (93)
- Functional specification of time-sensitive communicating systems (1993) (91)
- What characterizes a (software) component? (1998) (89)
- Model-Based Engineering of Embedded Systems (2012) (86)
- The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems (2006) (82)
- On the algebraic definition of programming languages (1987) (76)
- A meta model for artefact-orientation: fundamentals and lessons learned in requirements engineering (2010) (76)
- Challenges in Engineering Cyber-Physical Systems (2014) (75)
- Refinement of time (1997) (74)
- Program Development as a Formal Activity (1981) (72)
- The algebra of stream processing functions (2001) (66)
- KORSO: Methods, Languages, and Tools for the Construction of Correct Software (1995) (64)
- Demystifying maintainability (2006) (64)
- Guiding requirements engineering for software-intensive embedded systems in the automotive industry (2014) (64)
- (Inter-)Action Refinement: The Easy Way (1992) (64)
- A Modular Visual Model for Hybrid Systems (1998) (62)
- Automotive software and systems engineering (2005) (62)
- AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software (2005) (61)
- Engineering Cyber-Physical Systems: Challenges and Foundations (2012) (59)
- A Logical Basis for Component-Oriented Software and Systems Engineering (2010) (59)
- Multifunctional software systems: Structured modeling and specification of functional requirements (2010) (57)
- State Transition Diagrams (1996) (57)
- Existential Quantifiers in Abstract Data Types (1979) (53)
- Formal Methods in Programming and Their Applications (1993) (53)
- A Systematic Study of Models of Abstract Data Types (1984) (52)
- Engineering Theories of Software Intensive Systems (2005) (52)
- Semantics of Nondeterministic and Noncontinuous Constructs (1978) (51)
- Algebraic Methods for Program Construction: The Project CIP (1984) (51)
- Informatics and Medicine (2008) (50)
- Calculational system design (1999) (50)
- Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly (1988) (50)
- Towards a wide spectrum language to support program specification and program development (1978) (49)
- Control Flow and Data Flow: Concepts of Distributed Programming (1986) (49)
- UML formal semantics: lessons learned (2011) (49)
- Toward a Holistic and Standardized Automotive Architecture Description (2009) (49)
- Algebraic Implementations Preserve Program Correctness (1986) (46)
- Requirements Engineering for Embedded Systems) (2003) (45)
- SERVICE-ORIENTED SYSTEMS ENGINEERING: SPECIFICATION AND DESIGN OF SERVICES AND LAYERED ARCHITECTURES (2005) (45)
- Scanning Advances in Aerospace & Automobile Software Technology (2010) (44)
- Abstract Data Types as Lattices of Finitely Generated Models (1980) (43)
- Programming in a Wide Spectrum Language: A Collection of Examples (1981) (43)
- On the Power of Algebraic Specifications (1981) (42)
- Applicative Real-Time Programming (1983) (42)
- On the Algebraic Specification of Nondeterministic Programming Languages (1981) (39)
- Advanced Model-Based Engineering of Embedded Systems (2016) (39)
- A Formal Model for Componentware (2000) (39)
- Compositional Refinement of Interactive Systems Modelled by Relations (1997) (39)
- A Graphical Description Technique for Communication in Software Architectures (1997) (38)
- Predicative Specifications for Functional Programs Describing Communication Networks (1987) (37)
- 2nd UML 2 semantics symposium: formal semantics for UML (2006) (37)
- Considerations and Rationale for a UML System Model (2009) (37)
- Theoretical Foundations of Programming Methodology (1982) (36)
- Requirements Engineering as a Key to Holistic Software Quality (2006) (36)
- Constructive Methods in Computing Science (1989) (36)
- Towards a formal foundation of the specification and description language SDL (2005) (35)
- Program Design Calculi (1993) (34)
- Definition of the System Model (2009) (34)
- Software and System Modeling Based on a Unified Formal Semantics (1997) (33)
- Programming languages as abstract data types (1980) (33)
- Towards a Mathematical Concept of a Component and its Use (1997) (33)
- Software Engineering From Auxiliary to Key Technology (2002) (33)
- Semantics of UML: Towards a System Model for UML -- The Control Model (2007) (32)
- Trace-Oriented Models of Concurrency (2001) (32)
- Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts (1998) (32)
- Algebraic specification of reactive systems (1996) (31)
- Modeling layered distributed communication systems (2005) (31)
- Graphical Development of Consistent System Specifications (1996) (31)
- Fixed PointTheory for Communication and Concurrency (1982) (31)
- Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance (2014) (31)
- Formalizing the notion of adaptive system behavior (2009) (30)
- Towards a Design Methodology for Distributed Systems (1989) (30)
- Advanced Component Interface Specification (1994) (30)
- Cross-layer analysis, testing and verification of automotive control software (2011) (30)
- Orchestration of Global Software Engineering Projects - Position Paper (2009) (29)
- An Analysis of Semantic Models for Algebraic Specifications (1982) (29)
- Equations for Describing Dynamic Nets of Communicating Systems (1994) (29)
- Adding fair choice to Dijkstra's calculus (1994) (29)
- A Fixed Point Approach to Applicative Multiprogramming (1982) (29)
- Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme (2008) (28)
- Partial abstract types (1982) (28)
- On Integrating Design Thinking for Human-Centered Requirements Engineering (2019) (28)
- Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones (2007) (28)
- Engineering Theories of Software Construction (2001) (28)
- Algebraic Definition of a Functional Programming Language and Its Semantic Models (1983) (28)
- Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description (2009) (28)
- Algebraic Specification of Concurrent Systems (1999) (27)
- Specification and Refinement of Finite Dataflow Networks - a Relational Approach (1994) (27)
- A stream-based mathematical model for distributed information processing systems - SysLab system model (2014) (27)
- Nationale Roadmap Embedded Systems (2010) (27)
- Specification and Top Down Design of Distributed Systems (1985) (26)
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm (1982) (26)
- On the correctness of upper layers of automotive systems (2008) (26)
- Artefacts in software engineering: a fundamental positioning (2018) (26)
- Service-Oriented Systems Engineering: Modeling Services and Layered Architectures (2003) (26)
- Professional and Ethical Dilemmas in Software Engineering (2009) (25)
- Visual formalisms revisited (1998) (25)
- Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation (2002) (25)
- Introduction to the SPES Modeling Framework (2012) (25)
- Mathematical System Models as a Basis of Software Engineering (1995) (25)
- On Service-Orientation for Automotive Software (2017) (25)
- Models, algebras and logic of engineering software (2003) (24)
- A Model of Dynamic Systems (2014) (24)
- Systematics of Transformation Rules (1978) (24)
- A Functional Rephrasing of the Assumption/Commitment Specification Style (1998) (24)
- Towards a Calculus for UML-RT Specifications (1998) (23)
- Transformational Semantics for Concurrent Programs (1980) (23)
- From Requirements to Validated Embedded Systems (2001) (23)
- Service-Oriented Modeling of CoCoME with Focus and AutoFocus (2007) (22)
- Compositional Reenement of Interactive Systems (1995) (22)
- Rethinking Nonfunctional Software Requirements (2015) (22)
- Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology (2016) (22)
- Modelling operating system structures by timed stream processing functions (1992) (21)
- Toward a Mathematical Foundation of Software Engineering Methods (2001) (21)
- Experiences with software specification and verification using LP, the Larch proof assistant (1996) (21)
- A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability—from requirements to functional and architectural views (2018) (21)
- Functional Specification of Time Sensitive Communicating Systems (1989) (20)
- Examples for Change of Types and Object Structures (1978) (20)
- Enriching the Software Development Process by Formal Methods (1998) (20)
- Semantics of Communicating Processes (1984) (20)
- Program Construction by Transformations: A Family Tree of Sorting Programs (1983) (20)
- Software Architectures and Design Patterns in Business Applications (1997) (19)
- Multi-view Modeling of Software Systems (2002) (19)
- Equational Specification of Partial Higher-Order Algebras (1988) (19)
- Semantic Relations in Programming Languages (1980) (18)
- Derivation of Invariant Assertions During Program Development by Transformation (1980) (18)
- Extensional behaviour of concurrent, nondeterministic, communicating systems (1986) (18)
- Towards a Unified View of Modeling and Programming (2016) (17)
- A Logical Basis for Modular Software and Systems Engineering (1998) (17)
- Transformation parallel ablaufender Programme (1980) (17)
- On the Algebraic Extensions of Abstract Data Types (1981) (17)
- A new approach to teaching information technologies: shifting emphasis from technology to information (1997) (17)
- The Requirement and Design Speciication Language Spectrum an Informal Introduction Version 1.0 in Cooperation With (1993) (17)
- Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (2006) (17)
- Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification (2011) (17)
- A semantic and methodological essence of message sequence charts (2005) (16)
- Seamless Method- and Model-based Software and Systems Engineering (2010) (16)
- On Relations Between Programs (1980) (16)
- A Theory of System Interaction: Components, Interfaces, and Services (2006) (16)
- Componentware - State of the Art 2003 Background Paper for the Understanding Components Workshop of the CUE Initiative at the Univerita Ca' Foscari di Venezia Venice, October 7th-9th 2003 (2003) (16)
- Specification and Top-Down Design of Distributed Systems (1987) (16)
- A Modular Framework for Specification and Implementation (1989) (16)
- Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994) (1996) (16)
- Relating Time and Causality in Interactive Distributed Systems (2010) (16)
- Can Practitioners Neglect Theory and Theoreticians Neglect Practice? (2011) (16)
- A Logical Basis for Component-Based Systems Engineering (1999) (15)
- What is Behind UML-RT? (1999) (15)
- A Holistic Approach to Software Quality at Work (15)
- Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering (2013) (15)
- Challenges in modeling Cyber-Physical Systems (2013) (14)
- Views of queues (1988) (14)
- Using extended event traces to describe communication in software architectures (1997) (14)
- Speciication and Reenement of Finite Dataaow Networks | a Relational Approach ? (1994) (13)
- Modular functional modelling of Petri nets with individual tokens (1992) (13)
- Adapting Calculational Logic to the Undefined (1999) (13)
- Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers (2006) (13)
- Reconciling Real-Time with Asynchronous Message Passing (1997) (13)
- Pioneers and Their Contributions to Software Engineering (2001) (13)
- Specification and refinement of a buffer of length one (1996) (13)
- KORSO: A Methodology for the Development of Correct Software (1994) (13)
- Seamless Model Driven Systems Engineering Based on Formal Models (2009) (13)
- Invited Talk: Algebraic State Machines (2000) (12)
- Mathematics of Software Engineering (1995) (12)
- 23 – Formal treatment of concurrency and time (1991) (12)
- Interaction and Realizability (2007) (12)
- PSMT - Workshop on Precise Semantics for Software Modeling Techniques (1998) (12)
- The Specification of System Components by State Transition Diagrams (2003) (12)
- Formal Description Techniques - How Formal and Descriptive are they? (1996) (12)
- Structured Specifications and Implementation of Nondeterministic Data Types (1995) (12)
- Focusing on mobility (1999) (12)
- Architecture driven modelling in software development (2004) (12)
- Semantics of finite and infinite networks of concurrent communicating agents (1987) (12)
- Generalized Heterogeneous Algebras and Partial Interpretations (1983) (11)
- Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology (2021) (11)
- Object-oriented programming and software development: a critical assessment (2003) (11)
- System Behaviour Models with Discrete and Dense Time (2012) (11)
- Partial Interpretations of Higher Order Algebraic Types (Extended Abstract) (1986) (11)
- From States to Histories (1999) (11)
- On the Herbrand Kleene Universe for Nondeterministic Computations (1984) (11)
- Requirement and Design Specification for Distributed Systems (1988) (10)
- Deductive program design (1996) (10)
- Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract (2004) (10)
- Equational specification of partial higher order algebras (1987) (10)
- Germany: Combining Software and Application Competencies (2001) (10)
- Programming and Mathematical Method (1992) (10)
- Characterizing the Behavior of Reactive Systems by Trace Sets (2003) (10)
- Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture (2007) (10)
- Towards a System Model for UML. The Structural Data Model (2014) (10)
- Educating Surfers or Craftsmen: Introducing an ICT Curriculum for the 21 (1999) (10)
- Denotational Semantics of Concurrent Programs with Shared Memory (1984) (10)
- Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security (2009) (10)
- Modular hierarchies of models for embedded systems (2003) (9)
- Architecture Driven Modeling in Software Development Extended Abstract (2004) (9)
- The essence of message sequence charts (2000) (9)
- Program Development: From Enumeration to Backtracking (1980) (9)
- From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT (2002) (9)
- Engineering Software Intensive Systems (2003) (9)
- Are Fairness Assumptions Fair? (1981) (9)
- Formal Systems Specification (1996) (9)
- Automotive software and systems engineering (Panel) (2005) (9)
- Towards a Unified View of Modeling and Programming (Track Summary) (2016) (9)
- TIME SENSITIVE COMMUNICATING SYSTEMS1 (1995) (8)
- A Systematic Approach to Language Constructs for Concurrent Programs (1984) (8)
- Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models (2016) (8)
- Componentware-State of the Art 2003 (2003) (8)
- From States to Histories Relating State and History Views onto Systems (2007) (8)
- Abstractions from time (2003) (8)
- Visual Process Model Design using Domain-specific Languages (2010) (8)
- Computability and realizability for interactive computations (2015) (8)
- A Functional Rephrasing of the Assumption (1995) (7)
- Methods of Programming (1991) (7)
- 2011 15th International Software Product Line Conference (2011) (7)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (2018) (7)
- A Guided Tour (2001) (7)
- Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation (2012) (7)
- From "Formal Methods" to System Modeling (2007) (7)
- Yesterday, Today, and Tomorrow: 50 Years of Software Engineering (2018) (7)
- Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004Revised ... Papers (Lecture Notes in Computer Science) (2006) (7)
- On Architecture Specification (2018) (7)
- Interpreter Verification for a Functional Language (1994) (7)
- Software technology - formal methods and scientific foundations (1999) (7)
- Error-Completion in Interface Theories (2013) (7)
- Artefacts in Software Engineering: What are they after all? (2018) (7)
- Formalization of Distributed, Concurrent, Reactive Systems (1989) (7)
- Proceedings of The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems Held in Carmel, California on October 23-26, 1998. (1999) (7)
- The Impact of Models in Software Development (2005) (6)
- Architectural Concepts in Programming Languages (2010) (6)
- A uniform mathematical concept of a component (1998) (6)
- Cyber Physical Systems (Part 1) (2012) (6)
- Requirements Targeting Software and Systems Engineering (1998) (6)
- Mathematical Methods in Program Development (1997) (6)
- Orchestration of Global Software Engineering Projects (2014) (6)
- Compositional Re nement of Interactive Systems (1995) (6)
- On language constructs for concurrent programs (1981) (6)
- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation (2004) (6)
- On Denotational versus Predicative Semantics (1991) (5)
- Principles and a Process for Successful Industry Cooperation -- The Case of TUM and Munich Re (2015) (5)
- HOPSA — a High-level Programming Language for Parallel Computations (1993) (5)
- Views of Distributed Systems (1986) (5)
- Functional safety based on a system reference model (2012) (5)
- Ultra-loose algebraic specifications (1988) (5)
- Survey of Modeling and Engineering Aspects of Self-Adapting & Self-Optimizing Systems (2013) (5)
- Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming (1983) (5)
- Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare (1982) (5)
- Software-Intensive Systems in the Automotive Domain:Challenges for Research and Education (2006) (5)
- A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views (2013) (5)
- Some algebraic and functional hocus pocus with Abracadabra (1990) (5)
- The RPC-Memory Specification Problem - Problem Statement (2016) (5)
- Program Construction: International Summer School (1982) (5)
- GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract) (1981) (5)
- Development of Hierarchical Broadcasting Software Architectures Using UML 2.0 (2004) (5)
- Abstract Semantics of Synchronous Languages: The Example Esterel (1997) (5)
- Part I. Testing of Finite State Machines (2004) (4)
- On the Design and Verification of a Simple Distributed Spanning Tree Algorithm (1990) (4)
- Software system reliability and security (2007) (4)
- Declarative specification and declarative programming (1991) (4)
- The RPC-Memory Case Study: A Synopsis (1994) (4)
- On the Algebraic Specification of Finitary Infinite (1982) (4)
- SBSE ’ 03 Service-Based Software Engineering Proceedings of the FM 2003 Workshop (2000) (4)
- On bounded buffers: modularity, robustness, and reliability in reactive systems (1990) (4)
- Engineering Dependable Software Systems (2013) (4)
- Summary of Case Studies in FOCUS-a Design Method for Distributed Systems 1 (2003) (4)
- Deductive Program Development: Evaluation in Reverse Polish Notation as an Example (1991) (4)
- The Leading Role of Software and Systems Architecture in the Age of Digitization (2018) (4)
- Prospects of New Tools for Software Development (1981) (4)
- Distributed Concurrent Object-Oriented Software (2004) (4)
- Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction) (2018) (4)
- Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence (1979) (4)
- From Actions, Transactions, and Processes to Services (2016) (3)
- Specification and modeling: an academic perspective (2001) (3)
- Algebraic and functional specification of an interactive serializable database interface (1992) (3)
- Mathematical methods in system and software engineering (1997) (3)
- Operational and denotational semantics with explicit concurrency (1992) (3)
- Evolutionary Development of Software Architectures (2002) (3)
- Rethinking Functional Requirements: A Novel Approach Categorizing System and Software Requirements (2018) (3)
- Specification and design of shared resource arbitration (1991) (3)
- Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress) (2008) (3)
- A Theory for Requirements Specification and Architecture Design of Multi-Functional Software Systems (2006) (3)
- Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany (1996) (3)
- Verifying of interface assertions for infinite state Mealy machines (2014) (3)
- Engineering automotive software : For the gigabyte of costly software that will be used in intelligent cars of the future, new system and software development techniques and tools are required (2007) (3)
- Advanced Systems Engineering (2020) (3)
- Model-based software development - its real benefit (2011) (3)
- Correct Software: From Experiments to Applications (1995) (3)
- The Automotive CASE (2003) (3)
- Message Sequence Charts in the Development Process - Role and Limitations (2002) (3)
- PSMT � ICSE Workshop on Precise Semantics for Software Modeling Techniques (1998) (3)
- Generalized Heterogeneous Algebras (1983) (3)
- The Picture Book (2006) (3)
- Pragmatic Formal Specification of System Properties by Tables (2015) (2)
- SUCCESS AND FAILURE OF 1000 FIRST SEMESTER CS STUDENTS (2)
- Preface - Software Engineering to our Planning Horizon (1998) (2)
- Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (2001) (2)
- Speciication and Reenement O F F I N I T E Dataaow N E T Works | a Relational Approach (1994) (2)
- Software Engineering (2002) (2)
- Editorial to the theme section on model-based design of cyber-physical systems (2019) (2)
- Technische Universit at M U N C H E N Institut F Ur Informatik the Algebra of Stream Processing Functions Sfb 342 Methoden Und Werkzeuge F Ur Die Nutzung Paralleler Architekturen the Algebra of Stream Processing Functions (1996) (2)
- Requirements and design specification of distributed systems: the lift problem (1988) (2)
- Elektrik/Elektronik/Software (2013) (2)
- Guest Editorial: Special Section on Interaction and State-Based Modeling (2005) (2)
- Memory with Locking (2001) (2)
- Advanced Component Interface Specification1) (1995) (2)
- Distributed and Parallel Embedded Systems (1999) (2)
- Model Based Software and Systems Development (2004) (2)
- CoCoME Jury Evaluation and Conclusion (2007) (2)
- From system requirements documents to integrated system modeling artifacts (2009) (2)
- Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That (1997) (2)
- A Functional Solution to the RPC-Memory Specification Problem (1994) (2)
- Requirements Engineering in Software Development (2013) (2)
- Cyber Physical Systems (Part 2) (2013) (2)
- Guiding requirements engineering for software-intensive embedded systems in the automotive industry (2010) (2)
- Engineering for Automotive Systems : A Roadmap (2007) (2)
- KORSO – Korrekte Software durch formale Methoden (1997) (2)
- 1 Towards a Formal Engineering Approach for SOA (2010) (2)
- Methodological Objectives for Formal Description Techniques (1990) (2)
- 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 (1990) (2)
- Software Engineering: Potenziale einer immateriellen Technologie (2011) (1)
- Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings (1998) (1)
- Method of Programming, Selected Papers on the CIP-Project (1991) (1)
- Part III. Model-Based Test Case Generation (2004) (1)
- Software Quality: From Requirements to Architecture (2013) (1)
- Modelling Logical Architecture of Mechatronic Systems and Its Quality Control (2018) (1)
- A method of automatically generating a program (1998) (1)
- Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (1993) (1)
- EDITORIAL: Formale Methoden in der Praxis (1997) (1)
- Innovation in Engineering Software Intensive Systems (2006) (1)
- A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems (2003) (1)
- Streams of Steam – The Steam Boiler Specification Case Study (2003) (1)
- Perspectives of System Informatics (2000) (1)
- Scanning the Issue (2010) (1)
- Software engineering beyond our planning horizon: automation for computer-based systems (2002) (1)
- On the Role of Logic and Algebra in Software Engineering (2013) (1)
- A Model-Based View onto Testing (2011) (1)
- A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability—from requirements to functional and architectural views (2017) (1)
- Functional Specification of Communicating Systems (1989) (1)
- Algebraic specification of the abstract data type "Continuum" (1985) (1)
- Recent Trends in Algebraic Development Techniques (1999) (1)
- Towards Advanced Programming Environments Based on Algebraic Concepts (1986) (1)
- AMDiRE - Artefact Model for Domain-independent RE (2013) (1)
- From Chaos to Undefinedness (2006) (1)
- Multi-View Modelling of Software Systems Extended Abstract (2003) (1)
- Editorial-Science of Computer Programming-25 years (2007) (1)
- International workshop on Cyber-Physical Systems (2013) (1)
- On the Herbrand-Kleene Universe for Nondeterministic Computations (1985) (1)
- Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings (1996) (1)
- Epilog: From Requirements Engineering to Design Thinking (2022) (1)
- Systems engineering needs a formal basis (1998) (1)
- REQUIREMENT-BASED FUNCTION DESIGN IN THE AUTOMOTIVE ENGINEERING PROCESS (2012) (1)
- A Functional Specification of the Alpha AXP TM Shared Memory Model (1995) (1)
- Part II. Testing of Labeled Transition Systems (2004) (1)
- Broadcasting Buffering Communication (1988) (1)
- Proceedings of the International Conference on Formal Methods in Programming and Their Applications (1993) (1)
- Denotational Semantics of Communicating Sequential Programs (1986) (1)
- Mathematik des Software-Engineering (1996) (1)
- Innovation durch Kooperation im Software-Engineering (1997) (0)
- Part IV. Tools and Case Studies (2004) (0)
- Preface: Volume 25 (1999) (0)
- Refinement of Time 1 ) (2003) (0)
- Requirements Engineering for Embedded Systems 1 ) (1997) (0)
- Reverse Engineering for Malicious Code Behavior Analysis using Virtual Security Patching (2020) (0)
- Seamless Model-Based System Development: Foundations - (Extended Abstract) (2019) (0)
- Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence (2010) (0)
- Logic of Programming and Calculi of Discrete Design International Summer School Directed by F.L. Bauer ... [Et Al.] (1987) (0)
- On the Design and Verification of a Simple Distributed Spanning Tree Algorithm 1 (1995) (0)
- Editorial comment to 'About "trivial" software patents: The IsNot case' (2007) (0)
- Organizers and Program Committee Members (2006) (0)
- A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer (2015) (0)
- Part III : Formal definition of the language (1985) (0)
- Dynamic modification of system structures using LLPNs (2003) (0)
- Editorial: Where Theory and Practice Meet (2003) (0)
- Component Interface Specification (0)
- Software engineering research agendas panel (SERA) (panel session): “what can't we do, but need to learn how to do?” (2001) (0)
- In memory of Bernhard Schätz, long- time friend and SoSyM editor (2018) (0)
- Equational Specification of State Transitions (2001) (0)
- Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] (1989) (0)
- Andrei Ershov 4th International Conference on Perspectives of System Informatics (2001) (0)
- nement in the development of system components by a simple case study The development includes the modular speci (1994) (0)
- On the Correlation between Functional and Logical Architecture (2010) (0)
- Specification Techniques (2010) (0)
- Guest Editorial (2008) (0)
- 6.Workshop Automotive Software Engineering (2008) (0)
- SoSyM special section on service-based software engineering (2006) (0)
- The Role of Requirements and Specification in Product Line Engineering (2011) (0)
- 60th birthday of Professor Friedrich L. Bauer (1984) (0)
- Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? (2001) (0)
- Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (1987) (0)
- Spes Metamodel (2010) (0)
- Compositional refinement on interactive systems (1999) (0)
- Part VII. Appendices (2004) (0)
- SPES 2020 Deliverable 1.4.B-3 Concepts for an Integrated Tool Architecture (2009) (0)
- SPES 2020 Deliverable D 1 . 1 . A-3 Literature Survey Identification of Relevant Literature for SPES 2020 (2009) (0)
- Part V. Standardized Test Notation and Execution Architecture (2004) (0)
- Model-Based Testing of Reactive Systems, Advanced Lectures : outcome of a research seminar (2005) (0)
- ICVES 2009 Organizing Committee ऀð (2009) (0)
- Architecture as a Backbone for Safe DevOps in Automotive Systems (2022) (0)
- Programming Concepts and Methods: Proceedings of the IFIP TC2 WG 2.2/2.3 Working Conference on Programming Concepts and Methods, Tiberias, Sea of Galilee, Israel, April 1990 (1990) (0)
- Part II : Description of the language (1985) (0)
- Criteria for the Evaluation of Requirements Engineering Methods in a Change Intensive Environment (2008) (0)
- Tables and Diagrams (2001) (0)
- TO SUPPORT PROGRAM SPECIFICATION AND PROGRAM DEVELOPMENT (1978) (0)
- Software Systems Reliability and Security: Nato Security Through ... D Information and Communication Security (2007) (0)
- Edsger W. Dijkstra as a Lecturer in Marktoberdorf (2022) (0)
- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability (2021) (0)
- Workshop on "Requirements Targeting Software and Systems Engineering" (1998) (0)
- Properties of Specifications (2001) (0)
- RTSE'97 - Workshop on Requirements Targeting Software Engineering (1998) (0)
- Model-centric Assumption Promise Specification (2016) (0)
- Perspectives of System Informatics (2003) (0)
- Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia (2001) (0)
- On the Meaning of Message Sequence Charts (2017) (0)
- Software-based Functions Safe, reliable, structured (2013) (0)
- Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering (1989) (0)
- Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics (1996) (0)
- Software & Systems Engineering: Integrating Technology into Our Everyday Lives (2019) (0)
- Letter from the Editor (2001) (0)
- Semantics of PAnndA-S (1993) (0)
- Editorial to the theme section on model-based design of cyber-physical systems (2018) (0)
- Embedded Systems and Software Technology in the Automotive Domain (2007) (0)
- Guest Editors' Foreword: Selected papers on "Streams and Algebra" (2009) (0)
- Towards formal modeling of functional features and feature interactions in software intensive systems (2011) (0)
- CHAPTER 4 DEFINITION OF THE SYSTEM MODEL (2011) (0)
- Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0) (2014) (0)
- Funktionales Programmieren - Programmieren mit Funktionalen (1983) (0)
- Software Engineering as a Modelling Process (2000) (0)
- A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer (2015) (0)
- 2. Component Models: Interface Models by Streams (2000) (0)
- Software Intensive Embedded Systems - with Special Emphasis on Automotive (Dagstuhl Seminar 03461) (2021) (0)
- Proceedings of the International Workshop on Requirements Targeting Software and Systems Engineering (1997) (0)
- Trends in programming methodologies: a transformational approach (extended abstract) (1985) (0)
- Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement (2000) (0)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (2017) (0)
- Interview with Manfred Broy and Walter Brenner About Design Thinking and Requirements Engineering (2022) (0)
- 3 Algebraic Speciication of Concurrent Systems Introduction (1999) (0)
- Reliable Systems Enginerring (Position Statement) (1992) (0)
- Software Engineering Notes Free (2021) (0)
- Access Control System (2001) (0)
- Reflections on the essay “The Green and the Blue – A New Political Ontology for a Mature Information Society” by Luciano Floridi (2021) (0)
- プログラム記述とプログラム開発を支援する広範囲向(ワイド・スペクトル)言語 (1978) (0)
- Editorial (2004) (0)
- Specification Problem (2008) (0)
- Software System Documentation: Coherent Description of Software System Properties (2022) (0)
- A/G Specifications (2001) (0)
- Development Use Cases for Semantics-Driven Modeling Languages (2023) (0)
- Pragmatic and Formal Specification of System Properties by Tables * ) (2011) (0)
- Part I : Informal survey of the language (1985) (0)
- Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings (2000) (0)
- Integrating Requirements Engineering, Modeling, and Verification Technologies into Software and Systems Engineering (2007) (0)
- Part 0 : Introduction to the project CIP (1985) (0)
- Part VI. Beyond Testing (2004) (0)
- In memory of Bernhard Schätz, long- time friend and SoSyM editor (2018) (0)
- Artefacts in software engineering: a fundamental positioning (2019) (0)
- Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Russia, June - July 1993 Proceedings (1993) (0)
- In memory of Heinrich Hussmann, long-time friend and SoSyM editor (2023) (0)
- Specification problem 7 Solutions 16 (2008) (0)
This paper list is powered by the following services:
Other Resources About Manfred Broy
What Schools Are Affiliated With Manfred Broy?
Manfred Broy is affiliated with the following schools:
