Verification of Object-oriented Software - The Key Approach - Paperback - 2007

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.
Year of publication: 2007
Pagination: 694 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science