{"product_id":"software-abstractions-revised-edition-daniel-jackson-9780262528900","title":"Software Abstractions, revised edition: Logic, Language, and Analysis","description":"\u003cb\u003eAn approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. \u003c\/b\u003e\u003cp\u003eIn \u003ci\u003eSoftware Abstractions \u003c\/i\u003eDaniel 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. \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Daniel Jackson\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0262528908\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780262528900\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/12\/2016\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 376\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.10lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 8.90h x 5.90w x 0.80d","brand":"Daniel Jackson","offers":[{"title":"Paperback","offer_id":43946373742847,"sku":"9780262528900","price":40.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/products\/img_851df110-b2e8-4b1f-bcf2-8ca9d1cd0b2f.jpg?v=1681512780","url":"https:\/\/www.whiterainbookhouse.com\/products\/software-abstractions-revised-edition-daniel-jackson-9780262528900","provider":"WR Book House","version":"1.0","type":"link"}