Verification of Object-oriented Software
Author | : |
Publisher | : |
Total Pages | : |
Release | : 2006 |
Genre | : Computer software |
ISBN | : |
Download Verification of Object-oriented Software Book in PDF, ePub and Kindle
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Verification Of Object Oriented Software The Key Approach PDF full book. Access full book title Verification Of Object Oriented Software The Key Approach.
Author | : |
Publisher | : |
Total Pages | : |
Release | : 2006 |
Genre | : Computer software |
ISBN | : |
Author | : Bernhard Beckert |
Publisher | : Springer Science & Business Media |
Total Pages | : 669 |
Release | : 2007-01-03 |
Genre | : Computers |
ISBN | : 354068977X |
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.
Author | : Bernhard Beckert |
Publisher | : Springer |
Total Pages | : 658 |
Release | : 2009-09-02 |
Genre | : Computers |
ISBN | : 9783540834335 |
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.
Author | : Bernhard Beckert |
Publisher | : Springer |
Total Pages | : 259 |
Release | : 2012-07-11 |
Genre | : Computers |
ISBN | : 3642317626 |
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.
Author | : Bernhard Beckert |
Publisher | : Springer Science & Business Media |
Total Pages | : 207 |
Release | : 2011-01-14 |
Genre | : Computers |
ISBN | : 3642180698 |
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.
Author | : |
Publisher | : |
Total Pages | : 13 |
Release | : 2000 |
Genre | : |
ISBN | : |
Author | : Bernhard Beckert |
Publisher | : Springer |
Total Pages | : 207 |
Release | : 2011-01-18 |
Genre | : Computers |
ISBN | : 3642180701 |
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.
Author | : Benjamin Weiß |
Publisher | : KIT Scientific Publishing |
Total Pages | : 294 |
Release | : 2014-08-18 |
Genre | : Computers |
ISBN | : 3866446233 |
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
Author | : Imran Bashir |
Publisher | : Springer Science & Business Media |
Total Pages | : 226 |
Release | : 2012-12-06 |
Genre | : Computers |
ISBN | : 1461215269 |
Addressing various aspects of object-oriented software techniques with respect to their impact on testing, this text argues that the testing of object-oriented software is not restricted to a single phase of software development. The book concentrates heavily on the testing of classes and of components or sub-systems, and a major part is devoted to this subject. C++ is used throughout this book that is intended for software practitioners, managers, researchers, students, or anyone interested in object-oriented technology and its impacts throughout the software engineering life-cycle.
Author | : Marcello M. Bonsangue |
Publisher | : Springer |
Total Pages | : 317 |
Release | : 2007-06-27 |
Genre | : Computers |
ISBN | : 3540729526 |
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.