Software Abstractions: Logic, Language, And Analysis

By Daniel Jackson and Daniel Jackson

Book Overview

'Software Abstraction' introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This text introduces the key elements of the approach - which Jackson calls 'lightweight formal methods' or 'agile modelling'.

• Format: Hardcover
• Language: English
• ISBN: 0262101149
• ISBN13: 9780262101141
• Release Date: January 2006
• Publisher: Mit Pr
• Length: 350 Pages
• Weight: 1.38 lbs.
• Dimensions: 9.3" x 1.0" x 6.3"