Software Domain Model Integration Methodology for Formal Specifications

By Joel C. Nonnweiler

Book Overview

Using formal methods to create automatic code generation systems is one of the goals of Knowledge Based Software Engineering (KBSE) groups. The research of the Air Force Institute of Technology KBSE... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1286863066
• ISBN13: 9781286863060
• Release Date: October 2012
• Publisher: Biblioscholar
• Length: 180 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.4" x 7.4" x 9.7"