Die objektorientierte Programmierung fand nach ihrer Einfiihrung durch SIMULA und vor allem SMALLTALK zwar auf wissenschaftlichem Gebiet Beachtung als neues Prograrnmierparadigma, sie konnte sich aber als Implementierungskonzept im industriellen Umfeld zuniichst nicht durchsetzen. Der Durchbruch gelingt nun erst, seitdem erkannt wurde, daB Objektorientiertheit nicht nur als ein alternatives Programmierparadigma, sondern auch als eine Menge von Konzepten zur Reduzierung der Komplexitiit von Systemen (Datenbank-, Benutzungsschnittstellen-, Programmier- und Simu lationssysteme, urn die...

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme prazise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengangen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.