Testing is the primary hardware and software verification technique used by industry today. Usual...

Dieser Band dokumentiert ein Kolloquium mit dem Titel 'Informatik im Kreuzungspunkt von Numerisch...

Programming Issues.- The Verifying Compiler: A Grand Challenge for Computing Research.- Linear Ty...

Modern information processing systems show such complex properties as distribution, parallelism, ...

In a time of multiprocessor machines, message switching networks and process control programming ...

In computing science design plays an eminently important role. By now, it is quite clear that the...

This volume is a collection of papers presenting work based on the ideas of the CIP project. The ...

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the form...

Diese Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen...

Das erfolgreiche Lexikon ist wieder auf dem aktuellen Stand. Von den führenden Wissenschaftlern d...

Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informations...

Software development for the automotive domain has become the enabling te- nologyforalmostallsafe...