Die Wiederverwendung von Software-Komponenten bei der Konstruktion von Anwendungssystemen kann mit vertretbarem Aufwand nur erreicht werden, wenn die Entscheidung über die Eignung einer Komponente ohne nähere Betrachtung der Implementierung der Software weitestgehend automatisiert erfolgen kann. Diese Arbeit baut auf einem existierenden Standard zur Beschreibung der Außensicht von fachlichen Software-Komponenten auf, erweitert diesen Standard und beschreibt, wie auf Basis von Software-Spezifikationen eine Aussage abgeleitet werden kann, ob die beschriebene Software bestimmte Anforderungen erfüllt.

Hier das Buch direkt bei Amazon bestellen: