Calculational System Design

Model-Based Engineering of Embedded Systems: The Spes 2020 Methodology

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the Spes Methodology

Software Pioneers: Contributions to Software Engineering

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

Software Pioneers: Contributions to Software Engineering

Informatik Eine Grundlegende Einfuhrung: Band 1: Programmierung Und Rechnerstrukturen

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

Model-Based Testing of Reactive Systems: Advanced Lectures