Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software, Stefan Huster
- Jazyk
- Rok vydání
- 2020
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
- Jazyk
- německy
- Autoři
- Stefan Huster
- Rok vydání
- 2020
- Vazba
- měkká
- Počet stran
- 234
- ISBN13
- 9783946552376
- Kategorie
- Počítače, IT, programování
- Anotace
- 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.