Web Services and Formal Methods (Lecture Notes in Computer Science / Programming and Software Engineering)

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets

E-Technologies: Innovation in an Open World: 4th International Conference, MCETECH 2009, Ottawa, Canada

Product Description
This volume constitutes the proceedings of the 4th International Conference on E-Technologies, MCETECH 2009, held in Ottawa, Canada, during May 4-6, 2009. The 23 full and 4 short papers included in this volume were carefully reviewed and selected from a total of 42 submissions. They cover topics such as inter-organzational processes, service-oriented architectures, security and trust, middleware infrastructures, open source

and open environments, and applications including eGovernment, eEducation, and eHealth.

Scripted GUI Testing with Ruby (Pragmatic Programmers) By Ian Dees Publisher: Pragmatic Bookshelf Number Of Pages: 192 Publication Date: 2008-08-15 ISBN-10 / ASIN: 1934356182 ISBN-13 / EAN: 9781934356180 Binding: Paperback Scripted GUI Testing with Ruby is a practical, quick-moving tutorial based on real life, and real-world GUI applications. Right out of the gate you’ll start working with code to drive a desktop GUI. You’ll discover the kinds of gotchas and edge cases that don’t exist in simple, toy programs. As you add more tests, you’ll learn how to organize your test code and write lucid examples. The result is a series of “smoke tests” team will run on Continuous Integration servers. Next, we’ll explore a variety of different testing tips and tricks. You’ll employ a series of increasingly random and punishing test monkeys to try to crash programs. Table-driven techniques will show you how to check dozens of different input combinations. See how to use longer acceptance tests (in the form of stories) to represent the way a typical customer would use your program. The book uses examples from Windows, OS X, and cross-platform Java desktop programs as well as Web applications. You’ll develop test scripts in Ruby; you don’t need to be a Ruby expert, but basic comfort with the language will be helpful.