ISBN 9783540689775,Verification of Object-oriented Software

Verification of Object-oriented Software

Rs8555

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