Books written by M. Broy
-
Engineering Theories of Software Construction
The idea that the names of the links belong to the same category as the transferred objects is one of the cornerstones of the calculus , and is one way in which it is different from other process algebras . In the example a , b , c , d ...
-
Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra...
The Backtracker organizes the selection and application of hypotheses. If a search for a derivation is unable to progress, the derivation is backed-up, and an earlier choice is changed. It is the responsibility of the Backtracker to ...
-
Software Pioneers: Contributions to Software Engineering
References : [ 1 ] R. Bayer , E. McCreight : Organization and maintenance of large ordered indexes . Acta Informatica 1 , 173-189 ( 1972 ) . [ 2 ] R. Bayer : Symmetric binary B - Trees : data structure and maintenance algorithms .
-
Calculational System Design
... Prospects for hardware foundations . Lecture Notes in Computer Science 1546. Berlin : Springer 1998 , 69-116 [ 55 ] B. Möller : Deductive hardware design : a functional approach . In : B. Möller , J.V. Tucker ( eds . ) : Prospects for ...
-
Living in a networked world: Integrated research agenda Cyber-Physical Systems (agendaCPS)
The agendaCPS makes clear which researchand action areas are from particular importance. In these contexts opportunities, but also risks become apparent for Germany by Cyber-Physical Systems.
-
Programming Concepts and Methods: Proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of...
The papers presented in this book were originally presented at a conference organized jointly by IFIP working groups 2.2 and 2.3. The titles of the groups are Formal Description of...