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.
Read Online or Download Specification and Verification of Object-Oriented Software Components PDF
Similar Applied Mathematicsematics books
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.
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