Software Verification and Analysis

Name: Software Verification and Analysis
Brand: Springer London Ltd
SKU: 9781848822399
Price: 54.1 EUR
Availability: InStock

An Integrated, Hands-On Approach

Autor: Janusz Laski, William Stanley

Jazyk:

Väzba: Pevná

Vydavateľ: Springer London Ltd

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

54.10 €

This book addresses the most important techniques in improving the correctness of software, includin...

Informácie o knihe

Autor

Janusz Laski, William Stanley

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2009

Stránok

234

EAN

9781848822399

ISBN

1848822391

Enbook ID

01434146

Vydavateľ

Springer London Ltd

Hmotnosť

510

Rozmery

164 x 242 x 21

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Software Verification and Analysis

An Integrated, Hands-On Approach

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Brand Equity and Brand Value

Equality

My Name is This, Not That

The Garden Journal of the New York Botanical Garden, V9, No. 3, May-June, 1959

The Perfume-Holder: A Persian Love Poem (1891)

The Praying Church Handbook: 4-Volume Set

Gospel, Church, and Ministry

Cook's Handbook for London. with Two Maps.

Charles Peirce's Empiricism

Peer Groups and Children's Development

Life and Times of Cultural Studies

Chasing the American Dream

Threshold 1990

Antarctica: Land of the Penguins

Real Numbers

Solar Based Hydrogen Production Systems

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

PIC, PIC, PIC Le Tigre

Mi lucha por la fe y la libertad

Studio Danse - tome 03

Pierre et Jean

Tajemství císařovy milenky