The following pages link to Manfred Broy (Q213032):
Displaying 48 items.
- Predicative specifications for functional programs describing communicating networks (Q579917) (← links)
- Multifunctional software systems: Structured modeling and specification of functional requirements (Q608340) (← links)
- A semantic and methodological essence of message sequence charts (Q703583) (← links)
- Towards a formal foundation of the specification and description language SDL (Q749198) (← links)
- On denotational versus predicative semantics (Q753499) (← links)
- A systematic approach to language constructs for concurrent programs (Q792081) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- On the correctness of upper layers of automotive systems (Q1019015) (← links)
- On hierarchies of abstract data types (Q1050767) (← links)
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- Algebraic implementations preserve program correctness (Q1079358) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Denotational semantics of communicating sequential programs (Q1088402) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Semantics of finite and infinite networks of concurrent communicating agents (Q1090105) (← links)
- Nondeterministic data flow programs: How to avoid the merge anomaly (Q1095640) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Views of queues (Q1116323) (← links)
- Program development: From enumeration to backtracking (Q1144368) (← links)
- Programming in a wide spectrum language: A collection of examples (Q1157137) (← links)
- (Q1166271) (redirect page) (← links)
- Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen (Q1166272) (← links)
- Partial abstract types (Q1169290) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- Algebraic and functional specification of an interactive serializable database interface (Q1193602) (← links)
- Computer science. A fundamental introduction. Part 1: Problem oriented programming (Q1202017) (← links)
- Methodical solution of the problem of ascending subsequences of maximum length within a given sequence (Q1257765) (← links)
- Computer science. An introduction. Part 3: Structures of systems and assembler programming (Q1336486) (← links)
- Methodology, languages and foundations of software engineering. Final report of the research laboratory SYSLAB (1. 10. 1994--30. 9. 1999) (Q1606615) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Denotational semantics of communicating processes based on a language for applicative multiprogramming (Q1838282) (← links)
- Basic introduction to computer science. P. 4: Theoretical computer science, algorithms and data structures, logic programming, object orientation (Q1902821) (← links)
- Computability and realizability for interactive computations (Q2343137) (← links)
- A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer (Q2350488) (← links)
- Verifying of interface assertions for infinite state Mealy machines (Q2453549) (← links)
- Modeling layered distributed communication systems (Q2576568) (← links)
- (Q2722013) (← links)
- Specification and Development of Interactive Systems (Q2725941) (← links)
- (Q2760239) (← links)
- (Q2767168) (← links)
- (Q2767984) (← links)
- Message Sequence Charts in the Development Process — Roles and Limitations (Q2841315) (← links)
- (Q3028333) (← links)
- (Q3030233) (← links)
- (Q3216137) (← links)
- (Q3339253) (← links)
- (Q3347276) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
