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
-
Preț: 352.16 lei - 18%
Preț: 928.63 lei - 13%
Preț: 766.27 lei - 18%
Preț: 5888.36 lei - 14%
Preț: 601.89 lei - 11%
Preț: 628.65 lei - 13%
Preț: 849.54 lei - 18%
Preț: 711.90 lei - 13%
Preț: 708.25 lei -
Preț: 247.93 lei -
Preț: 357.41 lei - 11%
Preț: 419.86 lei - 18%
Preț: 1491.40 lei - 11%
Preț: 557.11 lei - 15%
Preț: 511.60 lei - 13%
Preț: 812.12 lei - 13%
Preț: 840.85 lei - 18%
Preț: 762.59 lei - 18%
Preț: 879.49 lei - 13%
Preț: 3197.19 lei -
Preț: 350.66 lei -
Preț: 385.20 lei -
Preț: 233.75 lei - 14%
Preț: 623.25 lei - 15%
Preț: 519.15 lei - 14%
Preț: 928.96 lei - 18%
Preț: 1389.90 lei -
Preț: 350.39 lei - 8%
Preț: 463.31 lei - 11%
Preț: 553.18 lei - 18%
Preț: 717.22 lei - 18%
Preț: 759.68 lei - 15%
Preț: 520.27 lei - 18%
Preț: 807.30 lei - 18%
Preț: 808.99 lei - 15%
Preț: 483.86 lei - 18%
Preț: 766.20 lei - 15%
Preț: 478.83 lei - 15%
Preț: 696.78 lei - 13%
Preț: 950.87 lei - 13%
Preț: 833.80 lei - 18%
Preț: 917.40 lei - 18%
Preț: 1027.18 lei - 18%
Preț: 910.58 lei - 18%
Preț: 864.31 lei - 18%
Preț: 866.89 lei - 15%
Preț: 816.82 lei - 15%
Preț: 676.52 lei - 15%
Preț: 425.71 lei - 20%
Preț: 488.23 lei
Preț: 402.04 lei
Preț vechi: 502.55 lei
-20% Nou
Puncte Express: 603
Preț estimativ în valută:
71.14€ • 83.42$ • 62.48£
71.14€ • 83.42$ • 62.48£
Carte tipărită la comandă
Livrare economică 07-21 februarie 26
Preluare comenzi: 021 569.72.76
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.