Question 1

What is Software Abstractions, revised edition about?

Accepted Answer

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.

Question 2

What core themes, tropes, or subjects are explored in Software Abstractions, revised edition?

Accepted Answer

Computing and Information Technology > Computer science > Systems analysis and design

Question 3

Where can I read a sample of Software Abstractions, revised edition?

Accepted Answer

You can read an official preview of the few pages here https://www.book2look.com/book/9780262017152

Question 4

Who is/are the Author/s of the book Software Abstractions, revised edition?

Accepted Answer

Daniel Jackson

Question 5

Who is the Publisher of the book Software Abstractions, revised edition?

Accepted Answer

MIT Press

Question 6

What are the ISBN numbers for the physical and digital editions?

Accepted Answer

Software Abstractions, revised edition is available as hardcover(ISBN 9780262017152) and paperback(ISBN 9780262528900) and ebook(ISBN 9780262300230) and ebook(ISBN 9780262300247) and ebook(ISBN 9780262300254)

Question 7

Where can I buy Software Abstractions, revised edition?

Accepted Answer

You can buy Software Abstractions, revised edition from www.penguinrandomhouse.com: https://www.penguinrandomhouse.com/search/9780262017152?q=9780262017152,bookshop.org: https://bookshop.org/book/9780262017152?prhc=PRHEFFDF5A7F1,www.amazon.com: https://www.amazon.com/s?i=stripbooks&rh=p_66:9780262017152,www.barnesandnoble.com: http://www.barnesandnoble.com/s/9780262017152,www.booksamillion.com: http://www.booksamillion.com/p/9780262017152,www.indiebound.org: http://www.indiebound.org/book/9780262017152,www.powells.com: https://www.powells.com/book/-9780262017152?utm_source=randomhouse&utm_campaign=randomhouse,www.walmart.com: https://www.walmart.com/search?query=9780262017152&affiliates_ad_id=565706&campaign_id=9383,www.walmart.com: https://www.walmart.com/search?query=9780262017152&affiliates_ad_id=565706&campaign_id=9383,www.target.com: https://www.target.com/s?searchTerm=9780262017152&afid=Penguin%20Random%20House,www.penguinrandomhouse.com: https://www.penguinrandomhouse.com/search/9780262300230?q=9780262300230,www.amazon.com: https://www.amazon.com/s?i=stripbooks&rh=p_66:9780262300230,www.barnesandnoble.com: http://www.barnesandnoble.com/s/9780262300230,www.booksamillion.com: http://www.booksamillion.com/p/9780262300230,www.indiebound.org: http://www.indiebound.org/book/9780262300230,www.kobobooks.com: http://www.kobobooks.com/search/search.html?q=9780262300230,goto.applebooks.apple: https://goto.applebooks.apple/9780262300230?at=11l3IH&ct=PRHEFFDF5A7F1--9780262300230,www.penguinrandomhouse.com: https://www.penguinrandomhouse.com/search/9780262300247?q=9780262300247,www.amazon.com: https://www.amazon.com/s?i=stripbooks&rh=p_66:9780262300247,www.barnesandnoble.com: http://www.barnesandnoble.com/s/9780262300247,www.booksamillion.com: http://www.booksamillion.com/p/9780262300247,www.indiebound.org: http://www.indiebound.org/book/9780262300247,www.kobobooks.com: http://www.kobobooks.com/search/search.html?q=9780262300247,goto.applebooks.apple: https://goto.applebooks.apple/9780262300247?at=11l3IH&ct=PRHEFFDF5A7F1--9780262300247,www.penguinrandomhouse.com: https://www.penguinrandomhouse.com/search/9780262300254?q=9780262300254,www.amazon.com: https://www.amazon.com/s?i=stripbooks&rh=p_66:9780262300254,www.barnesandnoble.com: http://www.barnesandnoble.com/s/9780262300254,www.booksamillion.com: http://www.booksamillion.com/p/9780262300254,www.indiebound.org: http://www.indiebound.org/book/9780262300254,www.kobobooks.com: http://www.kobobooks.com/search/search.html?q=9780262300254,goto.applebooks.apple: https://goto.applebooks.apple/9780262300254?at=11l3IH&ct=PRHEFFDF5A7F1--9780262300254,Penguin Random House: https://www.penguinrandomhouse.com/search/9780262528900?q=9780262528900,bookshop.org: https://bookshop.org/book/9780262528900?prhc=PRHEFFDF5A7F1,amazon.com: https://www.amazon.com/s?i=stripbooks&rh=p_66:9780262528900,Barnes&Noble: http://www.barnesandnoble.com/s/9780262528900,Books A Million: http://www.booksamillion.com/p/9780262528900,Indiebound: http://www.indiebound.org/book/9780262528900,Powells Books: https://www.powells.com/book/-9780262528900?utm_source=randomhouse&utm_campaign=randomhouse,Hudson Booksellers: https://www.walmart.com/search?query=9780262528900&affiliates_ad_id=565706&campaign_id=9383,Walmart: https://www.walmart.com/search?query=9780262528900&affiliates_ad_id=565706&campaign_id=9383,Target: https://www.target.com/s?searchTerm=9780262528900&afid=Penguin%20Random%20House

Software Abstractions, revised edition

About the book

Editions of Software Abstractions, revised edition

Read an Excerpt

Frequently Asked Questions