Model-Based Testing of Reactive Systems : Advanced Lectures

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth ass...

Celý popis

Podrobná bibliografie

Další autoři:	Broy, Manfred, 1949- (Editor)  Jonsson, Bengt (Editor) Katoen, Joost-Pieter, 1964- (Editor)  Leucker, Martin (Editor) Pretschner, Alexander (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2005
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-540-32037-1 9783540262787
Témata:	informatika softwarové inženýrství programovací jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!