Achim Brucker - Böcker
Visar alla böcker från författaren Achim Brucker. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 8900 - Lecture Notes in Computer Science
Secure and Trustworthy Service Composition
The Aniketos Approach
Häftad, Engelska, 2014
531 kr
Skickas inom 10-15 vardagar
They provide service developers and providers with a secure service development framework that includes methods, tools, and security services supporting the design-time creation and run-time composition of secure dynamic services, where both the services and the threats are evolving.
Tests and Proofs
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Häftad, Engelska, 2012
556 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.