Feedback

X
Specification and verification of object-oriented software components

Specification and verification of object-oriented software components

de

0 Ungluers have Faved this Work
This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

This book is included in DOAB.

Why read this book? Have your say.

You must be logged in to comment.

Rights Information

Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.

Downloads

This work has been downloaded 50 times via unglue.it ebook links.
  1. 50 - pdf (CC BY-NC-ND) at Unglue.it.

Keywords

  • components
  • context specification
  • deductive verification
  • Encapsulation
  • formal specification
  • Formale Spezifikationstechnik
  • Komponente <Software>
  • Korrektheit
  • modular proofs
  • object-orientation
  • Objektorientierte Programmiersprache
  • Programmverifikation
  • proof obligations

Links

DOI: 10.5445/KSP/1000004542

Editions

edition cover

Share

Copy/paste this into your site: