Verification, validation and testing in software engineering

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.

Saved in:
Bibliographic Details
Other Authors: Dasso, Aristides, 1943-, Funes, Ana, 1964-
Format: eBook
Language: English
Published: Hershey, PA : Idea Group Pub., ©2007.
Subjects:
Computer software > Validation.
Computer software > Verification.
Computer software > Testing.
elektronické knihy
electronic books
ISBN: 1591408539
9781591408536
9781621989479
162198947X
1591408520
9781591408529
9781591408512
1591408512
Physical Description: 1 online resource (xi, 428 pages) : illustrations

Cover

Table of contents

LEADER 04321cam a22004574a 4500
001 kn-ocm74824720
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
008 061102s2007 paua ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d YDXCP  |d OCLCG  |d OCLCQ  |d IDEBK  |d OCLCQ  |d UAB  |d CAI  |d U6C  |d HS0  |d E7B  |d OKU  |d OCLCQ  |d B24X7  |d OCLCQ  |d KNOVL  |d OCLCF  |d KNOVL  |d OCLCQ  |d Z5A  |d PIFAG  |d LIV  |d OCLCQ  |d VT2  |d WY@  |d LUE  |d RCC  |d OCLCQ  |d OL$  |d UKAHL  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
020 |a 1591408539  |q (electronic bk.) 
020 |a 9781591408536  |q (electronic bk.) 
020 |a 9781621989479  |q (electronic bk.) 
020 |a 162198947X  |q (electronic bk.) 
020 |z 1591408520 
020 |z 9781591408529 
020 |z 9781591408512 
020 |z 1591408512 
035 |a (OCoLC)74824720  |z (OCoLC)182738824  |z (OCoLC)276799485  |z (OCoLC)399728900  |z (OCoLC)518429141  |z (OCoLC)647559544  |z (OCoLC)991949711  |z (OCoLC)1005827635  |z (OCoLC)1102538951 
245 0 0 |a Verification, validation and testing in software engineering /  |c Aristides Dasso, Ana Funes [editors]. 
260 |a Hershey, PA :  |b Idea Group Pub.,  |c ©2007. 
300 |a 1 online resource (xi, 428 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
520 |a "This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher. 
505 0 |a Fault-based testing / Marisa Analia Sanchez -- Validation and verification of software systems using virtual reality and coloured petri nets / Hyggo Oliveira de Almeida, Leandro Silva, Glauber Ferreira, Emerson Loureiro and Angelo Pekusich -- Integrating usability, semiotic, and software engineering into a method for evaluating user interfaces / Kenia Sousa, Albert Schilling and Elizabeth Furtado -- Automated software testing / Paula Donegan, Liane Bandeira, Cristina Matos, Paula Luciana da Cunha and Camila Maia -- A formal verification and validation approach for real-time databases / Pedro Fernandes Ribeiro Neto, Maria Ligia Barbosa Perkusich, Hyggo Oliveira de Almeida and Angelo Perkusich -- Requirements for the testable specifications and test case derivation in conformance testing / Tanja Toroi and Anne Eerola -- Test-case mutation / Macario Polo and Mario Piattini -- Discrete event simulation process validation, verification, and testing / Evon M.O. Abu-Taieh and Asim Abdel Rahman El Sheikh -- The STECC framework: an architecture for self-testable components / Sami Beydeda -- Certifying properties of programs using theorem provers / J. Santiago Jorge, Victor M. Gulias and David Cabrero -- Static type systems: from specification to implementation / Pablo E. Martinez Lopez -- Generic model of the business model and its formalization in object-Z / Marcela Daniele, Paola Martellotto and Gabriel Baum -- Efficient software quality assurance approaches oriented to UML models in real life / Luis Fernandez, Pedro J. Lara and Juan Jose Cuadrado -- Safecharts model checking for the verification of safety-critical systems / Pao-Ann Hsiung, Yen-Hung Lin and Yean-Ru Chen. 
590 |a Knovel  |b Knovel (All titles) 
650 0 |a Computer software  |x Validation. 
650 0 |a Computer software  |x Verification. 
650 0 |a Computer software  |x Testing. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Dasso, Aristides,  |d 1943-  |1 https://id.oclc.org/worldcat/entity/E39PCjvxtpYQGB8RKk73yMJftq 
700 1 |a Funes, Ana,  |d 1964-  |1 https://id.oclc.org/worldcat/entity/E39PCjqKxm8HMrwjGDctcxQYrq 
776 0 8 |i Print version:  |t Verification, validation and testing in software engineering.  |d Hershey, PA : Idea Group Pub., ©2007  |z 1591408512  |z 1591408520  |w (DLC) 2006013530  |w (OCoLC)67840181 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpVVTSE001/verification-validation-and?kpromoter=marc  |y Full text 

Similar Items