46 resultater (0,23806 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Formal Approaches to Software Testing - Bog af Andreas Ulrich - Paperback

Formal Approaches to Software Testing - Bog af Andreas Ulrich - Paperback

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness..

DKK 582.95
2

Theory and Applications of Satisfiability Testing - Bog af Armando Tacchella & Enrico Giunchiglia - Paperback

Theory and Applications of Satisfiability Testing - Bog af Armando Tacchella & Enrico Giunchiglia - Paperback

This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5-8,2003. SAT 2003followedthe WorkshopsonS- is?ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis?ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the..

DKK 605.95
2

Testing of Communicating Systems - Bog af Rachida Dssouli & Ferhat Khendek - Paperback

Testing of Communicating Systems - Bog af Rachida Dssouli & Ferhat Khendek - Paperback

This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr¿ eal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP. Following the trends initiated at the 16th edition of the conference held in Oxford, UK, the ?rst call for papers issued in summer 2004 called for contri- tions from the general software..

DKK 592.95
2