soapUI, is the world leading Open Source Functional Testing tool for Web Service Testing. It supports multiple protocols such as SOAP, REST, HTTP, JMS, AMF and JDBC. soapUI is from eviware, the Open Source TestWare Company.
Metro is a high-performance, extensible, easy-to-use web service stack. It is a one-stop shop for all your web service needs, from the simplest hello world web service to reliable, secured, and transacted web service that involves .NET services.
Find answers to frequently asked questions (FAQ) on the future of SAP NetWeaver Business Intelligence in the light of the NetWeaver BI & Business Objects Roadmap.
ProofWeb is a system for practising natural deduction on the computer based on the Coq proof assistant and runs in browser. ProofWeb one runs logic exercises on a web server. ProofWeb comes with a database of basic logic exercises that are graded according to difficulty. The ProofWeb system automatically grades the exercises of the students. user talks to the Coq system on the server without any translation. There just are a few additional tactics to make Coq's behavior follow the logic textbooks. This means that in ProofWeb the full power of Coq is available, even to beginner students. On the other hand ProofWeb tries hard to present deductions exactly the way they look in the textbooks. In particular ProofWeb exactly follows the conventions of a well-known logic textbook Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan.
S. Zerr, S. Siersdorfer, J. Hare, and E. Demidova. Proceedings of the 35th international ACM SIGIR conference on Research and development in information retrieval, page 35--44. New York, NY, USA, ACM, (2012)