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.
|Manufacturer:||The MIT Press|
|Publisher:||The MIT Press|
|Studio:||The MIT Press|
|Item Weight:||1.38 pounds|
|Item Size:||0.87 x 9 x 9 inches|
|Package Weight:||1.35 pounds|
|Package Size:||6 x 0.9 x 0.9 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by The MIT Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
By Addison-Wesley Professional
ean: 9780321143068, isbn: 032114306X,
This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a s...
By Brand: Jones Bartlett Pub
ean: 9780763703578, isbn: 0763703575,
Book by Ford, William, Topp, WilliamUsed Book in Good Condition. ...
By Jason Cannon
If you want to learn how to program in Python, but don't know where to start read on.
Knowing where to start when learning a new skill can be a challenge, especially when the topic seems so vast. There can be so much information available that you ...
By Brand: Addison-Wesley
ean: 9780201729887, isbn: 0201729881,
B> This book provides an in-depth analysis of the requirements for designing and implementing real-time embedded systems, and discusses how these requirements are met by current languages and operating systems. The comparative advantages of Ada 95, R...