Download E-books Specification and Verification of Object-Oriented Software Components PDF

By Andreas Roth

This paintings provides a versatile technique for officially specifying and deductively verifying object-oriented parts. it's according to an easy concept of application correctness. Correctness should be accomplished with a unique process of facts tasks, which function enter to an appropriate theorem prover.

Show description

Read Online or Download Specification and Verification of Object-Oriented Software Components PDF

Similar Applied Mathematicsematics books

Figures of Thought: Mathematics and Mathematical Texts

Not often has the background or philosophy of arithmetic been written approximately by way of mathematicians, and the research of mathematical texts themselves has been a space nearly totally unexplored. Figures of inspiration appears to be like at ways that mathematical works should be learn as texts, examines their textual innovations and demonstrates that such readings supply a wealthy resource of philosophical matters concerning arithmetic: concerns which conventional techniques to the background and philosophy of arithmetic have missed.

Perspectives in Mathematical System Theory, Control, and Signal Processing: A Festschrift in Honor of Yutaka Yamamoto on the Occasion of his 60th Birthday

This Festschrift, released at the party of the 60th birthday of Yutaka - mamoto (‘YY’ as he's sometimes casually referred to), encompasses a choice of articles by way of buddies, colleagues, and previous Ph. D. scholars of YY. they seem to be a tribute to his friendship and his scienti? c imaginative and prescient and oeuvre, which has been a resource of suggestion to the authors.

Additional info for Specification and Verification of Object-Oriented Software Components

Show sample text content

Rated 4.56 of 5 – based on 38 votes