Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Vorwort Kapitel lesen Erstes Kapitel lesen

1994 | OriginalPaper | Buchkapitel

Vermeidung von Spezifikationsfehlern

verfasst von : Heinrich Rust

Erschienen in: Zuverlässigkeit und Verantwortung

Verlag: Vieweg+Teubner Verlag

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

In den folgenden Kapiteln geht es um Methoden zur Erhöhung der Unfallsicherheit von Programmen. Das vorstehende Kapitel hat verdeutlicht, daß gewöhnlich versucht wird, die Unfallsicherheit auf einen Korrektheitsbegriff, also die Übereinstimmung des Programms und einer Spezifikation zurückzuführen. Solche Versuche werden in den späteren Kapiteln untersucht. Zusätzlich muß die Adäquatheit der Spezifikation gesichert werden.

Vorheriges Kapitel Grundbegriffe
Nächstes Kapitel Vermeidung von Entwurfs- und Implementierungsfehlern
Metadaten
Titel
Vermeidung von Spezifikationsfehlern
verfasst von
Heinrich Rust
Copyright-Jahr
1994
Verlag
Vieweg+Teubner Verlag
Buch
Zuverlässigkeit und Verantwortung

Print ISBN: 978-3-322-84935-9

Electronic ISBN: 978-3-322-84934-2

Copyright-Jahr: 1994

DOI
https://doi.org/10.1007/978-3-322-84934-2_4

Premium Partner

    Marktübersichten

    Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen. 

    Zur Marktübersicht
    Bildnachweise