Software-Zuverlässigkeit: Grundlagen Konstruktive Maßnahmen Nachweisverfahren: VDI-Buch
Editat de VDI-Gemeinschaftsausschuß Industrielle Systemtechnikde Limba Germană Paperback – 24 mar 1993
Din seria VDI-Buch
- 13%
Preț: 811.49 lei - 18%
Preț: 1491.40 lei - 13%
Preț: 765.67 lei - 13%
Preț: 849.48 lei - 18%
Preț: 879.49 lei - 14%
Preț: 928.23 lei - 11%
Preț: 628.16 lei - 13%
Preț: 3194.69 lei - 13%
Preț: 840.79 lei - 15%
Preț: 511.60 lei - 18%
Preț: 5888.36 lei - 18%
Preț: 928.63 lei - 18%
Preț: 762.59 lei - 13%
Preț: 1055.10 lei - 18%
Preț: 1389.90 lei - 15%
Preț: 696.78 lei - 15%
Preț: 676.52 lei - 18%
Preț: 866.89 lei - 15%
Preț: 425.71 lei - 18%
Preț: 829.47 lei - 15%
Preț: 563.30 lei - 18%
Preț: 758.35 lei - 15%
Preț: 485.27 lei -
Preț: 440.70 lei - 15%
Preț: 497.38 lei - 15%
Preț: 429.02 lei - 15%
Preț: 478.83 lei - 18%
Preț: 864.31 lei - 13%
Preț: 833.14 lei - 18%
Preț: 926.20 lei - 15%
Preț: 816.18 lei - 18%
Preț: 1335.19 lei - 20%
Preț: 488.23 lei - 15%
Preț: 627.01 lei - 15%
Preț: 520.27 lei - 15%
Preț: 514.58 lei -
Preț: 300.54 lei - 18%
Preț: 1285.44 lei - 18%
Preț: 3713.62 lei -
Preț: 126.61 lei - 15%
Preț: 561.09 lei - 15%
Preț: 482.43 lei - 18%
Preț: 915.13 lei - 18%
Preț: 1234.48 lei - 15%
Preț: 515.06 lei -
Preț: 303.67 lei - 18%
Preț: 932.10 lei - 15%
Preț: 684.20 lei - 18%
Preț: 717.22 lei - 14%
Preț: 622.78 lei
Preț: 402.04 lei
Preț vechi: 502.55 lei
-20%
Puncte Express: 603
Preț estimativ în valută:
71.10€ • 84.30$ • 61.90£
71.10€ • 84.30$ • 61.90£
Carte tipărită la comandă
Livrare economică 30 martie-13 aprilie
Specificații
ISBN-13: 9783540623052
ISBN-10: 3540623051
Pagini: 320
Ilustrații: XIV, 306 S.
Dimensiuni: 152 x 229 x 17 mm
Greutate: 0.43 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria VDI-Buch
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540623051
Pagini: 320
Ilustrații: XIV, 306 S.
Dimensiuni: 152 x 229 x 17 mm
Greutate: 0.43 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria VDI-Buch
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
1 Einleitung.- 2 Übersicht und Leitfaden.- 2.1 Motivation.- 2.2 Geschichtliche Entwicklung programmtechnischer Stilrichtungen.- 2.3 Software-Zuverlässigkeit und andere Software-Qualitätsmerkmale.- 2.4 Software-Lebenszyklus.- 2.5 Schritte auf dem Weg zu zuverlässiger Software.- 2.6 Zielsetzung und Zielgruppe des Buchs.- 2.7 Hinweise zum Gebrauch des Buchs.- 2.8 Abgrenzung des Buchs.- 3 Konzeptionelle Grundlagen der Software-Zuverlässigkeit.- 3.1 Einführung.- 3.2 Grundsätze der Zuverlässigkeitsbeschreibung bei physikalischen Fehlern.- 3.3 Statistisch-phänomenologische Behandlung von inhärenten Fehlern auf der Basis des Anforderungsprofils.- 3.4 Die Versagensrate und abgeleitete Kenngrößen bei Software.- 3.5 Teilsystem- und Gesamtsystem-Zuverlässigkeit.- 4 Konstruktive Maßnahmen zur Erreichung zuverlässiger Software.- 4.1 Prinzipien der Phasen Anforderungsspezifikation, Entwurf (Design) und Codierung.- 4.2 Regeln für den Software-Entwurf.- 4.3 Regeln für die Codierung (Programmerstellung).- 4.4 Programmpflege.- 5 Nachweis der Software-Zuverlässigkeit.- 5.1 Einführung.- 5.2 Rechtsfragen bei Verträgen über Software.- 5.3 Informelle Nachweisverfahren.- 5.4 Statische Analysen.- 5.5 Programmkorrektheitsbeweis.- 5.6 Tests.- 5.7 Einsatz der Software und Betriebsbewährtheit.- 5.8 Quantitativer Nachweis der Zuverlässigkeit.- 6 Schlußbetrachtung.