Obecnie nie mamy tej książki w magazynie
Więcej o książce
Die steigende Bedeutung von Software in industriellen Gütern erfordert eine hohe Korrektheit, die durch objektorientierte Programmiersprachen erreicht werden kann. Zur Verifizierung der Korrektheit stehen dynamische Testverfahren und formale Methoden zur Verfügung. Während dynamische Tests einfach anzuwenden sind, bieten sie keine Garantie für Fehlerfreiheit. Im Gegensatz dazu ermöglichen formale Verifikationsmethoden eine fehlerfreie Software, erfordern jedoch einen komplexeren Anwendungsprozess.
Zakup książki
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software, Stefan Huster
- Język
- Rok wydania
- 2020
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
- Język
- niemiecki
- Autorzy
- Stefan Huster
- Rok wydania
- 2020
- Oprawa
- miękka
- Liczba stron
- 234
- ISBN13
- 9783946552376
- Seria
- Tagi
- Opis
- Die steigende Bedeutung von Software in industriellen Gütern erfordert eine hohe Korrektheit, die durch objektorientierte Programmiersprachen erreicht werden kann. Zur Verifizierung der Korrektheit stehen dynamische Testverfahren und formale Methoden zur Verfügung. Während dynamische Tests einfach anzuwenden sind, bieten sie keine Garantie für Fehlerfreiheit. Im Gegensatz dazu ermöglichen formale Verifikationsmethoden eine fehlerfreie Software, erfordern jedoch einen komplexeren Anwendungsprozess.