Möchten Sie verkaufen? Hier verkaufen
Software-Verifikation: Verfahren für den Zuverlässigkeitsnachweis von Software
 
 
Den Verlag informieren!
Ich möchte dieses Buch auf dem Kindle lesen.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Software-Verifikation: Verfahren für den Zuverlässigkeitsnachweis von Software [Taschenbuch]

Wolfgang Ehrenberger
5.0 von 5 Sternen  Alle Rezensionen anzeigen (2 Kundenrezensionen)

Erhältlich bei diesen Anbietern.



Produktinformation

  • 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)

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

4 Sterne
0
3 Sterne
0
2 Sterne
0
1 Sterne
0
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.
War diese Rezension für Sie hilfreich?
8 von 14 Kunden fanden die folgende Rezension hilfreich
Von "dwang51"
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.
War diese Rezension für Sie hilfreich?
Kundenrezensionen suchen
Nur in den Rezensionen zu diesem Produkt suchen

Kunden diskutieren

Das Forum zu diesem Produkt
Diskussion Antworten Jüngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen
Neue Diskussion starten
Thema:
Erster Beitrag:
Eingabe des Log-ins
 


Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
Alle Amazon-Diskussionen durchsuchen
   
Ähnliche Foren


Lieblingslisten


Ähnliche Artikel finden


Anhand des Sachgebietes nach ähnlichen Produkten suchen:


Ihr Kommentar