The following text field will produce suggestions that follow it as you type.

Loading Inventory...

Barnes and Noble

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / Edition 1

Current price: $54.99
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / Edition 1
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / Edition 1

Barnes and Noble

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / Edition 1

Current price: $54.99
Loading Inventory...

Size: OS

Visit retailer's website
*Product Information may vary - to confirm product availability, pricing, and additional information please contact Barnes and Noble
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 different testing phases can also benefit from them to ease the p- duction and application of effective and efficient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in affliation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 different countries were selected for presentation at the workshop.

More About Barnes and Noble at MarketFair Shoppes

Barnes & Noble does business -- big business -- by the book. As the #1 bookseller in the US, it operates about 720 Barnes & Noble superstores (selling books, music, movies, and gifts) throughout all 50 US states and Washington, DC. The stores are typically 10,000 to 60,000 sq. ft. and stock between 60,000 and 200,000 book titles. Many of its locations contain Starbucks cafes, as well as music departments that carry more than 30,000 titles.

Powered by Adeptmind