Articles liés à Verification, Validation And Testing in Software Engineering
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification - traditional in formal methods - has been joined by model checking and other techniques. "Verification, Validation and Testing in Software Engineering" offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development - including real-time applications - where V&V techniques are required.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurIGI Publishing
- Date d'édition2006
- ISBN 10 1591408520
- ISBN 13 9781591408529
- ReliureBroché
- Langueanglais
- Nombre de pages300
- ÉditeurDasso Aristides, Funes Ana
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
