|
|
|
|
| LEADER |
04079nam a2200481 a 4500 |
| 001 |
29398 |
| 003 |
IGIG |
| 005 |
20100824171802.0 |
| 006 |
m e d |
| 007 |
cr bn||||m|||a |
| 008 |
100730s2007 paua fsb 001 0 eng d |
| 010 |
# |
# |
|z 2006013530
|
| 020 |
# |
# |
|a 1591408539 (ebook)
|
| 020 |
# |
# |
|a 9781591408536 (ebook)
|
| 020 |
# |
# |
|z 1591408512 (hardcover)
|
| 020 |
# |
# |
|z 9781591408512 (hardcover)
|
| 020 |
# |
# |
|z 1591408520 (pbk.)
|
| 020 |
# |
# |
|z 9781591408529 (pbk.)
|
| 024 |
7 |
# |
|a 10.4018/978-1-59140-851-2
|2 doi
|
| 035 |
# |
# |
|a (CaBNVSL)gtp00543111
|
| 035 |
# |
# |
|a (OCoLC)707617532
|
| 040 |
# |
# |
|a CaBNVSL
|c CaBNVSL
|d CaBNVSL
|
| 050 |
# |
4 |
|a QA76.76.V47
|b V488 2007e
|
| 082 |
0 |
4 |
|a 005.14
|2 22
|
| 245 |
0 |
0 |
|a Verification, validation and testing in software engineering
|c Aristides Dasso, Ana Funes [editors].
|h [electronic resource] /
|
| 260 |
# |
# |
|a Hershey, Pa. :
|b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
|c c2007.
|
| 300 |
# |
# |
|a electronic texts (xi, 428 p. : ill.) :
|b digital files.
|
| 504 |
# |
# |
|a Includes bibliographical references and index.
|
| 505 |
0 |
# |
|a Fault-Based Testing / Marisa Analía Sánchez -- Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets / Hyggo Oliveira de Almeida ... [et al.] -- Integrating Usability, Semiotic, and Software Engineering into a Method for Evaluating User Interfaces / Kenia Sousa, Albert Schilling, Elizabeth Furtado -- Automated Software Testing / Paula Donegan ... [et al.] -- A Formal Verification and Validation Approach for Real-Time Databases / Pedro Fernandes Ribeiro Neto ... [et al.] -- Requirements for the Testable Specifications and Test Case Derivation in Conformance Testing / Tanja Toroi, Anne Eerola -- Test-Case Mutation / Macario Polo, Mario Piattini -- Discrete Event Simulation Process Validation, Verification, and Testing / Evon M. O. Abu-Taieh, 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, Víctor M. Gulías, David Cabrero -- Static Type Systems: From Specification to Implementation / Pablo E. Martínez López -- Generic Model of the Business Model and Its Formalization in Object-Z / Marcela Daniele, Paola Martellotto, Gabriel Baum -- Efficient Software Quality Assurance Approaches Oriented to UML Models in Real Life / Luis Fernández, Pedro J. Lara, Juan José Cuadrado -- Safecharts Model Checking for the Verification of Safety-Critical Systems / Pao-Ann Hsiung, Yen-Hung Lin, Yean-Ru Chen.
|
| 506 |
# |
# |
|a Restricted to subscribers or individual electronic text purchasers.
|
| 520 |
3 |
# |
|a 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. This book 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.
|
| 530 |
# |
# |
|a Also available in print.
|
| 538 |
# |
# |
|a Mode of access: World Wide Web.
|
| 588 |
# |
# |
|a Title from PDF t.p. (viewed on July 26, 2010).
|
| 650 |
# |
0 |
|a Computer software
|x Validation.
|
| 650 |
# |
0 |
|a Computer software
|x Verification.
|
| 650 |
# |
0 |
|a Computer software
|x Testing.
|
| 700 |
1 |
# |
|a Dasso, Aristides,
|d 1943-
|
| 700 |
1 |
# |
|a Funes, Ana,
|d 1964-
|
| 710 |
2 |
# |
|a IGI Global.
|
| 776 |
0 |
# |
|c (Original)
|w (DLC) 2006013530
|z 9781591408512
|z 1591408512
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-851-2
|z View fulltext via EzAccess
|