Software Verification and Analysis: An Integrated, Hands-On Approach
Laski, Janusz, Stanley, William
ISBN 10: 1848822391 ISBN 13: 9781848822399
Editorial: Springer, 2009
Usado
Hardcover
Librería:
Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Vendedor de AbeBooks desde 15 de abril de 2021
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
Like New. N° de ref. del artículo ERICA77518488223916
Sinopsis:
"The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of "gu- anteed" solutions to the problem notwithstanding. Therefore, the rather awkward phrase "improving correctness" is to be understood as an effort to minimize the number of residual programming faults ("bugs") and their impact on the software’s behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) "How to do it right," I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.
De la contraportada:
This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models, are discussed:
Correctness by construction, using the Vienna Development Method-Specification Language (VDM-SL) and its supporting CSKs Toolbox.
Static program analysis supported by the PRAXIS SPARK toolset and SofTools System for Testing And Debugging (STAD 4.0).
Program proving supported by SPARK.
Dynamic program analysis supported by STAD.
VDM-SL Toolbox and SPARK illustrate, respectively, the correctness by construction and program proving paradigms. The author demonstrates that while both methods are powerful, errors are inevitable and detecting these may be more difficult than in the case of an informally developed program. Consequently, error detection must be an integral part of the entire life cycle of a programming project. Black-Box (specification based) and Structural (code based) testing are covered and supported by STAD (including 5 testing criteria). STAD also features a quite powerful descriptive and proscriptive static analysis.
Software engineers, students and computer scientists will find that the book provides the reader with a comprehensive understanding of software verification issues. STADs outputs allow the user to implement and test their own ideas.
The most recent version of STAD can be downloaded from http://www.stadtools.com.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Software Verification and Analysis: An ...
Editorial: Springer
Año de publicación: 2009
Encuadernación: Hardcover
Condición: Like New
Tipo de libro: book
Los mejores resultados en AbeBooks
Imagen del vendedor
Software Verification and Analysis
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 4286990
Comprar nuevo
EUR 48,74
EUR 48,99 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Software Verification and Analysis: An Integrated, Hands-On Approach
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar2912160250254
Comprar nuevo
EUR 52,28
EUR 3,40 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Verification and Analysis : An Integrated, Hands-On Approach
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5992137-n
Comprar nuevo
EUR 53,45
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Verification and Analysis : An Integrated, Hands-On Approach
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5992137-n
Comprar nuevo
EUR 58,27
EUR 17,22 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Software Verification and Analysis: An Integrated, Hands-On Approach
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781848822399_new
Comprar nuevo
EUR 58,29
EUR 13,75 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Verification and Analysis : An Integrated, Hands-On Approach
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5992137
Comprar usado
EUR 60,85
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Verification and Analysis : An Integrated, Hands-On Approach
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5992137
Comprar usado
EUR 66,10
EUR 17,22 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Verification and Analysis
Publicado por
Springer London Ltd, GB, 2009
ISBN 10: 1848822391
ISBN 13: 9781848822399
Nuevo
Tapa dura
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. 2009 ed. "The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author's firm belief that in the current state of the art that goal is unattainable, a plethora of "gu- anteed" solutions to the problem notwithstanding. Therefore, the rather awkward phrase "improving correctness" is to be understood as an effort to minimize the number of residual programming faults ("bugs") and their impact on the software's behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) "How to do it right," I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development. Nº de ref. del artículo: LU-9781848822399
Comprar nuevo
EUR 68,65
EUR 74,61 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Verification and Analysis
Publicado por
Springer London Ltd, GB, 2009
ISBN 10: 1848822391
ISBN 13: 9781848822399
Nuevo
Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. 2009 ed. "The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author's firm belief that in the current state of the art that goal is unattainable, a plethora of "gu- anteed" solutions to the problem notwithstanding. Therefore, the rather awkward phrase "improving correctness" is to be understood as an effort to minimize the number of residual programming faults ("bugs") and their impact on the software's behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) "How to do it right," I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development. Nº de ref. del artículo: LU-9781848822399
Comprar nuevo
EUR 73,22
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Verification and Analysis : An Integrated, Hands-On Approach
Publicado por
Springer London Apr 2009, 2009
ISBN 10: 1848822391
ISBN 13: 9781848822399
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Neuware - 'The situation is good, but not hopeless' (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author's firm belief that in the current state of the art that goal is unattainable, a plethora of 'gu- anteed' solutions to the problem notwithstanding. Therefore, the rather awkward phrase 'improving correctness' is to be understood as an effort to minimize the number of residual programming faults ('bugs') and their impact on the software's behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching ) 'How to do it right,' I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development. Nº de ref. del artículo: 9781848822399
Comprar nuevo
EUR 86,02
EUR 62,55 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles