UWI BOOKSHOP » Faculty of Pure and Applied Sciences » Computer Science » CS0011 » SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE AND ALALYSIS
Model: CS0011
ISBN: 9780262101141
Authors: DANIEL, J.
Publishers: MCGRAW-HILL INC.
Price: $3,000.00JMD
Stock low, in-store purchases only!
This product was added to our catalog on Monday 03 October, 2011.
Reviews
In Software Abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback.