Software-Qualitt [Paperback]

Computerabst?rze, R?ckrufaktionen, Sicherheitslecks: Das Ph?nomen Software- Fehler hat sich zum festen Bestandteil unseres t?glichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualit?tssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualit?t von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegen?ber? Dieses Buch f?hrt umfassend und praxisnah in das Gebiet der Software- Qualit?tssicherung ein und gibt eine Antwort auf die oben gestellten Fragen. Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung er?rtert und anschlie?end die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualit?t zur Verf?gung stehen. Behandelt werden die zentralen Themenkomplexe aus den Gebieten der konstruktiven und analytischen Qualit?tssicherung, der Software-Infrastruktur und der Managementprozesse. Die 2. Auflage wurde durchgehend aktualisiert und korrigiert.Das Buch f?hrt umfassend und praxisnah in das Gebiet der Software-Qualit?tssicherung ein. Typische Fehlerquellen der Programmentwicklung werden er?rtert und Methoden und Techniken vorgestellt, mit denen die Qualit?t von Software verbessert werden kann.

Einf?hrung.- Software-Fehler.- Konstruktive Qualit?tssicherung.- Sofware-Test.- Statische Code-Analyse.- Software-Verifikation.- Software-Lebenszyklus.- Software-Infrastruktur.- Managementprozesse.-Literaturverzeichnis.- Sachverzeichnis.

Professor Dr. Dirk W. Hoffmann:
1992 - 1997 Universit?t Karlsruhe (KIT) Studium der Informatik Abschluss: Dipl. Inform.
1997 - 1998 University at Albany, New York
1998 - 2001 Universit?t T?bingen Promotion an der Fakult?t f?r Informatik Abschluss: Dr. rer. nat.
2001 - 2004 Synopsys, Inc., M?nchen Robert Bosch GmbH, Leonberg
seit 2004 Professorl#-