.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Verification of Object-oriented Software
Bernhard Beckert
€ 131.70
FREE Delivery in Ireland
Description for Verification of Object-oriented Software
Paperback. 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. Series: Lecture Notes in Computer Science. Num Pages: 687 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational. Dimension: 233 x 166 x 34. Weight in Grams: 1008.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
687
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
658
Place of Publication
Berlin, Germany
ISBN
9783540689775
SKU
V9783540689775
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Verification of Object-oriented Software
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). ... Read more