Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Computer Science   Systems Analysis & Design

Software Abstractions: Logic, Language, and Analysis (The MIT Press)


Huge Savings Item! Save 11% on the Software Abstractions: Logic, Language, and Analysis (The MIT Press) by The MIT Press at Translate This Website. Hurry! Limited time offer. Offer valid only while supplies last. An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of


Product Description

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.

Additional Information

Manufacturer:The MIT Press
Publisher:The MIT Press
Studio:The MIT Press
EAN:9780262017152
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

Software Abstractions: Logic, Language, and Analysis (The MIT Press) by The MIT Press

Buy Now:
Software Abstractions: Logic, Language, and Analysis (The MIT Press)

Brand: The MIT Press
4.5 out of 5 stars with 137 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$47.00
$42.29
You Save: 10%


Quantity:  

 


 


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.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
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...

Assembly Language and Systems Programming for the M68000 Family
By Brand: Jones Bartlett Pub
ean: 9780763703578, isbn: 0763703575,
Book by Ford, William, Topp, WilliamUsed Book in Good Condition. ...

Python Programming for Beginners: An Introduction to the Python Computer Language and Computer Programming
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 ...

Real Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX (3rd Edition)
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...



Privacy Policy / Terms of Service
© 2019 - translateth.is. All Rights Reserved.