“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.

From the Back Cover

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 CSK’s 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. STAD’s 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.

"About this title" may belong to another edition of this title.

Store Description

Online Handel nur mit Neub�chern

Visit Seller's Storefront

Seller's business information

Moluna GmbH
Engberdingdamm 27, Greven, 48268, Germany

Sale & Shipping Terms

Terms of Sale

Instructions for revocation/
Standard Business Terms and customer information/ data protection declaration

Revocation right for consumers
(A ?consumer? is any natural person who concludes a legal transaction which, to an overwhelming extent, cannot be attributed to either his commercial or independent professional activities.)

Instructions for revocation

Revocation right
You have the right to revoke this contract within one month without specifying any reasons.
The revocation period is one month...

More Information

Shipping Terms

II. Kundeninformationen

Identit�t des Verk�ufers

Moluna GmbH
Engberdingdamm 27
48268 Greven
Deutschland
Telefon: 02571/5698933
E-Mail: abe@moluna.de

Wir sind nicht bereit und nicht verpflichtet, an Streitbeilegungsverfahren vor Verbraucherschlichtungsstellen teilzunehmen.

Informationen zum Zustandekommen des Vertrages

Die technischen Schritte zum Vertragsschluss, der Vertragsschluss selbst und die Korrekturm�glichkeiten erfolgen nach Ma�gabe der Regelungen "Zustandekommen des Vertrages" unserer Allgemeinen Gesch�ftsbedingungen (Teil I.).

Vertragssprache, Vertragstextspeicherung

3.1. Vertragssprache ist deutsch .

3.2. Der vollst�ndige Vertragstext wird von uns nicht gespeichert. Vor Absenden der Bestellung k�nnen die Vertragsdaten �ber die Druckfunktion des Browsers ausgedruckt oder elektronisch gesichert werden. Nach Zugang der Bestellung bei uns werden die Bestelldaten, die gesetzlich vorgeschriebenen Informationen bei Fernabsatzvertr�gen und die Allgemeinen Gesch�ftsbedingungen nochmals per E-Mail an Sie �bersandt.

Wesentliche Merkmale der Ware oder Dienstleistung

Die wesentlichen Merkmale der Ware und/oder Dienstleistung finden sich im jeweiligen Angebot.

Preise und Zahlungsmodalit�ten

5.1. Die in den jeweiligen Angeboten angef�hrten Preise sowie die Versandkosten stellen Gesamtpreise dar. Sie beinhalten alle Preisbestandteile einschlie�lich aller anfallenden Steuern.

5.2. Die anfallenden Versandkosten sind nicht im Kaufpreis enthalten. Sie sind �ber eine entsprechend bezeichnete Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot aufrufbar, werden im Laufe des Bestellvorganges gesondert ausgewiesen und sind von Ihnen zus�tzlich zu tragen, soweit nicht die versandkostenfreie Lieferung zugesagt ist.

5.3. Die Ihnen zur Verf�gung stehenden Zahlungsarten sind unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot ausgewiesen.

5.4. Soweit bei den einzelnen Zahlungsarten nicht anders angegeben, sind die Zahlungsanspr�che aus dem geschlossenen Vertrag sofort zur Zahlung f�llig.

Lieferbedingungen

6.1. Die Lieferbedingungen, der Liefertermin sowie gegebenenfalls bestehende Lieferbeschr�nkungen finden sich unter einer entsprechend bezeichneten Schaltfl�che auf unserer Internetpr�senz oder im jeweiligen Angebot.

Soweit im jeweiligen Angebot oder unter der entsprechend bezeichneten Schaltfl�che keine andere Frist angegeben ist, erfolgt die Lieferung der Ware innerhalb von 3-5 Tagen nach Vertragsschluss (bei vereinbarter Vorauszahlung jedoch erst nach dem Zeitpunkt Ihrer Zahlungsanweisung).

6.2. Soweit Sie Verbraucher sind ist gesetzlich geregelt, dass die Gefahr des zuf�lligen Untergangs und der zuf�lligen Verschlechterung der verkauften Sache w�hrend der Versendung erst mit der �bergabe der Ware an Sie �bergeht, unabh�ngig davon, ob die Versendung versichert oder unversichert erfolgt. Dies gilt nicht, wenn Sie eigenst�ndig ein nicht vom Unternehmer benanntes Transportunternehmen oder eine sonst zur Ausf�hrung der Versendung bestimmte Person beauftragt haben.

Sind Sie Unternehmer, erfolgt die Lieferung und Versendung auf Ihre Gefahr.

Gesetzliches M�ngelhaftungsrecht

Die M�ngelhaftung richtet sich nach der Regelung "Gew�hrleistung" in unseren Allgemeinen Gesch�ftsbedingungen (Teil I).

letzte Aktualisierung: 23.10.2019

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	16 to 45 business days	16 to 45 business days
First item	US$ 55.73	US$ 55.73

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.