Manfred Broy - Böcker

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

Engineering Theories of Software Intensive Systems

Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

Engineering Theories of Software Intensive Systems

Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

Model-Based Engineering of Collaborative Embedded Systems

Extensions of the SPES Methodology

Model-Based Engineering of Collaborative Embedded Systems

Extensions of the SPES Methodology

Design Thinking for Software Engineering

Creating Human-oriented Software-intensive Products and Services

Design Thinking for Software Engineering

Creating Human-oriented Software-intensive Products and Services

Advanced Model-Based Engineering of Embedded Systems

Extensions of the SPES 2020 Methodology

Advanced Model-Based Engineering of Embedded Systems

Extensions of the SPES 2020 Methodology

Control Flow and Data Flow: Concepts of Distributed Programming

International Summer School

Perspectives of Systems Informatics

5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Model-Based Testing of Reactive Systems

Advanced Lectures

Automotive Software-Connected Services in Mobile Networks

First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Perspectives of System Informatics

4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Modellbildung in der Informatik

Methods of Programming

Selected Papers on the CIP-Project

Informatik

Eine grundlegende Einführung Teil I. Problemnahe Programmierung

Program Design Calculi

Formal Methods in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Informatik. Eine grundlegende Einführung

Teil III: Systemstrukturen und systemnahe Programmierung

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Final Report

Deductive Program Design

Formal Systems Specification

The RPC-Memory Specification Case Study

Perspectives of System Informatics

Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Informatik Eine grundlegende Einführung

Band 1: Programmierung und Rechnerstrukturen

Informatik

Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Model-Driven Development of Reliable Automotive Services

Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers