Skip to content

Software Abstractions: Logic, Language, and Analysis
Stock Photo: Cover May Be Different

Software Abstractions: Logic, Language, and Analysis Hardcover - 2012

by Daniel Jackson


From the publisher

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.

Details

  • Title Software Abstractions: Logic, Language, and Analysis
  • Author Daniel Jackson
  • Binding Hardcover
  • Edition INTERNATIONAL ED
  • Pages 376
  • Volumes 1
  • Language ENG
  • Publisher MIT Press, Cambridge, MA, U.S.A. & London
  • Date 2012-02
  • ISBN 9780262017152 / 0262017156
  • Weight 1.38 lbs (0.63 kg)
  • Dimensions 8.99 x 6.44 x 0.87 in (22.83 x 16.36 x 2.21 cm)
  • Ages 18 to UP years
  • Grade levels 13 - UP
  • Library of Congress subjects Computer software - Development
  • Library of Congress Catalog Number 2011024317
  • Dewey Decimal Code 005.1

About the author

Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.

Back to Top

More Copies for Sale

Software Abstractions: Logic, Language, and Analysis
Stock Photo: Cover May Be Different

Software Abstractions: Logic, Language, and Analysis

by Jackson, Daniel

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Edition
Revised
Binding
Hardcover
ISBN 10 / ISBN 13
9780262017152 / 0262017156
Quantity Available
2
Seller
McKeesport, Pennsylvania, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$48.72
NZ$6.38 shipping to USA

Show Details

Description:
Mit Pr, 2/1/2012. Revised. hardcover. Very Good. 0x6x9. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.
Item Price
NZ$48.72
NZ$6.38 shipping to USA
Software Abstractions: Logic, Language, and Analysis (The MIT Press)
Stock Photo: Cover May Be Different

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

by Jackson, Daniel

  • Used
  • Hardcover
Condition
Used: Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780262017152 / 0262017156
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$72.67
FREE shipping to USA

Show Details

Description:
The MIT Press, 2012-02-01. Hardcover. Used: Good.
Item Price
NZ$72.67
FREE shipping to USA