Artículos relacionados a Software Verification and Analysis: An Integrated,...
Book by Laski Janusz Stanley William
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas:
Reseña del editor:
From the reviews:
"Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. ... It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high." (M. Ivanovic, ACM Computing Reviews, June, 2009)
“Software verification and validation are conducted to help ensure that programs perform correctly. ... While this book’s subtitle indicates a ‘hands-on approach,’ it really takes a formal mathematical approach to describing software verification. ... The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals.” (H. J. Bender, Choice, Vol. 47 (3), November, 2009)This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2010
- ISBN 10 1849968292
- ISBN 13 9781849968294
- EncuadernaciónTapa blanda
- Número de páginas244
Comprar nuevo
Ver este artículo
EUR 52,80
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Software Verification and Analysis: An Integrated, Hands-On Approach by Laski, Janusz [Paperback ]
Publicado por
Springer
(2010)
ISBN 10: 1849968292
ISBN 13: 9781849968294
Nuevo
Soft Cover
Cantidad disponible: 1
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9781849968294
Comprar nuevo
EUR 52,80
Convertir moneda
Imagen de archivo
Software Verification and Analysis: An Integrated, Hands-On Approach
Publicado por
Springer
(2010)
ISBN 10: 1849968292
ISBN 13: 9781849968294
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar2912160255111
Comprar nuevo
EUR 56,29
Convertir moneda
Imagen del vendedor
Software Verification and Analysis
Publicado por
Springer London Okt 2010
(2010)
ISBN 10: 1849968292
ISBN 13: 9781849968294
Nuevo
Taschenbuch
Cantidad disponible: 2
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 244 pp. Englisch. Nº de ref. del artículo: 9781849968294
Comprar nuevo
EUR 53,49
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Software Verification and Analysis : An Integrated; Hands-On Approach
Publicado por
Springer
(2010)
ISBN 10: 1849968292
ISBN 13: 9781849968294
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9781849968294_lsuk
Comprar nuevo
EUR 72,32
Convertir moneda
Gastos de envío:
EUR 11,59
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Software Verification and Analysis : An Integrated, Hands-On Approach
Publicado por
Springer 2010-10
(2010)
ISBN 10: 1849968292
ISBN 13: 9781849968294
Nuevo
PF
Cantidad disponible: 10
Librería:
Valoración
Descripción PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9781849968294
Comprar nuevo
EUR 67,37
Convertir moneda
Gastos de envío:
EUR 17,42
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Software Verification and Analysis : An Integrated, Hands-On Approach
Publicado por
Springer London
(2010)
ISBN 10: 1849968292
ISBN 13: 9781849968294
Nuevo
Taschenbuch
Cantidad disponible: 1
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - '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: 9781849968294
Comprar nuevo
EUR 56,45
Convertir moneda
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Software Verification and Analysis
Publicado por
Springer London
(2010)
ISBN 10: 1849968292
ISBN 13: 9781849968294
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 4288900
Comprar nuevo
EUR 47,23
Convertir moneda
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío