. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 1848822391 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 61,49 €, größter Preis: 85,41 €, Mittelwert: 71,14 €
Software Verification and Analysis - Janusz Laski#William Stanley
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Janusz Laski#William Stanley:
Software Verification and Analysis - neues Buch

ISBN: 9781848822399

ID: 7f570cea04283b9683118535e7c3f5de

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. 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 authors 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 softwares 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. Bücher / Fremdsprachige Bücher / Englische Bücher 978-1-84882-239-9, Springer

Neues Buch Buch.de
Nr. 16098369 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Software Verification and Analysis - Janusz Laski
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Janusz Laski:
Software Verification and Analysis - Taschenbuch

ISBN: 9781848822399

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], 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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 242x167x28 mm, 234, [GW: 509g], Banküberweisung, PayPal

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Software Verification and Analysis - Laski, Janusz; Stanley, William
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Laski, Janusz; Stanley, William:
Software Verification and Analysis - neues Buch

ISBN: 9781848822399

ID: 437876

Emphasis is given to the integration of the most important aspects of software verification program proving, static analysis and testing in one book Provides tool support for each of the verification techniques Offers readers the ability to test his own static analysis ideas using STAD 4.0 Presents novel and not generally know data testing techniques supported by the testing tool Focuses on the practical applications Computers Computers eBook, Springer London

Neues Buch Ebooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Laski, Janusz;Stanley, William: Software Verification and Analysis
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Laski, Janusz;Stanley, William: Software Verification and Analysis - neues Buch

2009, ISBN: 9781848822399

ID: 30899003

An Integrated, Hands-On Approach. Auflage 2009 An Integrated, Hands-On Approach. Auflage 2009 Bücher > English, International > Gebundene Ausgaben

Neues Buch eBook.de
No. 7854043 Versandkosten:zzgl., Versandkosten, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Software Verification and Analysis - Janusz Laski; William Stanley
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Janusz Laski; William Stanley:
Software Verification and Analysis - neues Buch

2009, ISBN: 9781848822399

ID: 9625096

Media-Kombination, Sonstige Produkte, [PU: Springer London Ltd]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Software Verification and Analysis

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging). Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification. Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD's handling of the concepts is illustrated. Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.

Detailangaben zum Buch - Software Verification and Analysis


EAN (ISBN-13): 9781848822399
ISBN (ISBN-10): 1848822391
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer-Verlag GmbH
234 Seiten
Gewicht: 0,509 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 27.07.2008 01:01:13
Buch zuletzt gefunden am 28.09.2017 11:27:35
ISBN/EAN: 1848822391

ISBN - alternative Schreibweisen:
1-84882-239-1, 978-1-84882-239-9


< zum Archiv...
Benachbarte Bücher