Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540690610 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 80,20 €, größter Preis: 118,99 €, Mittelwert: 106,47 €
Verification of Object-Oriented Software. The KeY Approach - Bernhard Beckert
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bernhard Beckert:
Verification of Object-Oriented Software. The KeY Approach - neues Buch

ISBN: 9783540690610

ID: 9783540690610

Foreword by K. Rustan M. Leino Long gone are the days when program veri cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di erent c- trol ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand. Verification of Object-Oriented Software. The KeY Approach: Long gone are the days when program veri cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di erent c- trol ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand. AI logics deductive verification formal methods formal reasoning Java Java Card JML logic reasoning natural language generation object-oriented software OCL program verification proof obligations software security specification languages sy, Springer Berlin

Neues Buch Rheinberg-Buch.de
Ebook, 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.
Verification of Object-Oriented Software. The KeY Approach
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Verification of Object-Oriented Software. The KeY Approach - neues Buch

ISBN: 9783540690610

ID: 9783540690610

Foreword by K. Rustan M. Leino 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. Verification of Object-Oriented Software. The KeY Approach: 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., Springer Berlin

Neues Buch Rheinberg-Buch.de
Ebook, Englisch, Neuware Versandkosten:Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino - Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.:
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino - signiertes Exemplar

2007, ISBN: 3540690611

ID: 9783540690610

In englischer Sprache. Verlag: Springer Berlin, Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di?erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand. PC-PDF, 658 Seiten, XXIX Seiten, 658 Seiten, [GR: 9635 - Nonbooks, PBS / Informatik, EDV/Anwendungs-Software], [SW: - Unternehmensanwendungen], [Ausgabe: 2007][PU:Springer Berlin], [PU: Springer, Berlin/Heidelberg]

Neues Buch Libreka.de
Libreka
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Verification of Object-Oriented Software. The KeY Approach - Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt:
Verification of Object-Oriented Software. The KeY Approach - neues Buch

ISBN: 9783540690610

ID: 9783540690610

Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering AI logics, JML, Java, Java Card, OCL, deductive verification, formal methods, formal reasoning, logic reasoning, natural language generation, object-oriented software, program verification, proof obligations, software security, specification languages, systems modeling, theorem proving Books eBook, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Verification of Object-Oriented Software. The KeY Approach - Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt:
Verification of Object-Oriented Software. The KeY Approach - neues Buch

2007, ISBN: 9783540690610

ID: 21813388

Foreword by K. Rustan M. Leino, [ED: 2007], eBook Download (PDF), eBooks, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Download 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

Detailangaben zum Buch - Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino


EAN (ISBN-13): 9783540690610
ISBN (ISBN-10): 3540690611
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin
29 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 17.01.2010 22:25:45
Buch zuletzt gefunden am 26.10.2017 16:59:38
ISBN/EAN: 9783540690610

ISBN - alternative Schreibweisen:
3-540-69061-1, 978-3-540-69061-0


< zum Archiv...
Benachbarte Bücher