Verwandte Artikel zu Verification, Validation and Testing in Software Engineering
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagIdea Group Publishing
- Erscheinungsdatum2006
- ISBN 10 1591408512
- ISBN 13 9781591408512
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten444
- HerausgeberDasso Aristides, Funes Ana
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 105,12
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Verification, Validation and Testing in Software Engineering
Foto des Verkäufers
Verification, Validation and Testing in Software Engineering
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Validation and verification is an area of software engineering that has been around since the early stages of program development. This book offers coverage of many formal and semiformal techniques of V&V. It explores, depicts, and provides examples of diff. Bestandsnummer des Verkäufers 4223588
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Validation and Testing in Software Engineering
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9781591408512
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Validation and Testing in Software Engineering
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9781591408512_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Validation and Testing in Software Engineering
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9781591408512
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification, Validation And Testing in Software Engineering
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 4223754-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification, Validation And Testing in Software Engineering
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 4223754-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification, Validation and Testing in Software Engineering
Print-on-DemandAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 955. Bestandsnummer des Verkäufers C9781591408512
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification, Validation And Testing in Software Engineering
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 4223754
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification, Validation And Testing in Software Engineering
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 4223754
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification, Validation and Testing in Software Engineering
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9781591408512
Anzahl: 1 verfügbar