Software Verification and Analysis

Name: Software Verification and Analysis
Brand: Springer London Ltd
SKU: 9781848822399
Price: 1311 CZK
Availability: InStock

An Integrated, Hands-On Approach

Autor: Janusz Laski, William Stanley

Jazyk:

Vazba: Pevná

Vydavatel: Springer London Ltd

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

1 311 Kč

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

Informace o knize

Autor

Janusz Laski, William Stanley

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2009

Stránek

234

EAN

9781848822399

ISBN

1848822391

Enbook ID

01434146

Vydavatel

Springer London Ltd

Hmotnost

510

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Software Verification and Analysis

An Integrated, Hands-On Approach

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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ákaznicí kteří koupili tuto knihu koupili také

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