. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 57.03 EUR, größter Preis: 109.20 EUR, Mittelwert: 72.32 EUR
Software Verification and Analysis - Janusz Laski
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Janusz Laski:

Software Verification and Analysis - Taschenbuch

ISBN: 9781848822399

ID: 9781848822399

An Integrated, Hands-On Approach `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. Software Verification and Analysis: `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. EDV / Theorie / Software-Entw. / Testmethoden, Springer-Verlag Gmbh

Neues Buch Rheinberg-Buch.de
Taschenbuch, Englisch, Neuware Versandkosten:Ab 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, 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

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, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Software Verification and Analysis: An Integrated, Hands-On Approach - Laski, Janusz / Stanley, William
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Laski, Janusz / Stanley, William:
Software Verification and Analysis: An Integrated, Hands-On Approach - gebrauchtes Buch

ISBN: 9781848822399

ID: 7531032

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, STADa (TM)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. Software Verification and Analysis: An Integrated, Hands-On Approach Laski, Janusz / Stanley, William, Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten: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 - 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., [SC: 6.00], Neuware, gewerbliches Angebot, 242x167x28 mm, [GW: 509g]

Neues Buch Booklooker.de
Sellonnet GmbH
Versandkosten:Versand nach Österreich (EUR 6.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: 1848822391

ID: 1848822391

Neues Buch English-Book-Service
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Software Verification and Analysis
Autor:

Laski, Janusz; Stanley, William

Titel:

Software Verification and Analysis

ISBN-Nummer:

1848822391

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 09.11.2016 06:12:45
ISBN/EAN: 1848822391

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher