Carte Software Verification and Analysis Janusz Laski

Software Verification and Analysis

An Integrated, Hands-On Approach

Limbă: engleză
Legare: Copertă tare
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
298.01 lei
This book addresses the most important techniques in improving the correctness of software, includin...

Informații despre carte

Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2009
Pagini
234
EAN
9781848822399
ISBN
1848822391
Enbook ID
01434146
Greutate
510
Dimensiuni
164 x 242 x 21

Descriere completă

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).§Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification.§Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD s handling of the concepts is illustrated.§Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.

S-ar putea să te intereseze

49.24 lei

Equality

Darrin McMahon
200.53 lei
144.00 lei
179.19 lei
258.37 lei
1 802.69 lei
829.74 lei
266.36 lei

Threshold 1990

Jan Ate van Ek
299.43 lei
61.47 lei

Real Numbers

John Stillwell
217.51 lei

Clienții care au cumpărat această carte au mai cumpărat și

PIC, PIC, PIC Le Tigre

Manceau Edouard
49.95 lei
94.14 lei
84.83 lei

Pierre et Jean

Guy de Maupassant
96.87 lei
58.14 lei