This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a...
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guid...
Informatik. Eine einfuhrende Ubersicht hat sich als Standardwerk fur das Studium der Informatik bewahrt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen," der das Grundthema "Algorithmen" des ersten Teils erganzt. Zunachst werden Programmstrukturen und Datenstrukturen einschliesslich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach-)Systeme, die zur Beschreibung solcher Strukturen dienen, auf relationentheoretischer Grundlage dargestellt. Ein weiteres Kapitel behandelt die Formalisierung der Syntax und der Semantik algorithmischer...
Informatik. Eine einfuhrende Ubersicht hat sich als Standardwerk fur das Studium der Informatik bewahrt. Der vorliegende zweite Teil steht unte...
In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational , conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of...
In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed sys...
Die Rechenmaschinen Z1 und Z3 von Konrad Zuse (1910-1995) haben das Computerzeitalter mitbegrundet. Dieses Buch wurdigt in sechs Beitragen den grossen Pionier der Informatik und seine genialen Erfindungen. Friedrich L. Bauer analysiert und bewertet im ersten Kapitel Fakten und Legenden zu Leben und Werk Zuses. Anschliessend wird erstmals die Architektur der Rechenmaschinen detailliert beschrieben, wobei die Verwandtschaft mit modernen Entwurfen uberrascht. Besonders aufschlussreich, ja spannend, ist das sorgfaltig recherchierte und dokumentierte Kapitel zu Zuses gescheiterten Versuchen der...
Die Rechenmaschinen Z1 und Z3 von Konrad Zuse (1910-1995) haben das Computerzeitalter mitbegrundet. Dieses Buch wurdigt in sechs Beitragen den grossen...
