Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Formal Approaches to Software Testing - Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Paperback, 2004 ed.)
Loot Price: R1,647
Discovery Miles 16 470
|
|
Formal Approaches to Software Testing - Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Paperback, 2004 ed.)
Series: Lecture Notes in Computer Science, 2931
Expected to ship within 10 - 15 working days
|
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 (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 a?liation 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 di?erent
countries were selected for presentation at the workshop.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 2931 |
Release date: |
2004 |
First published: |
2004 |
Editors: |
Andreas Ulrich
|
Dimensions: |
233 x 155 x 14mm (L x W x T) |
Format: |
Paperback
|
Pages: |
268 |
Edition: |
2004 ed. |
ISBN-13: |
978-3-540-20894-5 |
Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
LSN: |
3-540-20894-1 |
Barcode: |
9783540208945 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.