Validation and Verification of Formal Specifications in Object-Oriented Software Engineering

By Steven A. Thomson

Book Overview

The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1249834279
• ISBN13: 9781249834274
• Release Date: October 2012
• Publisher: Biblioscholar
• Length: 212 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.5" x 7.4" x 9.7"