Sisäänkirjautuminen

Laski, Janusz

Software Verification and Analysis

Laski, Janusz - Software Verification and Analysis, e-kirja

69,25€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9781848822405
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

Table of contents

2. Why Not Write Correct Software the First Time?
Janusz Laski, William Stanley

3. How to Prove a Program Correct: Programs Without Loops
Janusz Laski, William Stanley

4. How to Prove a Program Correct: Iterative Programs
Janusz Laski, William Stanley

5. Prepare Test for Any Implementation: Black-Box Testing
Janusz Laski, William Stanley

6. Intermediate Program Representation
Janusz Laski, William Stanley

7. Program Dependencies
Janusz Laski, William Stanley

8. What Can One Tell About a Program Without Its Execution: Static Analysis
Janusz Laski, William Stanley

9. Is There a Bug in the Program? Structural Program Testing
Janusz Laski, William Stanley

10. Dynamic Program Analysis
Janusz Laski, William Stanley

Avainsanat: Computer Science, Programming Techniques, Software Engineering, Software Engineering/Programming and Operating Systems

Tekijä(t)
 
Julkaisija
Springer
Julkaisuvuosi
2009
Kieli
en
Painos
1
Sivumäärä
14 sivua
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9781848822405

Samankaltaisia e-kirjoja