ABOUT Visual Basic Programmieren Programmierung Download Downloads Tips & Tricks Tipps & Tricks Know-How Praxis VB VBA Visual Basic for Applications VBS VBScript Scripting Windows ActiveX COM OLE API ComputerPC Microsoft Office Microsoft Office 97 Office 2000 Access Word Winword Excel Outlook Addins ASP Active Server Pages COMAddIns ActiveX-Controls OCX UserControl UserDocument Komponenten DLL EXE
Diese Seite wurde zuletzt aktualisiert am 07.04.2009

Diese Seite wurde zuletzt aktualisiert am 07.04.2009
Aktuell im ABOUT Visual Basic-MagazinGrundlagenwissen und TechnologienKnow How, Tipps und Tricks rund um Visual BasicActiveX-Komponenten, Controls, Klassen und mehr...AddIns für die Visual Basic-IDE und die VBA-IDEVBA-Programmierung in MS-Office und anderen AnwendungenScripting-Praxis für den Windows Scripting Host und das Scripting-ControlTools, Komponenten und Dienstleistungen des MarktesRessourcen für Programmierer (Bücher, Job-Börse)Dies&Das...

Themen und Stichwörter im ABOUT Visual Basic-Magazin
Code, Beispiele, Komponenten, Tools im Überblick, Shareware, Freeware
Ihre Service-Seite, Termine, Job-Börse
Melden Sie sich an, um in den vollen Genuss des ABOUT Visual Basic-Magazins zu kommen!
Informationen zum ABOUT Visual Basic-Magazin, Kontakt und Impressum

Zurück...

Bücher

Zurück...


Anzeige

Software-Verifikation

Verfahren für den Zuverlässigkeitsnachweis von Software


Autor(en)

Wolfgang Ehrenberger

Seiten

ca. 370

Erschienen

12/2001

Verlag

Carl Hanser Verlag - http://www.hanser.deCarl Hanser Verlag

Ort

München

ISBN

3-446-21624-3

Preis

EUR 44,90


Gleich
bestellen...

Gleich bestellen bei: Amazon


Kurzinformation

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 dieses Buches. Im zweiten Teil werden verschiedene Verfahren vorgestellt, mit denen fertig gestellte 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.


Rubriken mit weiteren Büchern zu gleichen/ähnlichen Themen

Rubrik: Projekt-Management/

Projekt-Management/Qualitätssicherung



Literatur/Links Übersicht

Bücher
Bibliothek
Neu in der Bibliothek


Schnellsuche




Zum Seitenanfang

Copyright © 1999 - 2018 Harald M. Genauck, ip-pro gmbh  /  Impressum

Zum Seitenanfang

Zurück...

Zurück...

Download Internet Explorer