Softwareentwicklung erfordert ¿ ausgehend von informellen Problemstellungen ¿ Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat...

Informatik Eine grundlegende Einführung von Broy, Manfred

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gelernte kann so von der Theorie in die...

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art. von Broy, Manfred

Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die...

"Software Pioneers: Contributions to Software Engineering" von Ernst Denert ist eine Sammlung von Beiträgen führender Experten aus der Softwareentwicklung. Das Buch bietet einen tiefen Einblick in die Entstehung und Entwicklung der...

Software Engineering hat das ingenieurmäßige Entwickeln umfangreicher Softwaresysteme zum Ziel. Kritische Größen sind Kosten, Termine und Qualität. Neben unterschiedlichen Themengebieten der Softwaretechnik umfasst das Software...

Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik". Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften...

Informatik 1. Problemnahe Programmierung von Broy, Manfred