ISBN 9783540689775,Verification of Object-oriented Software

Verification of Object-oriented Software

Rs8912

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540689775
Check delivery information
 
ISBN 9783540689775
Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540689775

ISBN-10 354068977X
Binding

Paperback

Number of Pages 694 Pages
Subject

Object-oriented programming (OOP)

The 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. This work emphasizes on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation.
Scroll