Software Abstractions, revised edition

Software Abstractions, revised edition
Author :
Publisher : MIT Press
Total Pages : 373
Release :
ISBN-10 : 9780262528900
ISBN-13 : 0262528908
Rating : 4/5 (908 Downloads)

Book Synopsis Software Abstractions, revised edition by : Daniel Jackson

Download or read book Software Abstractions, revised edition written by Daniel Jackson and published by MIT Press. This book was released on 2016-02-12 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software Abstractions Daniel Jackson introduces an 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. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.


Software Abstractions, revised edition Related Books