| Software-Verifikation: Verfahren für den Zuverlässigkeitsnachweis von Software von | ||||||||||||||||||||
|
Hervorragende Lektüre für die Softwareverifikation • • • • • (bewertet mit 5 von 5 Punkten) Alle meine Rezensionen ansehen Rezension bezieht sich auf: Software-Verifikation: Verfahren für den Zuverlässigkeitsnachweis von Software (Taschenbuch) Eine sehr gute Einführung in die Thematik Softwareverifikation. Die mathematische Zerlegung sowie die Aggregation der (Teil-)Risiken in einem komplexen System werden klar und verständlich beschrieben. Der Leser wird auch auf die wirtschaftliche Aspekte sowie auf die Notwendigkeit unterschiedlicher Qualitätssicherungsvarianten sensibilisiert. Es ist eher ein praxisorientiertes Buch, das leicht zu lesen ist und doch auch die benötigten Theorien enthält. Wie der Titel des Buches schon sagt, werden hier Qualitätssicherungsmethoden behandelt, die bis zum höchsten Niveau erreichen (und dementsprechend aufwendig sind). Die meisten Software werden sicherlich ein solches Qualitätsniveau nicht benötigen, aber es vermittelt dem SW-Entwickler, -Reviewer oder -Tester ein Maß der Softwarequalität bzw. Korrektheit. Eine Rezension von Ein Kunde vom 6. März 2002 | ||||||||||||||||||||
| ||||||||||||||||||||
| Zur Übersicht ... | ||||||||||||||||||||
| | | | | | |||||||||||||||
| Angebote zu , , ab 1 Euro! | ||||||||||||||||||||
| Sonstige Artikel: | ||||||||||||||||||||
| Anschauliche Analytische Geometrie Wer überlebt?: Warum manche Menschen in Grenzsituationen überleben, andere nicht Musketiere-Original Hörspiel Zum Film | ||||||||||||||||||||
| Mehr zu Softwareentwicklung, Informatik | ||||||||||||||||||||
| Home ..., , Begleitseite ... | ||||||||||||||||||||
| Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von | ||||||||||||||||||||
Copyright © DomainLoc.com GmbH (Impressum) | ||||||||||||||||||||