{"product_id":"software-abstractions-revised-edition-logic-language-and-analysis-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\u003cbr\u003e\u003cb\u003eAbout the Author\u003c\/b\u003e\u003cbr\u003eDaniel Jackson is a photographer and Professor of Computer Science at MIT. His images of contemporary laboratories were shown at the MIT Museum in conjunction with a major exhibit of Berenice Abbott's MIT work in 2012, and other images have appeared in group shows nationwide.\u003cbr\u003e","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":50318735016210,"sku":"9780262528900","price":43.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0831\/4771\/8930\/files\/img_205cfe45-e16b-4723-82ce-0d3ef302d801.jpg?v=1727560396","url":"https:\/\/surprise-castle.myshopify.com\/products\/software-abstractions-revised-edition-logic-language-and-analysis-9780262528900","provider":"Surprise Castle","version":"1.0","type":"link"}