Nicht lieferbar
Andere Kunden interessierten sich auch für
![Simulator Designing Based On Object Oriented Methodologies]( "Simulator Designing Based On Object Oriented Methodologies")
Simulator Designing Based On Object Oriented Methodologies38,99 €![Algorithmic analysis of Proneness in Object-Oriented Software]( "Algorithmic analysis of Proneness in Object-Oriented Software")
Algorithmic analysis of Proneness in Object-Oriented Software26,99 €![The Essence of C++: A Deep Dive into Object-Oriented Programming]( "The Essence of C++: A Deep Dive into Object-Oriented Programming")
The Essence of C++: A Deep Dive into Object-Oriented Programming29,99 €![Object-Oriented Turing]( "Object-Oriented Turing")
Object-Oriented Turing29,99 €![Water Abstraction]( "Water Abstraction")
Water Abstraction19,99 €![Creative Design Engineering]( "Creative Design Engineering")
Creative Design Engineering50,99 €![Abstraction-Based Genetic Programming]( "Abstraction-Based Genetic Programming")
Abstraction-Based Genetic Programming44,99 €
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.