- Taschenbuch: 380 Seiten
- Verlag: Hanser Fachbuch (22. November 2001)
- Sprache: Deutsch
- ISBN-10: 3446216243
- ISBN-13: 978-3446216242
- Größe und/oder Gewicht: 24,3 x 17,2 x 2,5 cm
- Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen Alle Rezensionen anzeigen (2 Kundenrezensionen)
- Amazon Bestseller-Rang: Nr. 1.182.152 in Bücher (Siehe Top 100 in Bücher)
Produktinformation |
Produktbeschreibungen
Pressestimmen
"Lesenswert!" (Design & Elektronik)
Kurzbeschreibung
Software übernimmt in allen Bereichen des Lebens zunehmend auch sicherheitskritische Funktionen. Deshalb sind wir sehr auf ihre Zuverlässigkeit angewiesen. Für deren Nachweis bedarf es kostengünstiger, praxistauglicher Verfahren, die in diesem Buch beschrieben werden. Als Grundlage für die Verifikation müssen die Anforderungen an die Zuverlässigkeit eines Softwaresystems oder seiner Komponenten genau definiert werden. Dies ist Thema des ersten Teils. Im zweiten Teil werden verschiedene Verfahren vorgestellt, mit denen fertiggestellte Software verifiziert wird: deterministische, probabilistische und informelle. Im dritten Teil geht der Autor auf konstruktive Prüfverfahren ein, die während des Entwicklungs-Prozesses eingesetzt werden und garantieren sollen, dass das Ergebnis den Zuverlässigkeitsanforderungen genügt. Alle Kapitel enthalten Übungsaufgaben mit Lösungen, so dass sich das Buch als Lehrwerk für Hochschulen eignet und Praktiker ihren Wissensstand überprüfen können.
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
Die hilfreichsten Kundenrezensionen
1 von 2 Kunden fanden die folgende Rezension hilfreich
Von Amazon bestätigter Kauf
Ich hatte das Buch in erster Linie wegen der Probabilistischen Themen gekauft. Das Buch behandelt auch komplexe mathematische Themen auf sehr einfache Art. Dabei profitiert das Buch von der Trennung in einen Hauptteil und weitere matematische Erklärungen im Anhang.
Im Gegensatz zu vielen amerikanischen Wälzern werden die einzelnen Themen kompakt behandelt, manchmal vielleicht zu kompakt. Die einzelnen Hauptkapitel können auch unabhängig von einander gelesen werden. Damit verliert man nicht die Lust am Lesen.
Im Gegensatz zu vielen amerikanischen Wälzern werden die einzelnen Themen kompakt behandelt, manchmal vielleicht zu kompakt. Die einzelnen Hauptkapitel können auch unabhängig von einander gelesen werden. Damit verliert man nicht die Lust am Lesen.
8 von 14 Kunden fanden die folgende Rezension hilfreich
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.
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.
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
