Software Abstractions Logic, Language, and Analysis

Name: Software Abstractions Logic, Language, and Analysis
Price: 31.61 USD
Availability: InStock
ISBN: 9780262017152

ISBN-10: 0262017156

ISBN-13: 9780262017152

Edition: 2nd 2011 (Revised)

Authors: Daniel Jackson

List price: $47.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $31.61

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.…

Book details

List price: $47.00
Edition: 2nd
Copyright year: 2011
Publisher: MIT Press
Publication date: 11/4/2011
Binding: Hardcover
Pages: 376
Size: 6.25" wide x 9.00" long x 0.75" tall
Weight: 1.386
Language: English

Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.