Imagen del editor
333 pages. 9.50x6.50x1.00 inches. In Stock. N° de ref. de la librería 1586039768
Reseña del editor: As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction. A vast proportion of information exchange is dominated by computer systems. Due to the fact that technical systems are more or less interfaced with software systems, most information exchange is closely related to software and computer systems. Information safety and security of software systems depend on the quality and excellent understanding of its functioning. The last few years have shown a renewed interest in formally specifying and verifying software and its role in engineering methods. Within the last decade, interactive program verifiers have been applied to control software and other critical applications. Software model checking has made strides into industrial applications and a number of research tools for bug detection have been built using automatic program-verification technology. Such solutions are high-level programming methods which provide strategies to ensure information security in complex software systems by automatically verified correctness. Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides an in-depth presentation of state-of-the-art topics on how to meet such challenges covering both theoretical foundations and industrial practice.
Título: Engineering Methods and Tools for Software ...
Editorial: IOS Press
Año de publicación: 2009
Condición del libro: Brand New
Descripción IOS Press, 2009. Hardcover. Condición: New. Nº de ref. del artículo: DADAX1586039768
Descripción IOS Press, 2009. Condición: New. book. Nº de ref. del artículo: M1586039768
Descripción IOS Press, 2009. Hardcover. Condición: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. May include supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Nº de ref. del artículo: mon0001270426
Descripción IOS Press, 2009. Hardcover. Condición: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Nº de ref. del artículo: 1586039768