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
- 14% Preț: 895.66 lei
- 14% Preț: 1231.80 lei
- 14% Preț: 915.66 lei
- 18% Preț: 1551.90 lei
- 14% Preț: 2277.42 lei
- Preț: 371.49 lei
- 11% Preț: 514.78 lei
- 18% Preț: 860.54 lei
- 14% Preț: 2676.53 lei
- 14% Preț: 591.40 lei
- 13% Preț: 727.64 lei
- 11% Preț: 545.59 lei
- 14% Preț: 693.16 lei
- 18% Preț: 6128.52 lei
- Preț: 309.33 lei
- 15% Preț: 532.05 lei
- 14% Preț: 739.41 lei
- 14% Preț: 804.01 lei
- 13% Preț: 693.05 lei
- Preț: 366.02 lei
- Preț: 242.78 lei
- Preț: 257.51 lei
- 11% Preț: 390.97 lei
- 14% Preț: 796.95 lei
- Preț: 356.00 lei
- 11% Preț: 580.89 lei
- Preț: 322.18 lei
- Preț: 364.48 lei
- 15% Preț: 711.21 lei
- 11% Preț: 499.23 lei
- 11% Preț: 392.60 lei
- 15% Preț: 539.91 lei
- 18% Preț: 1560.57 lei
- 15% Preț: 531.26 lei
- 15% Preț: 541.07 lei
- 18% Preț: 790.28 lei
- 18% Preț: 839.88 lei
- 15% Preț: 503.18 lei
- 18% Preț: 797.07 lei
- 18% Preț: 841.61 lei
- 15% Preț: 497.96 lei
- 14% Preț: 819.77 lei
- 15% Preț: 724.80 lei
- 14% Preț: 712.92 lei
- 18% Preț: 947.35 lei
- 18% Preț: 899.21 lei
- 15% Preț: 712.36 lei
- 18% Preț: 954.45 lei
- 15% Preț: 703.71 lei
- 18% Preț: 847.42 lei
Preț: 418.05 lei
Preț vechi: 522.55 lei
-20% Nou
Puncte Express: 627
Preț estimativ în valută:
79.99€ • 83.74$ • 66.19£
79.99€ • 83.74$ • 66.19£
Carte tipărită la comandă
Livrare economică 05-19 aprilie
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.