Vor Ort
Merkzettel Warenkorb
  • Produktbild: Verification of Object-Oriented Software. The KeY Approach
  • Produktbild: Verification of Object-Oriented Software. The KeY Approach
Band 4334 - 13%

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

Aus der Reihe Lecture Notes in Computer Science
13% sparen

92,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2007

Abbildungen

XXIX, 658 p.

Herausgeber

Bernhard Beckert + weitere

Verlag

Springer Berlin

Seitenzahl

658

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1031 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-68977-5

Beschreibung

Rezension

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)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2007

Abbildungen

XXIX, 658 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

658

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1031 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-68977-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Verification of Object-Oriented Software. The KeY Approach
  • Produktbild: Verification of Object-Oriented Software. The KeY Approach
  • A New Look at Formal Methods for Software Construction.- A New Look at Formal Methods for Software Construction.- I: Foundations.- First-Order Logic.- Dynamic Logic.- Construction of Proofs.- II: Expressing and Formalising Requirements.- Formal Specification.- Pattern-Driven Formal Specification.- Natural Language Specifications.- Proof Obligations.- From Sequential Java to Java Card.- III: Using the KeY System.- Using KeY.- Proving by Induction.- Java Integers.- Proof Reuse.- IV: Case Studies.- The Demoney Case Study.- The Schorr-Waite-Algorithm.- Appendices.- Predefined Operators in Java Card DL.- The KeY Syntax.