Verwandte Artikel zu Verification of Object-Oriented Software: The KeY Approach:...
Verification of Object-Oriented Software: The KeY Approach: Foreword by K. Rustan M. Leino: 4334 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
From the reviews:
"This book is a collection of work by different authors on software verification. The context of the book is the key project, which aims to build a verification of the systems based on model checking. The book features the widely used specification languages: object constraint language (OCL) and Java modeling language (JML). ... this book is a good resource for graduate students and researchers ... ." (S. Balaraman, Computing Reviews, December, 2007)
Reseña del editor
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 96,09
EUR 7,65 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Verification of Object-Oriented Software: The KeY Approach:...
Foto des Verkäufers
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334).
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
2007th ed. 15 x 23 cm. 687 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Bestandsnummer des Verkäufers 8318VB
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Anbieter: Moe's Books, Berkeley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Soft Cover. Zustand: Very Good. No Jacket. Bestandsnummer des Verkäufers 1110412
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783540689775
Anzahl: 2 verfügbar
Foto des Verkäufers
Verification of Object-Oriented Software : The Key Approach
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5928120-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Verification of Object-Oriented Software. The KeY Approach (Paperback)
ISBN 10: 354068977X
ISBN 13: 9783540689775
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. The material is presented on an advanced level suitable for graduate courses and, of course, active researchers with an interest in verification. The underlying verification paradigm is deductive verification in an expressive program logic. The logic used for reasoning about programs is not a minimalist version suitable for theoretical investigations, but an industrial-strength version. The first-order part is equipped with a type system for modelling of object hierarchies, with underspecification, and with various built-in theories. The program logic covers full Java Card (plus a bit more such as multi-dimensional arrays, characters, and long integers).A lot of emphasis is thereby put on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation.The generation of proof obligations from specified code is discussed at length. The book is rounded off by two substantial case studies that are included and presented in detail. The goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. This work emphasizes on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783540689775
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020175031
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification of Object-Oriented Software : The Key Approach
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 5928120
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540689775_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540689775
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification of Object-Oriented Software. The KeY Approach
Verlag:
Springer Berlin Heidelberg Jan 2007, 2007
ISBN 10: 354068977X
ISBN 13: 9783540689775
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. 692 pp. Englisch. Bestandsnummer des Verkäufers 9783540689775
Anzahl: 2 verfügbar