Model-Based Testing of Reactive Systems
Subtitle: Advanced Lectures (Lecture Notes in Computer Science)
Contributors: Manfred Broy (Editor); Bengt Jonsson (Editor); Joost-Pieter Katoen (Editor); Martin Leucker (Editor); Alexander Pretschner (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 22, 2005
Language: eng
Format: Paperback
Number of pages: 659
ISBN-13: 9783540262787
Subjects: Computing and Information Technology; Computers - Languages / Programming; Computers; Computer Books: Languages; Programming Languages - General; Logic Design; Programming - Software Development; Computers / Programming / Software Development; UML; finite-state machines; formal methods; formal testing methods; hardware verification; hybrid systems; model checking; Essais; Information technology; Logiciels de base; Systems software; Testing
First sentence: Contemporary theories of learning stress that learning requires the development of active experiences in authentic contexts.