In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function.
Dieses Lehrbuch stellt den aktuellen Stand der Technik im Bereich moderner Entwurfsverfahren von Hardware/Software-Systemen (bestehend aus kooperativen Hardware- und Softwarekomponenten) dar.
Das Buch behandelt die Vielzahl parasitärer elektromagnetischer Phänomene, die sich beispielsweise bei wachsendem Einsatz der Mikroelektronik in der Steuerungs- und Automatisierungstechnik zunehmend als problematisch herausstellen bezüglich Zuverlässigkeit und Sicherheit der Funktion elektrotechnischer Geräte und Anlagen.
Diese Einführung in die Informatik zeichnet sich durch die Ausrichtung auf moderne Konzepte aus und legt insbesondere die objektorientierte Programmiersprache Java zugrunde.
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity.
Recently, with the success of Java and the existence of different interfaces be- tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java.
As today's most complex computing environment, the Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society.
These proceedings contain the papers presented at the Third International Conference and Exhibition on Engineering Software held at Imperial College, London during the period April 11th - 13th, 1983.
Behandelt Erzeugung, Verstärkung, Fortleitung, Ausstrahlung und Anwendung elektromagnetischer Signale über den vollen Frequenzbereich, von einigen kHz bis zur optischen Nachrichtentechnik.
Rechnerorganisation, nicht in die beiden Gebiete Hardware- und Software-Organisation geteilt, sondern Rechnerorganisation als "Hardware Software Approach" steht im Mittelpunkt dieses Buches.
