InhaltsangabeFrom the Contents: Validation of the software supporting information security and business continuity management processes.-A functional testing toolset and its application to development of dependable avionics software.-Specification Means Definition for the Common Criteria Compliant Development Process - an Ontological Approach.-Real-Time Gastrointestinal Tract Video Analysis on a Cluster Supercomputer.-Detection of anomalies in a SOA system by learning algorithms.-Service availability model to support reconfiguration.-On some statistical aspects of software testing and reliability.-Generalizing the signature to systems with multiple types of components.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg